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
- Rork claims App Store publishing is now 2.5x to 4x faster — rudrank · 2026-09-07
- Hands-on test: AI ops agent Ghost diagnoses and fixes three simultaneous service failures — BLUECOW009 · 2026-09-07
- Dev runs a live show produced entirely by an agentic AI research team built on a wiki — SurvivedDravoswater · 2026-09-07
- Open-source Codex Skill turns one sentence into a holographic 3D card with Blender and Three.js — Promptmethus · 2026-09-07
- Jim Koppel: the vibe coder's way to understand code is running everything; the agentic engineer reads it — jimmykoppel · 2026-09-07
- OpenAI reportedly testing ChatGPT feature that mimics your writing style from emails and docs — VraserX · 2026-09-07