OpenAI gründet externen Beirat zu seinen mathematischen Fortschritten

Was OpenAI angekündigt hat und was die Zahl von mehr als hundert Problemen bedeutet

OpenAI hat einen externen Beirat für Mathematik und künstliche Intelligenz angekündigt. Vorausgegangen war die Behauptung des Unternehmens, eines seiner internen Modelle habe mehr als hundert offene mathematische Probleme gelöst. Diese Zahl geht auf eine Aussage von OpenAI zurück. Für sich genommen sagt sie nicht aus, welche Probleme bearbeitet wurden, nach welchen Kriterien sie als gelöst gelten oder ob die Lösungen unabhängig geprüft worden sind.

Diese Unterscheidung ist wichtig, denn „ein Problem lösen“ kann Ergebnisse mit unterschiedlicher Reichweite bezeichnen. Um eine mathematische Behauptung beurteilen zu können, braucht es mindestens eine präzise Formulierung des Problems, einen Beweis, den andere Fachleute untersuchen können, und genügend Informationen, um zu prüfen, ob das Argument tatsächlich die gestellte Frage beantwortet. Bezieht sich das Ergebnis auf eine bestimmte Fassung eines Problems, müssen auch diese Formulierung und ihre Voraussetzungen klar benannt werden.

Die verfügbaren Quellen belegen die Ankündigung von OpenAI und die Gründung des Beirats. Sie enthalten jedoch weder die Beweise für die mehr als hundert Ergebnisse noch eine unabhängige Prüfung dieser Ergebnisse. Die Zahl sollte daher als Behauptung des Unternehmens wiedergegeben werden – nicht als Sammlung von Lösungen, deren Gültigkeit bereits öffentlich festgestellt worden wäre.

Wer dem Beirat angehört und welches Mandat er hat

Der Beirat versteht sich als unabhängig von OpenAI und ist am Institute for Advanced Study (IAS) in Princeton angesiedelt. Laut der Ankündigung von OpenAI sowie den institutionellen Seiten des Beirats und des IAS gehören ihm zunächst neun Personen an. Die bereitgestellten Quellen bestätigen die anfängliche Größe und die institutionelle Anbindung, führen die neun Namen in den hier vorliegenden Informationen aber nicht auf. Deshalb werden sie an dieser Stelle nicht genannt.

Das beschriebene Mandat besteht darin, zur Zusammenarbeit von KI-Unternehmen und mathematischer Forschung zu beraten, insbesondere dazu, wie Ergebnisse abgestimmt, präsentiert und kommuniziert werden. Der Beirat kann außerdem unaufgefordert Empfehlungen abgeben und seine Stellungnahmen veröffentlichen. Das lässt ihm Spielraum für eine eigene Position, macht ihn aber nicht zu einem Leitungsorgan von OpenAI.

Eine Grenze wird ausdrücklich gezogen: Der Beirat soll OpenAI nicht zum Tempo seiner internen mathematischen Forschung beraten. Auch das IAS hat darauf hingewiesen, dass das Gremium in KI-Unternehmen keine Entscheidungsbefugnis besitzt. Für die Entscheidungen bleibt jeweils das Unternehmen selbst verantwortlich. Unabhängigkeit und Entscheidungsmacht sind also nicht dasselbe: Der Beirat kann Empfehlungen aussprechen, doch die Quellen weisen ihm keine Befugnis zu, Änderungen anzuordnen oder ein Projekt zu stoppen.

Beratung zur Kommunikation ist keine Zertifizierung eines Beweises

Die zentrale Frage lautet, ob der Beirat mathematische Beweise prüfen oder lediglich dabei helfen soll, über die Kommunikation der Ergebnisse zu entscheiden. Die verfügbaren Beschreibungen sprechen von Beratung zur Verbreitung und Präsentation von Resultaten sowie zum Austausch mit der mathematischen Fachgemeinschaft. Sie bestätigen kein formelles Mandat, sämtliche Beweise zu begutachten, ihre Korrektheit zu zertifizieren oder vor der Veröffentlichung eine wissenschaftliche Freigabe zu erteilen.

Das schließt nicht aus, dass Mitglieder konkrete Ergebnisse kommentieren, wenn sie es für angebracht halten. Der Beirat erklärt, er könne unaufgefordert Empfehlungen geben und diese öffentlich machen. Eine solche Möglichkeit ist jedoch nicht gleichbedeutend mit einem systematischen Prüfverfahren, das für jedes Ergebnis Kriterien, Fristen und Schlussfolgerungen festlegt. Die vorliegenden Informationen beschreiben kein Verfahren dieser Art.

Auch die Ansiedlung an einer akademischen Einrichtung darf nicht mit einer institutionellen Bewertung der Lösungen verwechselt werden. Die Verbindung zum IAS beschreibt, wo das Projekt organisiert ist. Sie beweist für sich genommen weder, dass das Institut die Beweise überprüft hat, noch, dass es jede Behauptung von OpenAI unterstützt. In der Berichterstattung müssen die Unabhängigkeit des Beirats, sein beratendes Mandat und die mathematische Prüfung einzelner Ergebnisse getrennt betrachtet werden.

Welche öffentlichen Belege für die Lösungen vorliegen

Die verfügbaren Informationen enthalten nicht die technischen Einzelheiten, die erforderlich wären, um die von OpenAI genannten mehr als hundert Probleme zu beurteilen. Ein Bericht von Infobae hält fest, dass diese Ergebnisse bislang nicht mit den technischen Details veröffentlicht worden seien, die andere Fortschritte des Unternehmens begleitet hätten. Das beschreibt den öffentlichen Informationsstand zum Zeitpunkt der Berichterstattung; es beweist weder, dass die Lösungen korrekt sind, noch, dass sie falsch sind.

Daneben gibt es eine Veröffentlichung von OpenAI zu einer Lösung, die das Unternehmen dem Problem der Existenz und Glattheit der Navier-Stokes-Gleichungen zuschreibt. Xataka berichtet, dass OpenAI dazu einen mathematischen Artikel und eine Formalisierung in Lean vorgelegt hat. Lean ist ein Beweisassistent, mit dem sich formal ausgedrückte Argumente in einem System überprüfen lassen. Öffentlich zugängliches technisches Material ermöglicht es, diesen Fall genauer zu untersuchen als eine nicht dokumentierte Behauptung. Es bedeutet aber nicht, dass eine unabhängige Bewertung bereits abgeschlossen wäre.

Auch die Reichweite dieses Beispiels muss sorgfältig eingeordnet werden. Der Analyse von Xataka zufolge behandelt OpenAI Fassungen des Problems, bei denen eine gezielt entworfene äußere Kraft zugelassen wird. Damit wird nicht zwangsläufig die engere Frage beantwortet, ob die Gleichungen ohne eine solche Kraft eine Singularität erzeugen. Es geht hier nicht darum, die Gültigkeit des Beweises zu beurteilen, sondern genau zu bestimmen, welche Fassung der Fragestellung OpenAI nach eigener Aussage löst. Ein Beweis kann für eine bestimmte Formulierung relevant sein, ohne eine verwandte, aber andere Frage zu beantworten.

Der Fall Navier-Stokes erlaubt deshalb keine automatische Verallgemeinerung auf die mehr als hundert Probleme. Jedes Ergebnis benötigt eine eigene Problemformulierung, einen eigenen Beweis und eine eigene Prüfung. Die vorliegenden Quellen erläutern weder alle Probleme, die in der Zahl enthalten sind, noch stellen sie eine vollständige Sammlung von Beweisen bereit, anhand derer sich die Fälle vergleichen ließen.

Was fehlt, um die tatsächliche Reichweite der Ankündigung einzuschätzen

Um die Behauptung zu den mehr als hundert Problemen beurteilen zu können, müsste OpenAI eine nachvollziehbare Liste der Ergebnisse, die jeweils verwendeten Problemformulierungen und die vollständigen Beweise veröffentlichen. Außerdem wäre wichtig zu erfahren, welche Prüfungen bisher stattgefunden haben, wer sie durchgeführt hat und ob Einwände oder bekannte Einschränkungen vorliegen. Ohne diese Angaben lassen sich weder die Reichweite der Zahl unabhängig überprüfen noch die einzelnen Fälle miteinander vergleichen.

Ein Beirat kann dazu beitragen, die Kommunikation klarer und verantwortungsvoller zu gestalten. Er kann auch auf Risiken für die mathematische Gemeinschaft hinweisen, Empfehlungen zu Veröffentlichungspraktiken geben oder die Interpretation eines Ergebnisses hinterfragen. Solange sein Mandat jedoch als beratend beschrieben wird und kein konkretes Prüfverfahren veröffentlicht ist, sollte er nicht als Gütesiegel für die Lösungen von OpenAI dargestellt werden.

Die Nachricht umfasst somit zwei miteinander verbundene, aber unterschiedliche Sachverhalte: die Behauptung, ein Modell habe mehr als hundert Probleme gelöst, und die Gründung eines externen Gremiums, das zur Zusammenarbeit von KI und Mathematik beraten soll. Der zweite Schritt kann die Diskussion darüber verbessern, wie Fortschritte veröffentlicht werden. Er bestätigt jedoch nicht von selbst den ersten. Für eine wissenschaftliche Bewertung braucht es konkrete Beweise, die andere Fachleute untersuchen können.

Offen bleibt, welche Probleme in der Zahl enthalten sind, was „gelöst“ in jedem einzelnen Fall genau bedeutet, welche Dokumentation das Unternehmen veröffentlichen wird und ob der Beirat einen bestimmten Beweis prüfen wird. Solange diese Fragen unbeantwortet sind und prüfbares Material fehlt, ist es am sorgfältigsten, das Ergebnis OpenAI zuzuschreiben und den Beirat anhand des Mandats zu beschreiben, das die Quellen tatsächlich dokumentieren.

Weiter entdecken

Korrekturen und Transparenz

Wenn du falsche oder veraltete Angaben findest, sende uns die Seite und die zu prüfende Quelle.