NEAR to apply AI-assisted formal verification to protocol and core contracts
- —NEAR's AI agent solved 672 Lean problems from PutnamBench for $111.85
- —Mean cost was roughly $0.17 per problem at submission-time prices
- —Production verification requires software models, requirements and proofs
- —Co-founder Illia Polosukhin tied the work to AI-generated code risks
Why it matters: Formal verification could reduce smart-contract vulnerability risk, though the work remains research rather than a guarantee of deployed-code security.
Source: crypto.news