OpenAI kündigt drei wissenschaftliche Beweise an und zieht externe Prüfer hinzu

OpenAI gab am Montag, den 26. Oktober, bekannt, dass ihre internen Modelle drei neue Ergebnisse erzielt haben. Eines ist ein Beweis der "local smoothing"-Vermutung in allen Dimensionen, was auch die Kakeya- und Stein-Restriktionsvermutungen klären würde. Das zweite ist eine Widerlegung der "Exponential Time Hypothesis", und das dritte ist ein rigoroser Existenzbeweis für die Quantenchromodynamik. Anstatt akademische Anerkennung zu fordern, lud das Unternehmen externe Experten ein, als "Hirten" zu fungieren und Gruppen zu organisieren, die die Arbeit prüfen und erklären sollen.theverge.com+1

Drei Ergebnisse, drei Veröffentlichungspläne

Der mathematische Anspruch baut auf Christopher Sogges "local smoothing"-Vermutung von 1991 auf. Mathematiker bewiesen sie 2019 in zwei räumlichen Dimensionen, und die Kakeya-Vermutung wurde 2025 in drei Dimensionen bewiesen. OpenAI gibt an, dass der Beweis auf "einer neuartigen partiellen Hilfsdifferentialgleichung" beruht. Ein Experte riet dazu, die Rohdaten zu veröffentlichen, daher stellte OpenAI eine Modellbeschreibung und einen Lean-Beweis auf GitHub bereit, wie sie es bereits bei ihrer Veröffentlichung am 6. Oktober taten.openai.com+1

Das Informatik-Ergebnis beschreibt einen deterministischen Algorithmus, der erfüllbare Zuweisungen von CNF-Formeln fester Breite in subexponentieller Zeit zählt. Auf 3-SAT angewendet, würde dies eine Vermutung widerlegen, die in hunderten von Härtebeweisen verwendet wird. Russell Impagliazzo und Ramamohan Paturi von der UC San Diego, die die Hypothese ursprünglich aufstellten, werden die Überprüfung gemeinsam mit Ryan Williams vom MIT leiten. Sie warnten jedoch, dass "unsere Beteiligung nicht als Zertifizierung der Behauptung missverstanden werden sollte". OpenAI stimmte zudem ihrem Wunsch zu, eine Konferenz darüber zu finanzieren, was das Ergebnis für das Fachgebiet bedeutet.thenextweb.com+1

Die physikalischen Materialien wurden zurückgehalten. Eine Gruppe unter der Leitung des Nobelpreisträgers David Gross, mit Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov, entschied sich, das Ergebnis selbst zu verschriftlichen. Die Arbeit umfasst einen Existenzbeweis für die reine Yang-Mills-Theorie, die Teil eines Clay Millennium-Preisproblems ist.openai.com

Fragen zum Hirten-Modell

OpenAI erklärt, dass die Hirten keine Geheimhaltungsvereinbarungen unterzeichnen und nicht bezahlt werden. Das Unternehmen betont zudem, dass es "keine akademische Anerkennung" für die Entdeckungen seiner Modelle anstrebt. OpenAI räumte ein, dass die Auswahl der ersten Hirten "eine Informationsasymmetrie schafft". Die Regelung ergänzt den kürzlich erfolgten Beitrag von OpenAI in Höhe von 5 Millionen Dollar an die Simons Foundation, die Workshops zu KI-generierten Ergebnissen finanzieren wird.openai.com

Nicht jeder ist mit diesem Ansatz einverstanden. Einen Tag vor der Ankündigung empfahl das eigene mathematische Beratungsgremium von OpenAI, dass KI-Unternehmen nicht die Praxis übernehmen sollten, ausgewählten Personen vorrangigen Zugang zu Modellausgaben zu gewähren. Das Gremium verwies auf ungleichen Zugang, geliehenen Ruf und voreingenommene Auswahl. Gizmodo merkte an, dass Lean-Verifizierungen bereits in der Vergangenheit Probleme verursacht haben. Leser der früheren Navier-Stokes-Behauptung von OpenAI äußerten Bedenken, dass der Lean-Beweis eine schwächere Aussage verifiziert habe als die, die das Unternehmen veröffentlichte. OpenAI beschreibt die neuen Manuskripte als "Forschungsrohdaten", die die wissenschaftliche Gemeinschaft erst noch in Verständnis umwandeln muss.gizmodo.com+1