Epoch AI launches FrontierMath Erdős benchmark; Astra solves 2 of 68 unsolved problems
littmath · x · 2026-09-04
Epoch AI and mathematician Thomas Bloom launched FrontierMath Erdős: 68 curated unsolved Erdős problems where AI must write solutions in Lean for automated verification. It responds to Terence Tao's ICM remark that AI math evidence is "a confusing mess" gathered without proper scientific conditions. No prior model solved any problem; GPT-6 Astra solved 2/68 (3%). An open-source scaffold is available.
Related event: Epoch AI Launches FrontierMath Erdős; GPT-6 Astra First to Break Zero(10 posts)→
More from Models
- Researcher Finds Two Windows 0-Days, First in 76 Minutes with a Frontier Model — moyix · 2026-10-21
- Dev finds Gemini Argon's debug-log analysis beats Fable 5.1 — ShikharMurty · 2026-10-21
- ChatGPT Gets Stuck Screaming "AAHH" in an Infinite Loop After a Simple Prompt — AutomaticScene · 2026-10-21
- Open-weights Ornith-1.5-122B debuts with 84.5% SWE-bench Verified, runs on a single DGX card — _akhaliq · 2026-10-21
- qev-0.8B: a tiny local decision model that picks moves in 3.5ms on 1.3GB — fajfas3 · 2026-10-21
- Gemini 3.1 Pro is too ledger-pilled to play two truths and a lie, and it's delightful — mimi10v3 · 2026-10-21