OpenAI zufolge haben seine Modelle die lokale Glättungsvermutung bewiesen, die Exponentialzeithypothese widerlegt und die Existenz von Yang–Mills bewiesen

OpenAI gab drei Ergebnisse in Mathematik, Informatik und Physik bekannt, die seine Modelle erzielt haben. Alles Folgende ist OpenAIs eigene Behauptung; bisher wurde nichts davon unabhängig überprüft. OpenAI sagt, die Ergebnisse seien in Lean geprüft worden.

• Mathematik (harmonische Analysis). OpenAI zufolge haben seine Modelle die lokale Glättungsvermutung in jeder Dimension bewiesen. Das löse laut OpenAI auch die Kakeya-Vermutung und die Restriktionsvermutung von Stein in allen Dimensionen, und zwar mithilfe einer neuartigen Hilfs-PDE. OpenAI veröffentlichte die natürlichsprachliche Ausarbeitung der Modelle sowie einen Lean-Beweis in seinem öffentlichen GitHub-Repository openai/math, im Anschluss an die Veröffentlichung vom 6. Oktober.
• Informatik. OpenAI zufolge hat sein System die Exponentialzeithypothese (ETH) widerlegt, eine Vermutung zur Komplexität der Erfüllbarkeit boolescher Formeln; die Widerlegung sei in Lean verifiziert worden. Ryan Williams wird gemeinsam mit Russell Impagliazzo und Ramamohan Paturi (die die ETH zusammen mit Francis Zane vorgeschlagen haben) eine Gruppe leiten, die sie überprüfen und erklären soll. Auf Wunsch der Gruppe hat OpenAI den natürlichsprachlichen Beweis und die Lean-Formalisierung veröffentlicht.
• Physik. OpenAI zufolge haben seine Modelle einen mathematisch rigorosen Existenzbeweis für bestimmte vierdimensionale wechselwirkende Quantenfeldtheorien mit Eichfeldern und Fermionen erstellt, darunter QCD und eine vereinheitlichte Ergänzung des Standardmodells. Als Teilproblem wurde außerdem die Existenz der reinen Yang–Mills-Theorie bewiesen, die Teil des Millennium-Problems des Clay Mathematics Institute ist. Die Beweise seien in Lean formal verifiziert worden. Eine von David Gross geleitete Gruppe mit Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov wird die Arbeit begleiten; bei der Veröffentlichung der Materialien will OpenAI sich nach ihnen richten.

OpenAI bezeichnet die Manuskripte als „rohe Forschungsdaten“ und sagt, es habe externe Expertinnen und Experten gebeten, die Arbeit zu begleiten. Diese hätten für jedes Ergebnis eine andere Veröffentlichungsstrategie empfohlen. OpenAI nennt folgende Daten für die Arbeiten: die Ergebnisse zur lokalen Glättung am 18. Oktober (am folgenden Tag in Lean formalisiert), die Widerlegung der ETH am 16. Oktober (am 17. Oktober formalisiert) und den Existenzbeweis für Yang–Mills am 9. September (QCD am 18. September; die Lean-Formalisierung von Yang–Mills wurde am 16. Oktober abgeschlossen). Die Physikgruppe bittet darum, Mitteilungen an eine eigens dafür eingerichtete E-Mail-Adresse zu richten, und hat beschlossen, die von der KI erstellten Artefakte zurückzuhalten, während sie die Arbeit selbst ausarbeitet.

OpenAI zufolge folgen die Kooperationen vier Grundsätzen: Transparenz (keine Geheimhaltungsvereinbarungen), OpenAI beansprucht keine akademischen Verdienste, Anerkennung für die Gruppen und Unabhängigkeit (die Teilnahme ist freiwillig und unbezahlt, und die Mitglieder sprechen nur für sich selbst). OpenAI will eine Konferenz zum ETH-Ergebnis finanzieren und verweist auf seine kürzliche Spende von 5 Millionen US-Dollar an die Simons Foundation für Workshops und Programme zu KI-erzeugten Ergebnissen. Außerdem nahm OpenAI kleinere Änderungen am GitHub-Repository vor, die in dessen Verlaufsdatei aufgeführt sind. Der Ankündigungs-Thread auf X hatte bis zum Abend des 26. Oktober 405 Punkte und 30 Kommentare auf X.