Development

Problems are removed from a benchmark for being insufficiently notable

development2026-03-28

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.

The benchmark breaking before the model does.

Knowledge graphopen in browser →

Reported in
Actor
Evidence for
Supersedes
Referenced by

Cite or correct this record

Suggest a correction — opens a GitHub draft for you to review and submit.