NEAR Protocol has outlined plans to apply AI-assisted formal verification to its protocol and core smart contracts after reporting 672 solved mathematics problems at a submission-time model cost of $111.85. NEAR Protocol said in an Oct. 16 announcement that its…