FrontierMath Erdős introduces a benchmark of 68 open Erdős problems to be resolved in Lean; selection drawn from erdosproblems.com for mathematical interest and difficulty
Read the original at arxiv.org→arXiv:2609.25050v1 Announce Type: new Abstract: We introduce FrontierMath Erd\H{o}s (FME), a benchmark of 68 Erd\H{o}s problems that are open as of August 2026. To solve a task in FME, AI systems must resolve (prove...
Original headline: "FrontierMath Erd\H{o}s"
Coverage timeline
- Sep 23, 04:00 UTC arXiv cs.CL lead source FrontierMath Erd\H{o}s