OpenAI veröffentlicht Hunderte KI-Beweise: Schock in der Mathematik-Community

Am 6. Oktober 2026 veröffentlichte OpenAI mehr als 700 KI-generierte Manuskripte, die Lösungen für Hunderte offener mathematischer Probleme beanspruchen. Diese Massenveröffentlichung auf GitHub hat eine Welle von Reaktionen in der weltweiten Mathematik-Community ausgelöst, die von intellektueller Faszination bis zu tiefer Trauer über eine verlorene Arbeitsweise reicht. Ein Mathematik-Blog namens „Proofs and Prompts“ sammelte über 100 Stellungnahmen von Forschenden.

Hintergrund der KI-Fortschritte

Lange Zeit hatten KI-Modelle Schwierigkeiten mit mathematischen Aufgaben, die selbst fortgeschrittene Studierende routinemäßig lösen konnten. Seit Mitte 2026 häuften sich jedoch die Durchbrüche. Zuerst gelang die Lösung der Unit Distance Conjecture, gefolgt von der Navier-Stokes-Gleichung und zehn weiteren Lösungen, die bei der Vorstellung von OpenAIs Astra-Modell präsentiert wurden. Die jüngste Veröffentlichung von über 700 Manuskripten stellt eine erhebliche Ausweitung dieser Entwicklung dar.

Schock und Faszination: Erste Reaktionen

Die mathematische Substanz der von OpenAI hochgeladenen Arbeiten ist noch nicht vollständig bewertet. Einige Papiere wurden bereits zurückgezogen, andere werden wegen ihrer schwer lesbaren Form kritisiert. Dennoch zeigen sich mehrere Experten von den Ergebnissen beeindruckt.

• Der mit der Fields-Medaille ausgezeichnete Hugo Duminil-Copin beschrieb seine Reaktion als Lähmung. Er hatte zwar erwartet, dass die menschliche Mathematik eines Tages übertroffen würde, aber die Ankündigung habe ihn mit unerwarteter Wucht getroffen. Laut Duminil-Copin beansprucht OpenAI Ergebnisse zu jedem wichtigen ungelösten Problem, das er in seiner Karriere öffentlich diskutiert hatte, jedoch nicht alle gleichzeitig und mit einer solchen Nonchalance.
• Ein weiterer Fields-Preisträger, Peter Scholze, mahnte zur Geduld. Er betonte, dass Mathematik ein Marathon sei, dessen Ziel stets das menschliche Verständnis bleibe. Scholze warnte zudem vor Risiken über die Mathematik hinaus, etwa der Möglichkeit, dass diese Systeme weit verbreitete Verschlüsselungsmethoden knacken könnten, was katastrophale Folgen für die digitale Infrastruktur hätte.
• Terence Tao äußerte gemischte Gefühle. Er erkannte, dass die KI-generierten Beweise „clevere neue Ideen einführen, die sich nach der Verdauung als fruchtbar erweisen werden“. Gleichzeitig sei er jedoch „zutiefst frustriert“ über das Fehlen von Menschen, die diese Arbeiten diskutieren, in Vorträgen präsentieren oder Studierenden beibringen könnten, und rief die Gemeinschaft zu mehr Zusammenhalt auf.

Auswirkungen auf die Forschung und persönliche Bedenken

Die Veröffentlichung hat weitreichende Auswirkungen auf die aktuelle Forschung und die persönliche Wahrnehmung vieler Mathematiker:

• Alvaro Lozano-Robledo bezeichnete den 6. Oktober als „möglicherweise den bisher wichtigsten Tag in der Geschichte der Mathematik“, wies aber auch auf Grenzen der Modelle hin. OpenAI habe zwar eine schwächere Variante der berühmten ungelösten Riemann-Hypothese gelöst, nicht jedoch die Hypothese selbst.
• Ben Green zeigte sich „absolut schockiert“. Die Veröffentlichung habe etwa drei Viertel der Forschungsziele eines prestigeträchtigen europäischen Stipendiums, das er erst im Juni erhalten hatte, gelöst.
• Roman Sauer erkannte eine von ihm über Jahre entwickelte Technik in OpenAIs Lösungen für zwei völlig unterschiedliche Probleme wieder und zeigte sich „verblüfft“.
• Johannes Schmitt argumentierte, dass die Forschungsarbeiten eher ein Nebenprodukt von OpenAIs Bemühungen zur Verbesserung ihrer Modelle seien, anstatt primär die Mathematik voranzutreiben. Er vermutet, dass ungelöste Probleme zum Testen verwendet wurden, da die führenden Modelle einfachere Herausforderungen übertroffen hatten.
• Viele Mathematiker äußerten Schock, Lähmung und Zukunftsängste bezüglich ihres Berufs. Matt Zaremsky beschrieb es, als hätte man vier Jahre an einer archäologischen Ausgrabung gearbeitet, nur um dann zu sehen, wie ein Billionen-Dollar-Unternehmen das Ganze mit TNT in die Luft jagt und einem das fertige Skelett überreicht.
• Für die Doktorandin Tristan Humbert bedrohte die Ankündigung sowohl ihre Forschungspläne als auch ihre Jobsuche, da OpenAI behauptete, das zentrale Problem ihrer Dissertation gelöst zu haben. Ihre anfängliche Traurigkeit wich Wut, als sie die Papiere als „größtenteils unleserlichen Schrott“ empfand.
• Enrico Fatighenti kritisierte, dass die Forschungsgemeinschaft nun aufgefordert werde, KI-generierte Papiere zu entschlüsseln, was einen erheblichen Zeit- und Arbeitsaufwand bedeute, während die KI-Systeme einfach zum nächsten Problem übergehen könnten.
• Henry Wilton war noch deutlicher: „Wenn OpenAI die mathematische Gemeinschaft zerstören wollte, wäre dies ein großartiger Weg.“ Er kritisierte das Fehlen von Autorennamen, was impliziere, dass Mathematik kein menschliches Unterfangen mehr sei.

Thema: OpenAI. Quelle/Inspiration: The Decoder.