Was OpenAIs neuer Mathe-Beirat tatsächlich bewirken kann

OpenAI reagiert auf die Kritik an seinem beanspruchten Navier-Stokes-Ergebnis mit der Unterstützung einer neuen Beratungsgruppe für Mathematik und Künstliche Intelligenz. Das Gremium ist am Institute for Advanced Study (IAS) in Princeton angesiedelt. Es gibt renommierten Mathematikerinnen und Mathematikern einen formellen Rahmen, um zur Prüfung und Veröffentlichung KI-generierter Resultate Stellung zu nehmen. Es ist jedoch ein beratendes Gremium – keine Fachzeitschrift, keine unabhängige Instanz zur endgültigen Beweisprüfung und keine Aufsicht über OpenAIs Forschungsprogramm. 332

Auslöser: der Streit um Navier–Stokes

Am 8. September veröffentlichte OpenAI ein 166-seitiges Manuskript sowie eine Formalisierung im Beweisassistenten Lean. Das Unternehmen beansprucht damit eine Lösung des Navier-Stokes-Problems zur Existenz und Glattheit: Eine glatte dreidimensionale Navier-Stokes-Strömung könne unter einer glatten äußeren Kraft in endlicher Zeit eine Singularität entwickeln. 6

Die Lean-Formalisierung liefert ein maschinell überprüfbares Objekt; das Manuskript soll die Argumentation für Menschen nachvollziehbar machen. Nach der Veröffentlichung wurde jedoch berichtet, dass die Entschlüsselung des Beweises Zeit brauche. Die neue Beratungsgruppe wurde auch als Reaktion auf die Frage angekündigt, wie große KI-generierte mathematische Resultate geprüft und verbreitet werden sollten. 2

Daneben gibt es einen Streit über Urheberschaft und Priorität. Tristan Buckmaster und Levent Alpöge veröffentlichten ungefähr zur gleichen Zeit Lean-verifizierte Ergebnisse zu verwandten Problemen der Strömungsgleichungen. Daraus entstand eine öffentliche Auseinandersetzung über die Zuschreibung. Diese Frage ist von der formalen Prüfung eines OpenAI-Beweises zu trennen: Es geht um Entstehungsgeschichte, Zugang zu Ideen und angemessene wissenschaftliche Anerkennung. 1

Die neun Gründungsmitglieder

Dem ersten Gremium gehören an:

• François Charles
• Camillo De Lellis
• Timothy Gowers
• Martin Hairer
• Nikhil Srivastava
• Ulrike Tillmann
• Ravi Vakil
• Edward Witten
• Melanie Matchett Wood 26

Die Gruppe ist am IAS angesiedelt, soll laut Beschreibung aber unabhängig von OpenAI arbeiten. 33

Was der Beirat tun darf

OpenAI zufolge soll die Gruppe zur Bewertung und Kommunikation neuer mathematischer Ergebnisse beraten. Dazu gehören ihre wissenschaftliche Bedeutung, eine koordinierte Veröffentlichung sowie relevante akademische und professionelle Standards. 1733

Die zugesicherte Unabhängigkeit umfasst mehrere konkrete Punkte:

• Die Mitglieder werden nicht von OpenAI bezahlt.
• Sie dürfen auch ungefragt Empfehlungen abgeben.
• Sie dürfen sich öffentlich zu OpenAIs Einfluss auf die Mathematik äußern.
• Sie dürfen ihre Empfehlungen veröffentlichen.
• Über die Zusammensetzung der Gruppe können sie selbst entscheiden. 33

Das schafft zumindest einen Weg, OpenAI nicht nur intern, sondern auch öffentlich zu widersprechen. Ihre Rolle bleibt dennoch beratend und ist nicht verbindlich. 33

Was der Beirat nicht kann

Das Gremium hat keine Entscheidungsmacht über OpenAIs Forschungsrichtung oder Zeitplan. OpenAI betont ausdrücklich, dass die Gruppe nicht dazu beraten wird, in welchem Tempo die interne mathematische Forschung voranschreiten soll. 332

Damit kann sie insbesondere nicht verbindlich:

• eine Forschungsankündigung stoppen;
• OpenAI zur Herausgabe eines Beweises, eines Modells oder interner Forschungsunterlagen zwingen;
• Änderungen an der Publikationsstrategie durchsetzen;
• festlegen, ob eine mathematische Behauptung von der Fachgemeinschaft als anerkannt gilt; oder
• einen zurückliegenden Prioritäts- oder Zuschreibungsstreit eigenständig entscheiden.

Der Unterschied ist zentral: Der Beirat kann Standards empfehlen und Einwände kommunizieren. Die Kontrolle über Modelle, interne Abläufe, die Offenlegung von Material und die Umsetzung einzelner Empfehlungen verbleibt bei OpenAI. Das Gremium ist daher eher eine Brücke zwischen einem KI-Labor und der mathematischen Fachgemeinschaft als ein Ersatz für unabhängige Begutachtung. 332

Unabhängigkeit und Repräsentation bleiben offene Fragen

Die Satzung räumt der Gruppe spürbaren Freiraum zum öffentlichen Sprechen und Publizieren ein. Ihre tatsächliche Wirkung hängt aber davon ab, ob die Mitglieder diesen Freiraum nutzen – und ob OpenAI darauf reagiert. Besonders bedeutsam ist die fehlende Zuständigkeit für das Forschungstempo, weil schnelle, stark öffentlichkeitsorientierte Ankündigungen zu den Kritikpunkten am Vorgehen von KI-Laboren bei mathematischen Behauptungen zählen. 233

Die Mitglieder sind hoch angesehen, was dem Gremium Gewicht verleiht. Ein Kreis von neun Personen kann jedoch nicht automatisch alle relevanten Sichtweisen vertreten. Fachleute für formale Methoden, Forschende aus den unmittelbar betroffenen Teilgebieten, Mathematikerinnen und Mathematiker am Beginn ihrer Laufbahn sowie Gruppen außerhalb der in der ersten Besetzung vertretenen Institutionen könnten bei Prüfung, Zugang, Anerkennung und Publikationsnormen andere Schwerpunkte setzen. Zudem wurden Fragen dazu laut, wie die Mitglieder ausgewählt wurden. 37

Die unbezahlte Konstruktion kann die Distanz zu OpenAI stärken. Zugleich hängt eine dauerhafte, auch konfrontative Prüfung von der verfügbaren Zeit der Mitglieder und ihrem Zugang zu den zugrunde liegenden Materialien ab.

Was das für die Navier-Stokes-Behauptung bedeutet

Eine Lean-Verifizierung ist wichtig: Sie kann mechanisch prüfen, ob ein Satz aus den in einem formalen Beweis kodierten Definitionen, Axiomen und Hilfssätzen folgt. Eine maschinell geprüfte Formalisierung macht einen Beweis aber nicht automatisch für Menschen verständlich. Sie stellt auch nicht allein sicher, dass jede Modellierungsentscheidung genau die beabsichtigte informelle Behauptung erfasst, und sie beantwortet weder Fragen nach Bedeutung noch nach Erklärungskraft.

Der neue Beirat verändert diese Arbeitsteilung nicht. Er kann beraten, wie ein Resultat bewertet und kommuniziert werden sollte; unabhängige Mathematikerinnen und Mathematiker müssen Manuskript, formale Artefakte, Annahmen und die Beziehung des behaupteten Satzes zum ursprünglichen Problem weiterhin selbst prüfen. 332

Auch der Buckmaster-bezogene Streit über Zuschreibung wird durch die Gründung des Gremiums nicht entschieden. Eine glaubwürdige Klärung bräuchte ein faktenbasiertes Verfahren, das Chronologie, Beiträge, Zugang zu Ideen und wissenschaftliche Anerkennung untersucht – nicht bloß eine Beratungsempfehlung. 1

Der Praxistest: OpenAIs Behauptung von mehr als 100 weiteren Ergebnissen

OpenAI erklärt, sein internes Modell habe mehr als 100 weitere offene Mathematikprobleme gelöst. Der Beirat soll bei einer verantwortungsvollen Veröffentlichung dieser Ergebnisse helfen. 3633

Glaubwürdiger würde dieser Prozess durch eine Veröffentlichungsfolge, die eine echte unabhängige Bewertung ermöglicht:

1. Jedes Problem präzise formulieren. Eine öffentliche Liste sollte zwischen bewiesenen Sätzen, beanspruchten Lösungen, Erweiterungen und verwandten Ergebnissen unterscheiden.
2. Lesbare und maschinenprüfbare Arbeiten bereitstellen. Menschlich lesbare Beweise erklären Relevanz und Idee; formale Artefakte erlauben eine reproduzierbare mechanische Prüfung.
3. Fachspezifische Begutachtung ermöglichen. Ergebnisse aus Strömungsmechanik, Algebra, Geometrie oder Logik müssen von Forschenden des jeweiligen Fachgebiets geprüft werden – nicht nur von einem allgemeinen Beratungsgremium.
4. Herkunft und Beiträge dokumentieren. Klare Aufzeichnungen sind besonders wichtig, wenn Priorität, Modellzugang oder die Nutzung zuvor unveröffentlichter Arbeiten umstritten sein könnten.
5. Entdeckung und Validierung trennen. Ein KI-System kann einen vielversprechenden Beweis erzeugen; wissenschaftliche Anerkennung beruht aber auf offener Prüfung und belastbarer fachlicher Kommunikation.

Der neue Beirat ist damit ein relevantes Experiment in wissenschaftlicher Governance, aber keine abschließende Antwort auf die Kontroverse. Entscheidend wird sein, ob seine Empfehlungen öffentlich werden, ob OpenAI Außenstehenden genügend Material zur Prüfung liefert und ob künftige Veröffentlichungen Begutachtung und Zuschreibung ebenso ernst nehmen wie die Ankündigung selbst.