arXiv:2605.06651: Google DeepMind stellt KI-Co-Mathematiker mit 48 % auf FrontierMath Tier 4 vor

Ein Forscherteam von Google DeepMind veröffentlichte am 7. Mai 2026 auf arXiv einen Artikel mit dem Titel „AI Co-Mathematician: Accelerating Mathematicians with Agentic AI”. Das System ist eine interaktive Arbeitsumgebung, in der KI-Agenten mit Mathematikern an offenen Forschungsproblemen zusammenarbeiten — kein autonomer Theorembeweiser.

Was ist der KI-Co-Mathematiker?

Das System funktioniert als interaktive Forschungsumgebung, die zur offenen mathematischen Untersuchung entwickelt wurde. Es deckt fünf primäre Arbeitsdimensionen ab: Ideenfindung (konzeptuelle Entwicklung), Literatursuche, rechnerische Exploration, Theorembeweise und Theorieaufbau. Die Autoren beschreiben das Design als „ganzheitliche Unterstützung der explorativen und iterativen Realität mathematischer Workflows”, wobei das Kollaborationsmodell „menschliche Kooperationsprozesse widerspiegelt” — der Schwerpunkt liegt auf Partnerschaft, nicht auf Automatisierung.

Wie funktioniert die Arbeitsumgebung technisch?

Die Umgebung ist asynchron und zustandsbehaftet: Der Agent kann im Hintergrund an Hypothesen arbeiten, während der Forscher etwas anderes tut, und der Kontext bleibt sitzungsübergreifend erhalten. Das System führt vier operative Funktionen aus: Unsicherheitsmanagement, Verfeinerung der Nutzerabsicht, Verfolgung fehlgeschlagener Hypothesen, damit dieselben Versuche nicht wiederholt werden, sowie die Generierung mathematischer Artefakte in Standardformaten (LaTeX, Lean-Beweise, Rechennotebooks).

Was bedeuten 48 % auf FrontierMath Tier 4?

FrontierMath ist ein Benchmark geschlossener, unveröffentlichter Probleme, die von Mathematikern mit Doktorgrad konstruiert wurden; Tier 4 ist die schwierigste Stufe und erfordert Forschungsmathematik, nicht nur Olympiademathematik. Ein Ergebnis von 48 % stellt einen neuen Rekord unter allen bisher evaluierten KI-Systemen dar — ein deutlicher Sprung gegenüber früher veröffentlichten Ergebnissen, die erheblich niedriger lagen. Die Autoren vermerken, dass frühe Tests mit ausgewählten Mathematikern bereits dazu beigetragen haben, offene Probleme zu lösen, was darauf hindeutet, dass die Benchmark-Zahl einem echten Nutzen in der Forschung entspricht.

Was ändert sich für die mathematische Gemeinschaft?

Der Artikel positioniert KI nicht als Ersatz für den Forscher, sondern als Partner, der den Forschungszyklus beschleunigt. Die Verfolgung fehlgeschlagener Hypothesen und die Asynchronität bedeuten, dass ein Mathematiker die Exploration delegieren und zu den Ergebnissen zurückkehren kann — ein Muster ähnlich dem Einsatz agentischer Entwicklungswerkzeuge in der Software. Die offene Frage, die der Artikel nicht adressiert, ist, ob das System öffentlich verfügbar gemacht wird oder ein internes Google-Forschungswerkzeug bleibt. Zu den 18 Autoren gehören Daniel Zheng, Ingrid von Glehn, Yori Zwols, Pushmeet Kohli und Fernanda Viegas.