OpenAI claims AI model proved Kakeya conjecture and refuted ETH
OpenAI announced on October 27 that its AI model produced three research results spanning mathematics, computer science and physics: a proof of the local smoothing conjecture in all dimensions, said to resolve the Kakeya and Stein restriction conjectures; a refutation of the Exponential Time Hypothesis; and existence proofs for quantum chromodynamics and a unified completion of the Standard Model, touching part of the Yang–Mills Millennium Prize Problem. OpenAI said the math and computer science results were formally verified with the Lean proof assistant and made public, while physics results are under expert review. Independent academic confirmation is still pending.
Editorial responsibility
- No named human review is recorded for this page.
- Reports are grouped by semantic similarity and deterministic rules. Language models may assist titles, summaries, translation and cross-source analysis; the page reads the event directly, while its address stays stable when the title changes.
- Summary covers the current reports
Cross-source coverage
Reporting timeline
OpenAI Says Its AI Model Achieved Three Scientific Breakthroughs
OpenAI announced on October 27 that its AI model achieved three research breakthroughs across mathematics, computer science, and physics. In mathematics, it reportedly produced a proof of the local smoothing conjecture in all dimensions, resolving the Kakeya conjecture and the Stein restriction conjecture. In computer science, it reportedly gave a proof refuting the Exponential Time Hypothesis (ETH), suggesting some related computational tasks may have faster algorithms. In physics, it reportedly proposed a rigorous existence proof for a unified completion of quantum chromodynamics and the Standard Model, touching part of the Yang–Mills Millennium Prize Problem. The report outlines the mathematical background and verification methods for the three results and notes that they still await independent confirmation by the academic community, so readers should weigh the strength of the evidence accordingly.
Read sourceOpenAI Announces Major Discoveries in Math, Computer Science, and Physics
OpenAI announced three major discoveries spanning mathematics, computer science, and physics, according to a report by The Verge's AI feed. The claimed findings include a proof of the local smoothness conjecture, a refutation of the Exponential Time Hypothesis (ETH), and an existence proof for a quantum field theory involving QCD. The announcement states that OpenAI is collaborating with external experts to verify the results. No further details on the methods, authors, or verification status were provided in the source item.
Read sourceOpenAI Claims AI Proofs Cover Kakeya Conjecture and Half of Millennium Prize Problem
OpenAI claims its AI has produced new proofs spanning mathematics, computer science, and physics, addressing problems experts had worked on for decades. The post says the AI proved the Exponential Time Hypothesis false, a claim it says undermines hundreds of research papers that rest on the roughly 25-year-old hypothesis. In mathematics, it claims to have cracked the 35-year-old local smoothing conjecture about how waves focus, which it says also settles the famous Kakeya conjecture; humans had only solved smaller versions. In physics, it claims a fully rigorous proof that quantum chromodynamics, the theory of the force holding atomic nuclei together, stands on solid mathematics, covering half of the $1M Yang-Mills Existence and Mass Gap Millennium Prize problem. The claims are attributed to OpenAI and have not been independently verified in the source item.
Read sourceShow 3 older updatesHide older updates
OpenAI Announces Three AI-Generated Research Results Spanning Math and Physics
A post on X claims OpenAI announced three AI-generated research results in a single day. The first is a proof of local smoothing in every dimension, which OpenAI reportedly says also resolves the Kakeya and Stein restriction conjectures in all dimensions. The second is a disproof of the Exponential Time Hypothesis, a conjecture underpinning hundreds of conditional hardness results, with the writeup and Lean proof public and Impagliazzo, Paturi and Ryan Williams leading academic examination. The third involves existence proofs for QCD and a unified completion of the Standard Model, including pure Yang-Mills existence, with David Gross leading the physics collaboration. The math and computer science materials are public, while physics materials are being held as researchers work through them. The post notes that ETH being false does not settle P vs NP, and Yang-Mills existence alone does not solve the full mass gap problem.
Read sourceOpenAI Says Its AI Models Made Three New Scientific Discoveries
OpenAI announced that its AI models have made three new major scientific discoveries spanning mathematics, computer science, and physics. The announcement, circulated via an X post, frames the claimed results as breakthroughs produced with the involvement of OpenAI's AI systems. The post does not name the specific models, describe the individual discoveries, provide technical details, or identify the researchers or institutions involved. No independent verification, peer review status, or publication venue is mentioned. The claim is attributed solely to OpenAI and remains unelaborated in the source item.
Read sourceOpenAI Announces AI Breakthroughs in Math, Computer Science, and Physics
OpenAI announced on October 27 that its AI model has achieved three major scientific breakthroughs, demonstrating the ability to independently discover and prove complex scientific theories rather than just answer questions or assist research. In mathematics, the AI proved the local smoothing conjecture for all dimensions, solving the Kakeya conjecture and the Stein restriction conjecture. In computer science, it overturned the widely accepted exponential time hypothesis, potentially enabling faster algorithms. In physics, it proposed rigorous mathematical existence proofs for quantum chromodynamics and Yang-Mills theory, the latter involving one of the seven Millennium Prize Problems. OpenAI stated that the math and computer science results have been formally verified using the Lean proof assistant and proofs are publicly available, while the physics results are under review by experts including Nobel laureates. The findings still require further independent academic confirmation.