OpenAI shares three model-generated results on the Kakeya conjecture, the Exponential Time Hypothesis and QCD, with outside experts leading verification
OpenAI says its model proved the local smoothing conjecture in every dimension, implying the Kakeya and Stein restriction conjectures, and produced a proof that the Exponential Time Hypothesis is false; both come with Lean proofs published on GitHub. A physics existence proof covering QCD will be reviewed by a group led by David Gross. These are vendor claims awaiting independent confirmation.
Why it matters
If the ETH refutation holds, many hardness results built on it need revisiting; OpenAI's expert-led verification and open release may also shape norms for publishing AI-generated research.
Sources3
OpenAIOfficial · WebsiteWorking with academic communities to build scientific understandingView original · The VergeMediaOpenAI announces three big science discoveries and a new way to work with academicsView original ·
ITHomeMediaOpenAI announces three major scientific breakthroughs involving a math conjecture, computer algorithms and a Millennium Prize problemTranslated from Chinese · View original ·
Written by dalao.ai: the title, summary and why it matters are our own words. The original reports are the record; their publishers keep authorship.