KI SpotlightNews32 Mathematiker beraten am Harvard CMSA über Forschung im KI-Zeitalter
Die Organisatoren haben einen Bericht zum zweitägigen Gipfel veröffentlicht. Der Redaktion lag er nicht vor. Parallel befeuern Benchmarks und eine Flut ungeprüfter Manuskripte die Debatte über Prüfung.
Mit KI erstelltInhalt
◆ Fakten auf einen Blick
- Am zweitägigen Gipfel „Math Research in the Age of AI“ nahmen 32 Mathematikerinnen und Mathematiker teil.
- Organisiert wurde der Gipfel von Dan Freed, Larry Guth, Bryna Kra, Emily Riehl und Mohammed Abouzaid.
- Fünf Arbeitsgruppen behandelten unter anderem Formalisierung, Open-Source-Werkzeuge und Zusammenarbeit mit KI-Laboren.
- Epoch AI stellte FrontierMath Erdős vor: 68 offene Erdős-Probleme sollen in Lean bewiesen oder widerlegt werden.
- GPT-6 Astra erreichte als bestes von fünf KI-Systemen 3 %, alle anderen 0 %.
32 Mathematiker beraten am Harvard CMSA über KI in der Forschung
Am Harvard Center for Mathematical Sciences and Applications (CMSA) fand ein zweitägiges Treffen unter dem Titel „Math Research in the Age of AI“ statt. Teilnehmen durften 32 Mathematikerinnen und Mathematiker aus Wissenschaft, Staat und Industrie. Ihr erklärtes Ziel: die Disziplin durch eine Phase schnellen Wandels begleiten. Dem Vernehmen nach wollten sie vor allem Ideen für die Zukunft beisteuern.
Das Treffen organisierten Dan Freed (Harvard), Larry Guth (MIT), Bryna Kra (Northwestern), Emily Riehl (Johns Hopkins) und Mohammed Abouzaid (Stanford). Sie berichten selbst darüber: in einem Gastbeitrag auf Terence Taos Blog und in einem Bericht auf der Gipfel-Website. Dort gibt es ein Feedback-Formular. Außerdem laden die Organisatoren in den Kommentaren des Blogs zur offenen Diskussion ein.
Die Redaktion hat den Bericht nicht vorliegen. Deshalb gibt dieser Artikel weder Befunde, Vorschläge oder Empfehlungen wieder, noch bewertet er sie. Bekannt sind nur Rahmen, Besetzung und Struktur des Treffens, so wie die Organisatoren sie darstellen.
Fünf Arbeitsgruppen: von Open-Source-Werkzeugen bis zur Zusammenarbeit mit KI-Laboren
Die Teilnehmenden arbeiteten in fünf Gruppen. Sie befassten sich mit Evaluation, Produktion und Verbreitung von Forschung, mit koordinierten Maßnahmen für die KI-Ära, mit Open-Source-Werkzeugen, mit Formalisierung in der Mathematik und mit der Zusammenarbeit zwischen Wissenschaft und KI-Laboren.
Das sind Themenfelder, keine Ergebnisse. Welche Schlüsse die Gruppen zogen, lässt sich dem vorliegenden Material nicht entnehmen.
Zur Entstehung des Gastbeitrags gibt es einen Hinweis von Terence Tao. Der Text entstand zunächst in einem anderen Dateiformat und wurde später per KI konvertiert.
Parallel: FrontierMath Erdős und 722 ungeprüfte Manuskripte von OpenAI
Zwei Entwicklungen außerhalb des Gipfels zeigen, wie dringend die Fragen nach Evaluation und Prüfung sind. Sie dienen als Kontext, nicht als Ergebnis des Treffens. Eine Verbindung zum Bericht ist nicht belegt.
Epoch AI hat mit Koautoren den Benchmark FrontierMath Erdős vorgestellt. Er umfasst 68 Erdős-Probleme, die zum Stand August 2026 offen waren. KI-Systeme müssen sie in der Beweissprache Lean beweisen oder widerlegen. Getestet wurden fünf Systeme, jeweils mit einem Budget von 300 Dollar pro Problem. GPT-6 Astra kam auf 3 Prozent, alle übrigen auf 0 Prozent.
Laut Chosun hat OpenAI am 6. Oktober 722 Manuskripte offengelegt. Sie enthalten Lösungen mathematischer Probleme, erarbeitet von einem unveröffentlichten internen Modell. Ein Peer Review gab es nicht. Für einige Beweise nutzte das Unternehmen Lean. Laut dem Bericht ersetzt ein formaler Check jedoch nicht die menschliche Prüfung, ob der Code mit den ursprünglichen Aussagen übereinstimmt.
Am 21. September hatte OpenAI die Zusammenarbeit mit der unabhängigen Advisory Group on Mathematics and Artificial Intelligence angekündigt. Das Gremium hat neun Mitglieder.
