Research Notes: Der OpenAI-Mathe-Dump (Oktober 2026)

Was geschah

Am 6. Oktober 2026 veröffentlichte OpenAI auf GitHub eine Sammlung KI-erzeugter mathematischer Arbeiten, die Lösungen für offene Forschungsprobleme beanspruchen, begleitet von einer Seite mit dem Titel „Sharing AI progress in mathematics".

Die vorliegenden Zählungen weichen je nach Quelle erheblich voneinander ab und lassen sich bislang nicht auf einen Nenner bringen:

• Joshua Gans beziffert das Konvolut auf 722 Arbeiten.
• The Guardian spricht von über 370 Resultaten.
• WIRED nennt mehr als hundert lange offene Probleme unter hunderten von Resultaten.

Diese Zählungen sind in der verfügbaren Berichterstattung nicht vereinbart; alle Angaben sind als Behauptungen zu behandeln, nicht als gesicherte Bestandsaufnahme.

Dem Dump war im September 2026 die Behauptung vorausgegangen, OpenAI habe das Navier-Stokes-Problem (ein Millennium-Problem) gelöst — bereits begleitet von Streit um Anerkennung und proprietäre Modelle.

Der AGMAI-Einspruch

Im August 2026 hatte OpenAI Mathematiker einberufen; am Institute for Advanced Study wurde die Beratergruppe AGMAI (Advisory Group on Mathematics and AI) gebildet. Nach einem Beitrag auf Proofs and Prompts, der die OpenAI-Veröffentlichungsseite zitiert, verlangt AGMAI von KI-Firmen, ihre proprietären Modelle nicht mehr an offenen Forschungsproblemen zu evaluieren; OpenAI erklärt, diese Evaluation für wichtig zu halten. Der Dump vom 6. Oktober erfolgte dennoch. Kritiker (darunter Henry Wilton und Johannes Schmitt) beschreiben die vorherige Beteiligung der Gemeinschaft als teilweise ignoriert: keine menschlichen Autoren, kein Zeitschriftenverfahren, keine offengelegten Kriterien zur Problemauswahl oder zu Fehlquoten.

Stand der Verifizierung

• Für einen Teil der Arbeiten wurden Berichten zufolge partielle Zertifikate im Beweisassistenten Lean vorgelegt; für viele nicht.
• Henry Wilton nach erster Durchsicht: Die Qualität der Texte schwankt extrem („vary wildly in quality"); die Prüfung aller Beweise wird Monate dauern.
• Tristan Humbert zum Beweis der Katok-Entropy-Vermutung: „mostly unreadable slop".
• Mindestens ein Beitragender wies nach, dass sich ein OpenAI-Beispiel (eine Artin-Gruppe mit 116 Erzeugern) mit einem anderen Werkzeug in zehn Minuten auf 12 Erzeuger verbessern ließ — angeführt als Beleg dafür, dass „viele Arbeiten nie von einem Menschen geprüft wurden" und Quantität vor Qualität ging.
• Ein Prozess-Einwand: Mit AGMAI waren sorgfältig erläuterte Begleitarbeiten erwartet worden; eingetroffen ist „a massive GitHub drop". („What did we even need AGMAI for?")

Die Reaktionen

Gesammelt auf Proofs and Prompts, „100+ reactions to 100+ solutions" (8. Oktober 2026, aktualisiert 9. Oktober). Repräsentative, geprüfte Zitate:

• Matt Zaremsky (Boone-Higman-Vermutung, vier Jahre Forschungsprogramm): „it feels like we've been working on an archeological dig for 4 years, gradually discovering more and more of a really cool-looking dinosaur skeleton, and then a trillion-dollar company showed up and just blasted the whole thing with TNT, handed us the whole skeleton, and walked away." Und: „it's believable we could have gotten there in another year or two."
• Tristan Humbert (Katok-Entropy-Vermutung, sein Doktorarbeitsthema): Trauer über das „getötete" Lieblingsproblem; dann Panik — er bewirbt sich auf Postdoc-Stellen und schrieb an einem Vormittag seinen Forschungsplan um und mailte seine Betreuer an; dann Wut über die Qualität der Arbeit. Sein Fazit: OpenAIs Standards schadeten der mathematischen Forschung „maybe in an irreversible way", und die Gemeinschaft sei bereit, kostenlos zu validieren („accepting to work for free").
• Tasmin Chu: „I realize now that what I wanted more than to know that it is true was the time and space to think about it for the next few years. I feel a profound sense of grief for the working conditions I believed I would have."
• Henry Wilton: Hauptgefühle „disorientation and bewilderment"; größte Sorge gilt dem Nachwuchs — „the necessary incentives may no longer exist for bright young people to invest that effort."
• Ein Beitragender berichtet von Kollegen mit „severe anxiety, depression and loss of purpose" und fügt hinzu: „What they need most at this moment is not more powerful AI, but the time to process the transformation of their discipline."
• Das optimistische Register existiert ebenfalls: Gans skizziert eine Arbeitsteilung (die KI erzeugt, Menschen wählen aus und zeichnen ab); Tobias Osborne und Martin Bridson sehen das Fach in eine größere Ära eintreten, nicht enden.

Zwei Video-Reaktionen aus erster Hand, beide erschienen am 9. Oktober 2026: Sophie Maclean, „I am sad about AI in maths..." (Prozess-Trauer, erste Person), und der Entwicklerkanal Awesome, „The AI skeptics are changing sides..." (die parallele Bekehrungswelle in der Softwareentwicklung).

Was daraus nicht folgt

• Keine gesicherte Zählung. 722, über 370 und „hunderte, darunter über 100 lange offene" sind nicht vereinbare Angaben.
• Keine Korrektheit. „Gelöst" bedeutet: Ein Beweis wurde auf GitHub gestellt. Die fachliche Prüfung ist bestenfalls Monate entfernt; mindestens einige Texte gelten nach Expertenurteil als unlesbar.
• Kein „Tod der Mathematik". WIRED berichtet, manche OpenAI-Mitarbeiter glaubten daran; OpenAI dementiert; ein Großteil des Fachs diskutiert Transformation, nicht Ende. Alle drei Positionen sind Interessenreden.
• Kein AGMAI-Segen. Der dokumentierte Verlauf zeigt das Gegenteil: Die zentrale Bitte der Beratergruppe wurde abgelehnt.

Wie dieses Korpus sie nutzt

Verlinkt bei erster Erwähnung im Beitrag Wen holt sich die KI zuerst? als das Ereignis des Protokolls. Der Beitrag erzählt; diese Note hält die Fakten.

Quellen

• OpenAI: Sharing AI progress in mathematics — Oktober 2026, openai.com
• Proofs and Prompts: 100+ reactions to 100+ solutions — 8. Oktober 2026 (aktualisiert 9. Oktober), proofsandprompts.com
• Joshua Gans: OpenAI Drops a Bomb on Maths — Oktober 2026, joshuagans.substack.com
• The Guardian — 7. Oktober 2026, theguardian.com
• WIRED: OpenAI Is Pissing Off a Bunch of Mathematicians Again — Oktober 2026, wired.com
• Sophie Maclean: I am sad about AI in maths... (Video, 9. Oktober 2026), YouTube
• Awesome: The AI skeptics are changing sides... (Video, 9. Oktober 2026), YouTube
• Rohmaterial (intern): research/ai-displacement/ — vollständiger Snapshot der Reaktionsseite, beide Video-Transkripte.