OpenAI claims its internal AI models have produced proofs for problems in mathematics, computer science, and physics. The company has released raw research data and Lean-verified proofs to facilitate independent expert review.
In computer science, the AI reportedly disproved the Exponential Time Hypothesis. This hypothesis is a foundation for numerous studies in graph theory and computational geometry. Experts Ryan Williams, Russell Impagliazzo, and Ramamohan Paturi are currently reviewing the findings.
The mathematical result concerns the local smoothing conjecture, which relates to wave behavior. OpenAI asserts its models proved this conjecture for all dimensions, which would also resolve the Kakeya and Stein restriction conjectures.
In physics, the company claims to have mathematically proven the existence of certain quantum field theories in four dimensions, including Yang-Mills theory. This work addresses part of a Millennium Prize Problem. A group led by Nobel laureate David Gross is overseeing the review.
OpenAI has pledged $5 million to the Simons Foundation to support workshops and conferences regarding AI-generated research. The company is currently testing different review models, ranging from direct publication to expert-led verification.
