Epoch AI Launches FrontierMath Erdős Benchmark, Astra Solves 2 of 68

Epoch AI, with mathematician Thomas Bloom, released FrontierMath Erdős, a benchmark of 68 unsolved Erdős-style problems requiring Lean formalized proofs. GPT-6 Astra topped the leaderboard, solving 2 of the 68 problems.

2026-09-04 ~ 2026-09-04 · 4 related posts

• Astra becomes first public model to solve any curated hard Erdős problems with Lean proofs — Jsevillamol · 2026-09-04
• Epoch AI launches FrontierMath Erdős benchmark; Astra solves 2 of 68 unsolved problems — littmath · 2026-09-04
• Epoch AI launches FrontierMath Erdős benchmark of 68 unsolved problems; Astra tops it at 2/68 — keviv9 · 2026-09-04

1 near-duplicate retellings: Jsevillamol