Benchmark researcher Ofir Press jokes he'll stop saying millennium problems are too hard to saturate

OfirPress · x · 2026-09-09

Princeton researcher Ofir Press sheepishly walked back a claim from his benchmark-building talks: he used to say the Millennium Prize Problems "could be a benchmark but it would take 100 years to saturate." After reports that a model cracked one of the problems, he wrote "won't be saying that anymore," joking that he looks forward to the millennium-prize benchmark being "fully saturated by the end of 2028." The quip captures the industry mood that frontier models are outpacing expert expectations on fundamental science.

Related event: Benchmark researcher Ofir Press jokes as AI solves Millennium Problems(4 posts)→

Original post →

More from Fun

Fun channel →