Im Mai 2026 widerlegte OpenAI eine seit 1946 offene Vermutung in der Geometrischen Graphentheorie, die sogenannte Unit-Distance-Conjecture. Diese Leistung markierte einen Wendepunkt und löste eine Welle von KI-gestützten Fortschritten in der Mathematik aus, die zuvor jahrzehntelang ungelöste Probleme betrafen.
Nach diesem Durchbruch von OpenAI, der als bisher bedeutendstes Beispiel für KI in der Mathematik gilt, passten menschliche Forscher bereits eine Woche später die Kernbeweistechnik an, um eine weitere wichtige Vermutung zu widerlegen. Seitdem mehren sich die Meldungen über den Einsatz von KI in der Mathematik, wobei Modelle Gegenbeispiele finden, Muster erkennen und bei der Umwandlung von Argumenten in maschinell überprüfbare Beweise helfen.
Perspektiven: Produktivitätswerkzeug oder Bedrohung?
Die Reaktionen in der mathematischen Gemeinschaft sind geteilt. Der Fields-Medaillen-Gewinner Timothy Gowers, der bereits im Jahr 2000 ein „goldenes Zeitalter“ der Mathematik durch Computerunterstützung prognostizierte, äußert nun gemischte Gefühle. Er berichtet, dass das Modell GPT 5.6 Pro zwei Probleme, an denen er selbst lange gearbeitet hatte, auf Anhieb löste. Dies sei ein „sehr seltsames und nicht besonders angenehmes“ Gefühl gewesen, obwohl er froh über die Lösung der Probleme ist. Gowers befürchtet eine „mögliche Zerstörung der mathematischen Kultur“, wenn nicht mehr genügend Menschen das tiefe Fachwissen aufbauen, das zum Verständnis solcher Ergebnisse erforderlich ist.
Eine andere Sichtweise vertritt Abhishek Saha, Mathematikprofessor an der Queen Mary University of London. Er vergleicht aktuelle KI-Modelle mit einem „soliden und unermüdlichen Doktoranden“ und nutzte GPT-5.5 Pro, um Routinearbeiten, die Wochen gedauert hätten, an einem Tag zu erledigen. Saha sieht sich zunehmend in der Rolle eines Dirigenten und erwartet eine Spaltung des Fachgebiets: Einige würden sich schnell anpassen und neue Möglichkeiten entdecken, während andere KI bis zum Schluss skeptisch gegenüberstehen würden.
Der Mathematiker Trefor Bazett teilt die optimistische Haltung und sieht in der Kombination von KI und menschlichem Einfallsreichtum das Potenzial für ein neues goldenes Zeitalter der Mathematik. Er verweist auf eine Veröffentlichung der Carnegie Mellon University aus dem April 2026, die ein offenes Problem der Ramsey-Theorie durch die Kombination von SAT-Lösern, von Sprachmodellen generiertem Code und formaler Beweisprüfung löste.
Grenzen und ethische Überlegungen
Trotz der Fortschritte stößt KI in der Mathematik weiterhin an Grenzen. Laut Bazett ist die Leistung von KI in einigen Bereichen der Mathematik, wie der Graphentheorie, deutlich besser als in anderen. In den anspruchsvollsten Kategorien des „FrontierMath“-Benchmarks von Epoch AI, „Major Advance“ und „Breakthrough“, hat KI noch kein einziges Problem gelöst. Auch die sechs verbleibenden Millennium-Probleme des Clay Mathematics Institute, die jeweils mit einer Million Dollar dotiert sind, bleiben für KI unerreichbar.
Die Sorgen um die Zukunft des Fachgebiets spiegeln sich in der „Leiden Declaration on Artificial Intelligence and Mathematics“ wider, die von der International Mathematical Union unterstützt und von über 3.000 Mathematikern unterzeichnet wurde. Sie fordert Transparenz beim Einsatz von KI-Tools, den Schutz von Autorenrechten und die fortwährende menschliche Verantwortung für mathematische Ergebnisse. Timothy Gowers unterstützt die Erklärung, hat sie aber nicht unterzeichnet.
Terence Tao, ebenfalls Fields-Medaillen-Gewinner, verglich die aktuelle Phase in einem Vortrag 2026 mit der Grundlagenkrise des frühen 20. Jahrhunderts. Er glaubt, dass das Feld gezwungen sein wird, seine Werte und Arbeitsmethoden neu zu überdenken. Wenn KI einen Großteil der Forschungsaufgaben übernehmen kann, müssen sich Mathematiker nicht mehr nur auf das Lösen möglichst vieler offener Probleme konzentrieren, sondern auch auf das Prüfen, Erklären und die Integration von Beweisen in die Fachliteratur.
Thema: OpenAI. Quelle/Inspiration: The Decoder.