OpenAI veröffentlicht 722 von einem unveröffentlichten KI-Modell erzeugte Mathematik-Manuskripte

Ein Repository voller mathematischer Beweise

OpenAI veröffentlichte am Dienstag, dem 6. Oktober 2026, 722 Manuskripte, gruppiert in 372 Ergebnis-Familien, auf GitHub. Andere Quellen katalogisierten die Veröffentlichung als 377 eigenständige mathematische Ergebnisse. Das Repository deckt Bereiche wie Algebra, Zahlentheorie, theoretische Informatik, mathematische Logik und Topologie ab. Eine Arbeit der Sammlung beansprucht einen Beweis der Formel für den führenden Term der Birch-Swinnerton-Dyer-Vermutung für elliptische Kurven über den rationalen Zahlen, bei denen die q-Potenz-Selmer-Gruppe an einer Primzahl q den Korang null oder eins hat. OpenAI stellte den Arbeiten Schätzungen des Rechenaufwands sowie Zusammenfassungen des Denkprozesses des Modells für 10 der Lösungen zur Seite. Laut OpenAI erforderte jedes Ergebnis einen Rechenaufwand, der etwa drei Stunden Denkzeit auf ChatGPT Pro entspricht.

Die Beweise wurden von einem unveröffentlichten internen KI-Modell erzeugt, dessen Training OpenAI am 28. August 2026 begann. Ein Teil der Beweise wurde mit Lean formalisiert, einem interaktiven Theorembeweiser und einer Programmiersprache, die die automatisierte Verifikation mathematischer Argumente ermöglicht. OpenAI erklärte in der Dokumentation des Repositories, dass nicht alle Manuskripte formalisiert seien, und räumte ein, dass einige nicht formalisierte Ergebnisse Fehler enthalten könnten; zugleich kündigte das Unternehmen an, weitere Formalisierungen und Überarbeitungen zu veröffentlichen.

Empfehlungen der Beratergruppe

Die Veröffentlichung folgt Konsultationen mit der Advisory Group on Mathematics and Artificial Intelligence (AGMAI), einem unabhängigen Gremium am Institute for Advanced Study in Princeton, New Jersey. Die Beratergruppe wurde gegründet, um Standards für die Kommunikation KI-generierter mathematischer Ergebnisse zu entwickeln. Melanie Wood, Mathematikerin an der Harvard University und Mitglied des Beirats, beschrieb das Ziel des Gremiums in einer E-Mail.

Wir wollen Standards und Verfahren schaffen, damit Ergebnisse, die aus KI-Labors veröffentlicht werden, von Mathematikerinnen und Mathematikern verstanden werden können und das Feld voranbringen.

Ende September veröffentlichte AGMAI Empfehlungen, in denen sie KI-Labors aufforderte, Ergebnisse über etablierte akademische Kanäle zu publizieren, Rechenressourcen und Prompt-Protokolle offenzulegen und mathematische Erkenntnisse nicht als Werbeinstrumente zu nutzen. In einem am 29. September veröffentlichten Blogbeitrag riet das Gremium von Modellbewertungen hinter verschlossenen Türen ab.

Derzeit testen einige führende KI-Labors fortgeschrittene mathematische Probleme an proprietären Modellen, die der breiteren wissenschaftlichen Gemeinschaft weiterhin nicht zugänglich sind.

Akademische Bedenken und frühere Veröffentlichungen

Spannungen zwischen KI-Entwicklern und der akademischen Mathematikgemeinschaft waren in den Monaten zuvor zutage getreten. Im August 2026 lud OpenAI rund 40 Mathematikerinnen und Mathematiker ein, um die Folgen von KI-Systemen zu erörtern, die offene Probleme lösen. Die Teilnehmenden, darunter die Mathematikerin Bryna Kra von der Northwestern University, baten OpenAI, nicht Hunderte Lösungen gleichzeitig zu veröffentlichen, und forderten erklärende Arbeiten, die Forschende aufnehmen und überprüfen können.

Offenbar wurde dieser Beitrag ignoriert.

Im September 2026 berichtete OpenAI, dass dasselbe interne Modell eine Ausnahme gefunden habe, die die Navier-Stokes-Gleichungen widerlege – eines der Millennium-Probleme, die vom Clay Mathematics Institute mit einem Preisgeld von 1 Million Dollar ausgelobt wurden. Diese Veröffentlichung löste eine Debatte über die Urheberschaft aus, als bekannt wurde, dass das System eine von einem anderen Mathematikerteam begonnene Arbeit vollendet hatte. OpenAI-Sprecherin Lindsay McCallum sagte, das Unternehmen stütze sich auf die Empfehlungen von AGMAI, um zu entscheiden, wie es Ergebnisse teile; zugleich verpflichtete sich OpenAI, Workshops, Konferenzen und Forschungsprogramme zu finanzieren, die Mathematikerinnen und Mathematiker bei der Bewertung der erzeugten Arbeiten unterstützen.