On October 16, 2026, NEAR Protocol announced plans to apply AI-assisted formal verification to its network protocol, core smart contracts, and developer tools using Lean.

From the articleNEAR targets protocol security after $112 AI proof-generation run