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.