The benchmark breaking before the model does.
Development
Problems are removed from a benchmark for being insufficiently notable
Claim
Epoch AI has begun removing problems from its FrontierMath benchmark after AI solutions exposed the problems themselves as insufficiently notable, while Harmonic reported its system powered the formalization of an Erdős problem just solved by a seventeen-year-old.
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to March 28, 2026 (theinnermostloop.substack.com)
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.