Agents
NEAR AI Lean agent solved ALL problems in Putnam Bench at 1/250 the cost of the second cheapest submission. $111 for 672 problems from the h…
NEAR AI Lean agent solved ALL problems in Putnam Bench at 1/250 the cost of the second cheapest submission. $111 for 672 problems from the hardest undergraduate math competition in the world. Fully op
NEAR AI Lean agent solved ALL problems in Putnam Bench at 1/250 the cost of the second cheapest submission. $111 for 672 problems from the hardest undergraduate math competition in the world. Fully open source 💚
Related
- 'The important thing is not to stop questioning.' — Einstein, 71 years on. Today we celebrate him with II-Agent. His genius was reasoning fr…
- We have more releases to come for Zenith & our sota open source II Agent, pushing the boundaries of novel & first principles reasoning Large…
- Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean
Source: Emad Mostaque (X) | 2026-09-06