OpenAI Claims Three Scientific Breakthroughs
OpenAI Claims Three Scientific Breakthroughs: ETH Refuted, Kakeya Solved, Yang-Mills Existence Proved OpenAI announced on October 26 that its models produced three major results across mathematics, computer science and physics — claims that, if independently confirmed, would mark a turning point in
OpenAI meldet drei wissenschaftliche Durchbrüche: ETH widerlegt, Kakeya gelöst, Yang-Mills-Existenz bewiesen
OpenAI gab am 26. Oktober bekannt, dass seine Modelle drei bedeutende Ergebnisse in der Mathematik, Informatik und Physik erzielt haben. Sollten sich diese Behauptungen unabhängig bestätigen, würde dies einen Wendepunkt in der KI-unterstützten Wissenschaft markieren. Die mathematischen und informatischen Ergebnisse sind mit Lean-Formalisierungen auf GitHub veröffentlicht; die Physik-Materialien werden auf Entscheidung der prüfenden Gruppe zurückgehalten, und das Unternehmen betont ausdrücklich, dass alle drei Ergebnisse einer unabhängigen Verifikation bedürfen.
Mathematik: Local Smoothing in jeder Dimension Das Unternehmen erklärt, seine Modelle hätten die Local Smoothing Vermutung, die Sogge 1991 aufstellte, in jeder Dimension bewiesen. Die Vermutung betrifft die Frage, wie sich die Energie in Wellengleichungen über die Zeit konzentriert, und besagt, dass die extremste Fokussierung nur von kurzer Dauer sein kann. Wegen ihrer grundlegenden Rolle in der harmonischen Analyse folgt aus der Lösung von Local Smoothing auch die Lösung der Kakeya-Vermutung, die untersucht, wie viel Raum eine Nadel benötigt, um in jede Richtung zeigen zu können, sowie der Stein-Restriktionsvermutung in allen Dimensionen.
OpenAI datiert die Modellausgabe auf den 18. Oktober und die Lean-Formalisierung auf den folgenden Tag und weist darauf hin, dass das Ergebnis auf früheren Arbeiten von Guth, Wang und Zhang in zwei Dimensionen sowie auf dem Beweis der dreidimensionalen Kakeya-Vermutung durch Wang und Zahl aus dem Jahr 2025 aufbaut. Auf externe Empfehlung hin wird die von der KI erstellte Ausarbeitung offen auf GitHub veröffentlicht, damit Forscher ihre eigenen Anstrengungen organisieren können.
Informatik: Die Exponential Time Hypothesis ist falsch OpenAI erklärt, sein System habe bewiesen, dass die Exponential Time Hypothesis, eine langjährige Vermutung über die Komplexität der Booleschen Erfüllbarkeit, auf der Hunderte von Arbeiten in Graphentheorie, Computational Biology, Datenbanken und Computational Geometrie basieren, falsch ist; das Ergebnis wurde anschließend in Lean verifiziert. Das Widerlegungsdokument in natürlicher Sprache datiert auf den 16. Oktober, die Lean-Formalisierung auf den 17.
Oktober; beide sind öffentlich auf GitHub zugänglich. Eine Verifikationsgruppe unter der Leitung von Russell Impagliazzo und Ramamohan Paturi von der UC San Diego zusammen mit Ryan Williams vom MIT wird die Arbeit prüfen und erläutern. Die Gruppe forderte, dass alle Rohdaten öffentlich gemacht werden und OpenAI eine Konferenz finanziert, was OpenAI zusagte.
Sollte die Widerlegung Bestand haben, stellt dies die Frage erneut offen, wie viel schneller diese Berechnungsaufgaben tatsächlich gemacht werden können.
Physik: Existenzbeweise zu einem Millenniumspreis-Problem Die dritte Behauptung ist die folgenreichste: OpenAI erklärt, seine Modelle hätten einen mathematisch strengen Existenzbeweis für bestimmte wechselwirkende Quantenfeldtheorien in vier Dimensionen erbracht, darunter die Quantenchromodynamik und eine vereinheitlichte Vervollständigung des Standardmodells, zusammen mit einem Beweis der Existenz der reinen Yang-Mills-Theorie, einem Teilproblem eines Millenniumspreis-Problems des Clay Mathematics Institute. Der Yang-Mills-Beweis datiert auf den 9. September, der QCD-Beweis auf den 18.
September und die Lean-Formalisierung der Yang-Mills-Existenz auf den 16. Oktober. Eine Prüfgruppe unter der Leitung des Nobelpreisträgers David Gross mit Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov hat beschlossen, die von der KI erzeugten Artefakte zurückzuhalten und die Arbeiten stattdessen selbst auszuarbeiten.
Die Reaktion aus der mathematischen Community ist gespalten. Die Advisory Group on Mathematics and AI, deren Mitglieder unter anderem Timothy Gowers, Martin Hairer und Edward Witten sind, erklärt, OpenAI habe ihnen mitgeteilt, dass die Lean-Formalisierung vollständig sei und es keinen wissenschaftlichen Grund für eine weitere Verzögerung der Veröffentlichung gebe; die Gruppe veröffentlichte am 25. Oktober eine eigene Erklärung, in der sie die Praxis kritisiert, KI-Ergebnisse zuerst an ausgewählte Mathematiker weiterzuleiten.
Times of AI weist darauf hin, dass eine Lean-Verifikation nur bestätigt, dass ein formaler Beweis aus einer formalen Aussage folgt, nicht aber, dass die formale Aussage die schriftliche Vermutung getreu wiedergibt, ein Vorbehalt, der sich bereits bei einer früheren OpenAI-Mathematik-Manuskript als relevant erwiesen hat.
Vorerst stehen die drei Behauptungen als die bislang kühnste Demonstration dafür da, dass KI-Systeme mehr können können, als Fragen zu beantworten: Sie sind möglicherweise in der Lage, neue Wissenschaft zu entdecken und zu beweisen.
Quellen: OpenAI, The Paper, PANews, Times of AI, The Verge, Wallstreetcn, threerouter
Automatisch übersetzt. Das Original auf Englisch ist unten aufklappbar.
Original (Englisch) anzeigen
OpenAI Claims Three Scientific Breakthroughs: ETH Refuted, Kakeya Solved, Yang-Mills Existence Proved
OpenAI announced on October 26 that its models produced three major results across mathematics, computer science and physics — claims that, if independently confirmed, would mark a turning point in AI-assisted science. The math and computer-science results come with Lean formalizations published on GitHub; the physics materials are being withheld at the reviewing group's own decision, and the company is explicit that all three await independent verification.
Mathematics: local smoothing in every dimension The company says its models proved the local smoothing conjecture, proposed by Sogge in 1991, in every dimension. The conjecture concerns how energy in wave equations concentrates over time, asserting that the most extreme focusing must be brief. Because of its foundational role in harmonic analysis, resolving local smoothing also settles the Kakeya conjecture — how much space a needle needs to point in every direction — and the Stein restriction conjecture in all dimensions.
OpenAI dates the model output to October 18 and its Lean formalization to the following day, noting that the result builds on prior work by Guth, Wang and Zhang in two dimensions and on Wang and Zahl's 2025 proof of the three-dimensional Kakeya conjecture. On external advice, the AI-generated write-up is being released openly on GitHub for researchers to organize their own efforts.
Computer science: the Exponential Time Hypothesis is false OpenAI says its system proved that the Exponential Time Hypothesis — a long-standing conjecture about the complexity of Boolean satisfiability that underpins hundreds of papers in graph theory, computational biology, databases and computational geometry — is false, with the result subsequently verified in Lean. The natural-language disproof dates to October 16 and the Lean formalization to October 17, both public on GitHub. A verification group led by Russell Impagliazzo and Ramamohan Paturi of UC San Diego together with Ryan Williams of MIT will check and explain the work; the group asked for all raw data to be public and for OpenAI to fund a conference, and OpenAI agreed.
If the refutation holds, it reopens the question of how much faster these computation tasks can actually be made.
Physics: existence proofs touching a Millennium Prize problem The third claim is the most consequential: OpenAI says its models produced a mathematically rigorous existence proof for certain interacting quantum field theories in four dimensions, including quantum chromodynamics and a unified completion of the Standard Model, with a proof of the existence of pure Yang-Mills theory — a subproblem of a Clay Mathematics Institute Millennium Prize problem. The Yang-Mills proof dates to September 9, the QCD proof to September 18, and the Lean formalization of Yang-Mills existence to October 16. A review group led by Nobel laureate David Gross, with Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov, has decided to hold off releasing the AI-produced artifacts and instead write up the work themselves.
The reaction from the mathematical community is split. The Advisory Group on Mathematics and AI — whose members include Timothy Gowers, Martin Hairer and Edward Witten — says OpenAI has told them the Lean formalization is complete and that there is no scientific reason for delaying release any further, and the group published a separate statement on October 25 criticizing the practice of routing AI output to designated mathematicians first. Times of AI notes that Lean verification confirms a formal proof follows from a formal statement, not that the formal statement faithfully captures the written conjecture — a caveat that proved relevant in an earlier OpenAI mathematics manuscript.
For now, the three claims stand as the boldest demonstration yet that AI systems can do more than answer questions: they may be able to discover and prove new science.
Sources: OpenAI, The Paper, PANews, Times of AI, The Verge, Wallstreetcn, threerouter