OpenAI Announces Three AI-Generated Research Results, Plans Outside Review
The three results span mathematics, computer science, and physics. The math and computer science proofs were released along with written explanations, while the physics material is still being prepared by researchers.
On October 26 local time, OpenAI announced three research results generated by AI. According to the company, its models produced proofs and a disproof of long-standing open problems in mathematics, computer science, and physics. How much material was released varied by field. OpenAI also said it plans to have outside researchers verify the results or explain what they mean.
Who verifies the math proof?
In mathematics, the company said a model produced a proof of the local smoothing conjecture in all dimensions. OpenAI explained that this result also resolves the Kakeya conjecture in all dimensions and Stein’s restriction conjecture. The claim is that this single proof also resolves two other long-standing open problems.
So that other researchers can check the work, the AI-written explanation and a Lean proof were uploaded to a public repository. Lean is a tool for writing proofs in a form a computer can check. Researchers can place the prose explanation and the formalized proof side by side. According to OpenAI, the math result came on October 18 and was translated into Lean the next day.
Will this change how we compute?
In computer science, OpenAI announced that the AI found a disproof of the Exponential Time Hypothesis (ETH). The company said a disproof written in natural language appeared on October 16, and the Lean formalization was completed on the 17th. Here too, a human-readable explanation and the Lean proof were released together.
Whether actual computational methods will change remains an open question. OpenAI said that turning this into usable algorithmic improvements will require more research. Outside researchers are set to review the disproof and explain its implications. Any effect on everyday programs or workplace software depends on that review and the follow-up work.
When will the physics material be released?
In physics, OpenAI announced a proof that certain interacting quantum field theories exist in four dimensions. The company explained that this includes existence proofs for quantum chromodynamics (QCD) and pure Yang-Mills theory. The Yang-Mills proof came on September 9 and the QCD proof on September 18. The Lean formalization of the Yang-Mills existence proof was finished on October 16.
The physics results are still being written up by researchers, and the AI-generated material has not yet been released. That differs from the approach taken in mathematics and computer science, where both explanations and proofs were published. OpenAI said its outside collaborators participate voluntarily and without pay, and reach their conclusions independently. The company also stated that it does not claim academic credit for results found by its internal models. It added that it donated $5 million to the Simons Foundation to support related research.
What to watch next is the judgment outside researchers reach on the published proofs. In physics, the question of when and how much of the in-progress work gets released remains open. Whether any of this filters down into real work and daily life depends on whether these results translate into concrete computational methods.