NEAR AI's Lean Agent Achieves Breakthrough in Theorem Proving at Fraction of Cost

NEAR AI has introduced a Lean agent capable of solving all Putnam competition problems for just $111, representing a cost efficiency 250 times greater than existing alternatives. This development aims to democratize access to advanced theorem-proving tools and lower the barrier to entry for AI-driven research.