25 citations · 27 across the 5 of their papers we have counts for
1 paper · 1 filter
Tom Adamczewski, Thomas F. Bloom
We introduce FrontierMath Erdős (FME), a benchmark of 68 Erdős problems that are open as of August 2026. To solve a task in FME, AI systems must resolve (prove or disprove) one of…