OpenAI Hands ETH, Kakeya, Yang-Mills Proofs to Reviewers

OpenAI says one of its internal models disproved the Exponential Time Hypothesis on October 16 and formalized that disproof in Lean the next day, according to The Next Web. The company has published both the model's write-up and the formal proof on GitHub, alongside two more claims it is handing to the research community: a proof of Christopher Sogge's 1991 local smoothing conjecture in all dimensions, which would also settle the Kakeya conjecture and Stein's restriction conjecture, and a proof that pure Yang-Mills theory exists in four dimensions, part of a Clay Mathematics Institute Millennium Prize problem.

The verification is where the real work still has to happen.

The computer-science claim has been handed to Russell Impagliazzo and Ramamohan Paturi at UC San Diego and Ryan Williams at MIT. In an open letter the three wrote that "Our involvement should not be taken as certification of the claim. A result of this significance requires careful, independent scrutiny," adding that "If the claim is correct, it will change an important part of theoretical computer science." Williams said the group "signed no non-disclosure agreements and will not be paid."

The physics piece is being handled differently. A group led by Nobel laureate David Gross, with Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov, "chose not to release the AI-produced material for now and will write up the work itself." Where OpenAI pushed the ETH disproof straight to GitHub as a Lean file plus a model write-up, the Yang-Mills claim is being filtered through its human authors before anything public lands.

OpenAI says it does not seek academic credit for the three results and "has also given $5m to the Simons Foundation for workshops and conferences on AI-produced results." Mathematicians raised adjacent concerns about AI attribution in the Leiden declaration in June. A handful of the researchers we track on our OpenAI page started circulating the three announcements within hours of publication; whether they still matter three months from now depends on three names in San Diego and Cambridge.