Back

NEAR AI solves 672 PutnamBench problems for $111

Verifying
  • Alex Skidanov announced NEAR AI's open-source Lean agent solved all 672 PutnamBench problems.
  • NEAR AI completed the benchmark for $111, while the second-cheapest submission cost 250 times more.
  • PutnamBench was introduced in 2024 and uses problems encoded in Lean 4.
NEAR
The information on this website is generated using AI and we cannot guarantee its accuracy. Please use it as reference information only.