Original sourceCrypto.newsAdditional: The Crypto News
Summary
NEAR Protocol plans to use AI-assisted formal verification to strengthen the security of the protocol and core smart contracts, prompted by a milestone: an AI agent solved 672 Lean/PutnamBench-style problems at a model cost of about $111.85, or roughly $0.17 per problem on average. NEAR believes th…
Key points
- Developers focused on smart contract security can understand the current cost structure and practical limits of AI formal verification.
- AI-generated code brings new risks; formal verification is a technical path to strengthen trust, but cost and coverage remain limited.
- Chain teams can assess using AI to lower the verification barrier; investors should understand that formal guarantees are not a blanket security promise.
Editorial note
This page is Code & Chain's editorial summary of public sources. It may be prepared with AI assistance and published through an automated workflow. Refer to the original sources; this content is not investment, legal, or tax advice.