AntwortenVeröffentlicht25 Quellen
OpenAI sagt, seine KI habe über 100 offene Matheprobleme gelöst. Was bislang bekannt ist
OpenAI erklärte am 21. September 2026, ein seit dem 28. Für Navier–Stokes veröffentlichte OpenAI nach eigener Darstellung einen analytischen Beweis und eine Lean Formalisierung.
Veröffentlicht vonBearbeitet mit GPT-5.6 TerraBilder erstellt mit GPT Image 2
Forschungsantwort
Wichtige Erkenntnisse
- OpenAI erklärte am 21. September 2026, ein seit dem 28.
- Für Navier–Stokes veröffentlichte OpenAI nach eigener Darstellung einen analytischen Beweis und eine Lean Formalisierung.
- Für die Hodge Vermutung gibt es keinen öffentlich vorgelegten und begutachteten Beweis: OpenAI hatte lediglich erhebliche Fortschritte bei einem nicht benannten zweiten Millennium Problem eingeräumt.[14]
KI-Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
OpenAIs Ankündigung vom 21. September ist ein außergewöhnlicher Forschungsanspruch – aber noch kein in der Mathematik allgemein anerkanntes Ergebnis. Das Unternehmen erklärte, ein nicht näher benanntes internes Modell, dessen Training am 28. August begonnen habe, habe mehr als 100 langjährige offene Probleme aus den meisten Teilgebieten der Mathematik gelöst. Zugleich kündigte OpenAI eine unabhängige, am Institute for Advanced Study (IAS) in Princeton angesiedelte Beratungsgruppe an. 5
15
Entscheidend ist die Unterscheidung zwischen einer von einem Unternehmen behaupteten Lösung und einer Lösung, die unabhängige Mathematikerinnen und Mathematiker geprüft und akzeptiert haben. Das öffentlich verfügbare Material stützt bislang Ersteres, nicht aber Letzteres – jedenfalls nicht für das gesamte Paket von mehr als 100 Problemen.
Was OpenAI konkret behauptet hat
Der Ankündigung ging am 8. September OpenAIs Aussage voraus, rund 10.000 KI-Agenten hätten mit einem unveröffentlichten internen Modell in 88 Stunden eine Singularität in endlicher Zeit für erzwungene dreidimensionale Navier–Stokes-Gleichungen gefunden. OpenAI bezeichnete dies als Lösung des Navier–Stokes-Problems zu Existenz und Glattheit und erklärte, es gebe sowohl einen analytischen Beweis als auch eine Formalisierung in Lean. 1
13
Am 21. September weitete das Unternehmen den Anspruch aus: Über Navier–Stokes hinaus habe das interne Modell mehr als 100 langjährige offene Probleme gelöst. 5
15
Die Wortwahl ist wichtig: „gelöst“ beziehungsweise „resolved“ ist OpenAIs eigene Einordnung. Sie bedeutet nicht automatisch, dass jeder einzelne Befund publiziert, extern geprüft oder von der mathematischen Fachwelt akzeptiert wurde.
Welche Belege vorliegen – und welche fehlen
Für das Navier–Stokes-Ergebnis beschrieb OpenAI öffentlich einen analytischen Beweis und eine Lean-Formalisierung. Lean ist ein Beweisassistent: Eine erfolgreich geprüfte Formalisierung ist ein gewichtiger Hinweis darauf, dass ein präzise kodierter Satz aus den kodierten Definitionen, Axiomen und verwendeten Bibliotheken folgt. 13
Für die umfassendere „100+“-Behauptung ist die öffentliche Dokumentation deutlich dünner. Die Ankündigung vom 21. September enthielt keine frei zugängliche, detaillierte Übersicht aller Probleme – einschließlich exakter Problemstellung, Beweis, Formalisierungsstatus, Herkunft der Ideen und Stand einer unabhängigen Prüfung. Außenstehende können die Zahl daher nicht Problem für Problem überprüfen. 7
11
Auch für den Navier–Stokes-Beweis belegen die vorliegenden Berichte keine abgeschlossene unabhängige Begutachtung durch Fachleute und keine allgemeine Akzeptanz in der Mathematik. Das sind andere Maßstäbe als die Veröffentlichung eines Beweisartefakts oder das erfolgreiche Kompilieren von Code. 1
46
Ist die Hodge-Vermutung gelöst?
Nein – nach der hier vorliegenden öffentlichen Quellenlage gibt es keinen Grund, die Hodge-Vermutung als gelöst zu behandeln.
Die Hodge-Vermutung gehört zu den Millennium-Problemen des Clay Mathematics Institute. 37 Berichte besagten, OpenAI habe erhebliche Fortschritte bei einem zweiten, nicht benannten Millennium-Problem eingeräumt. Das Unternehmen identifizierte dieses Problem jedoch nicht öffentlich als Hodge-Vermutung und legte dafür keinen Beweis vor.
14
Ein Bericht, ein Gerücht oder eine Fortschrittsmeldung ersetzt keinen publizierten Beweis, den die Fachwelt prüfen kann. Solange eine präzise Aussage und die dazugehörige Arbeit nicht öffentlich vorliegen und unabhängig bewertet sind, ist eine OpenAI-Lösung der Hodge-Vermutung nicht belegt.
Warum ein Lean-Beweis gültig sein kann und trotzdem schwer zu beurteilen ist
Formale Verifikation und menschliches mathematisches Verständnis beantworten verwandte, aber unterschiedliche Fragen.
Eine Lean-Formalisierung kann starke Sicherheit geben, dass in einem formal festgelegten Satz kein logischer Sprung steckt. Formale Beweisskripte machen allerdings viele normalerweise beiläufige Schritte explizit: Definitionen, Hilfslemmata, Abhängigkeiten von Bibliotheken, Umformungen und technische Details. Das kann einen Beweis für Fachleute schwer lesbar machen, obwohl er maschinell überprüfbar ist.
Das heißt nicht, dass „es kompiliert“ wertlos wäre. Es heißt vielmehr, dass das Kompilieren allein nicht alle Fragen beantwortet, die Mathematikerinnen und Mathematiker klären müssen:
- Entspricht die formale Aussage exakt dem gemeinten Millennium-Problem?
- Was ist die zentrale Idee hinter der Konstruktion oder dem Mechanismus der Singularität?
- Welche Abschätzungen und Argumente leisten die eigentliche intellektuelle Arbeit?
- Ist das Ergebnis robust, neuartig und so dargestellt, dass andere darauf aufbauen können?
- Wie sind frühere verwandte Ideen und Prioritäten angemessen zuzuordnen?
Formale Prüfung kann ein zentraler Teil der Verifikation sein. Sie schafft aber nicht automatisch eine verständliche menschliche Darstellung, klärt keine Urheberschaft und erzeugt keinen fachlichen Konsens.
Kritik: Priorität, Anerkennung und wissenschaftliche Regeln
Die Ankündigung löste Kritik aus, die über die technische Qualität des Beweises hinausgeht. 25 Trägerinnen und Träger der Fields-Medaille unterzeichneten einen offenen Brief mit dem Titel A Severe Misalignment of AI in Mathematics. Darin wandten sie sich gegen einen Wettlauf von KI-Laboren, prominente mathematische Probleme als Demonstration von Modellfähigkeiten zu nutzen. Nach Berichten warnten die Unterzeichnenden vor Schäden für die Mathematik, ihre Forschungskultur und die Ausbildung. 19
21
Ein gesonderter Prioritätsstreit betrifft die Mathematiker Tristan Buckmaster und Levent Alpöge. Buckmaster erklärte damals, ihm sei mitgeteilt worden, ein internes OpenAI-System verfüge über einen Beweis für Blow-up in endlicher Zeit bei erzwungenen Navier–Stokes-Gleichungen. Er schrieb zudem, er und Alpöge hätten sich gedrängt gesehen, verwandte Arbeiten zu veröffentlichen, bevor Prüfung und Darstellung abgeschlossen gewesen seien. Ein separates Ergebnis zu hypo-dissipativen Navier–Stokes-Gleichungen sei nicht veröffentlicht worden, weil die Lean-Verifikation noch nicht fertig gewesen sei. 17
Buckmasters Schilderung ist ein wichtiger Beleg für einen Konflikt um Zeitpunkt, Anerkennung und Publikationsdruck. Sie ist für sich genommen jedoch kein Beweis dafür, dass OpenAI fremde Arbeit kopiert habe. OpenAI erklärte, die eigene Arbeit habe begonnen, nachdem das Unternehmen von einem gemeldeten Durchbruch der beiden Mathematiker gehört habe; man habe eine gleichzeitige Veröffentlichung angeboten, welche ihre Priorität anerkennen sollte. 32
Die offene Frage lautet damit nicht nur, ob ein KI-System Beweise erzeugen kann. Es geht auch darum, ob KI-gestützte Entdeckungen so veröffentlicht werden, dass sorgfältige Zuschreibung, unabhängige Prüfung und der übliche wissenschaftliche Austausch möglich bleiben.
Was die IAS-Beratungsgruppe leisten kann – und was nicht
OpenAI kündigte eine unbezahlte, unabhängige neunköpfige Advisory Group on Mathematics and Artificial Intelligence an, die am Institute for Advanced Study in Princeton angesiedelt ist. Zu den in Berichten genannten Mitgliedern zählen Timothy Gowers und Martin Hairer. 4
5
Ihre erklärte Aufgabe ist es, Mathematikerinnen und Mathematikern eine Rolle bei der Bewertung und Kommunikation KI-generierter mathematischer Arbeiten zu geben – etwa durch Empfehlungen zu Prüf- und Veröffentlichungspraktiken. 5
15
Die Gruppe ist allerdings beratend, nicht regulierend. Nach den verfügbaren Berichten kann sie OpenAI nicht dazu zwingen, zugrunde liegende Beweise zu veröffentlichen, den Forschungszeitplan bestimmen, Ankündigungen untersagen oder die Urheberschaft abschließend festlegen. 7
Das ist zentral: Fachlicher Rat kann Transparenz und Kommunikation verbessern. Er verwandelt einen internen Unternehmensanspruch jedoch nicht selbst in einen von der mathematischen Gemeinschaft akzeptierten Satz.
Warum derzeit kein Millennium-Preis möglich ist
Die Regeln des Clay Mathematics Institute sind eindeutig. Bevor das Institut eine vorgeschlagene Lösung für einen Millennium-Preis überhaupt prüft, muss sie in einem qualifizierten Publikationsorgan veröffentlicht werden; danach müssen mindestens zwei Jahre vergehen, und die Arbeit muss in der weltweiten mathematischen Gemeinschaft allgemein akzeptiert sein. 46
Ein Unternehmensblog, ein Preprint, ein Code-Repository oder die Einschätzung einer Beratungsgruppe erfüllen diese Bedingungen nicht automatisch. Das Clay Mathematics Institute verwies nach der Navier–Stokes-Ankündigung zudem darauf, dass seine Regeln sowohl die Bewertung als auch die Vergabe von Anerkennung regeln. 42
Selbst wenn sich OpenAIs Navier–Stokes-Ergebnis oder ein späteres Resultat letztlich als korrekt erweisen sollte, machte die Ankündigung im September die Arbeit also nicht unmittelbar preisberechtigt. Sie müsste erst den etablierten Prozess aus Veröffentlichung und fachlicher Anerkennung durchlaufen.
Fazit
OpenAI behauptet, ein internes KI-Modell habe mehr als 100 offene mathematische Probleme gelöst, nachdem das Unternehmen zuvor eine Lean-formalisierte Lösung zu Navier–Stokes angekündigt hatte. Für Navier–Stokes gibt es öffentliche Materialien; für das breitere Portfolio fehlt bislang eine öffentlich einsehbare Belegkette für jedes einzelne Problem. 13
11
Die angemessene Einordnung lautet deshalb derzeit weder pauschale Zurückweisung noch Anerkennung als gesicherte Tatsache: Es sind potenziell folgenreiche Behauptungen, die transparente Beweise, fachliche Prüfung, sorgfältige Zuschreibung und Zeit benötigen. Das gilt besonders für jede Andeutung, ein weiteres Millennium-Problem wie die Hodge-Vermutung sei bereits gelöst.
Studio Global AI
Setzen Sie Ihre Recherche fort
Diese Seite enthält eine quellengestützte Antwort, die Sie in Studio Global fortsetzen können.
Die Leute fragen auch
Wie lautet die kurze Antwort auf „OpenAI sagt, seine KI habe über 100 offene Matheprobleme gelöst. Was bislang bekannt ist“?
OpenAI erklärte am 21. September 2026, ein seit dem 28.
Was sind die wichtigsten Punkte, die zuerst validiert werden müssen?
OpenAI erklärte am 21. September 2026, ein seit dem 28. Für Navier–Stokes veröffentlichte OpenAI nach eigener Darstellung einen analytischen Beweis und eine Lean Formalisierung.
Was soll ich als nächstes in der Praxis tun?
Für die Hodge Vermutung gibt es keinen öffentlich vorgelegten und begutachteten Beweis: OpenAI hatte lediglich erhebliche Fortschritte bei einem nicht benannten zweiten Millennium Problem eingeräumt.[14]