NEAR AI achieved first place by total solves on the Lean Eval v1 formalization leaderboard, solving 670 upstream PutnamBench problems alongside two corrected formalizations.

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