NEAR Protocol plans AI-assisted formal verification after solving 672 math problems for $112
NEAR Protocol announced plans to apply AI-assisted formal verification to its protocol and core smart contracts after successfully solving 672 mathematics problems at a submission-time model cost of $112. The initiative follows OpenAI's recent release of over 300 AI-generated mathematical proofs, which has sparked debate in the mathematics community about the reliability and verifiability of AI-generated research.
