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

Aa19c345aTopic

AI agents

Autonomous AI systems that plan and act over multiple steps.

6 debates·2,871 claims·380 news stories

0