The security model the whole industry runs on just broke.
For decades it was smart people audit the code and hope the attackers don't find what they missed.
Now the attacker is an AI with more compute than your defense, and the only real answer is to mathematically prove the code does what it says.
@ilblackdragon on the paradigm shift, and why
@NEARProtocol is building its roadmap around proof.