NEAR AI's open-source Lean agent solves all of Putnam Bench for just $111
lukaszkaiser · x · 2026-09-06
NEAR AI's Lean agent solved ALL problems on Putnam Bench—672 problems from the hardest undergraduate math competition in the world—for a total of $111, at 1/250 the cost of the second cheapest submission. The project is fully open source, showing how formal proof agents are driving down the cost of hard mathematical reasoning.
More from coding & agent
- SurfSense: an open-source local NotebookLM with MCP agents and a prompt-caching lesson — FurtiveMirth · 2026-10-23
- procedural-memory: let agents replay saved tool-call sequences instead of re-solving tasks — Sad-Response1560 · 2026-10-23
- Med student seeking whole-library book search: Cognee's graph memory beats plain RAG so far — shrike293103 · 2026-10-23
- Dev demos AI models handling 3D objects and animations surprisingly well — chongdashu · 2026-10-23
- Jason Kneen burns 104.56B tokens and $24.7K in 304 days of AI coding on Codex and Claude Code — jasonkneen · 2026-10-23
- Typosquatted Blender MCP Repo Hit 958 Stars in Days and Silently Ran Malware — Promptmethus · 2026-10-23