KI in der Mathematik: KI arbeitet für Menschen und an ihnen

Im Mai 2026 veröffentlichte OpenAI ein Gegenbeispiel zur „Unit Distance Conjecture“ und widerlegte damit eine Vermutung aus der geometrischen Graphentheorie, die seit 1946 offen war. Dies folgte auf andere KI-gestützte Lösungen langjähriger Probleme und markierte einen Wendepunkt. Mathematiker wie Abhishek Saha nutzen nun KI-Modelle für Routinearbeiten und beschreiben ihre Rolle eher als Dirigent denn als gesamtes Orchester. Einige, wie Trefor Bazett, sehen das Potenzial für ein neues goldenes Zeitalter und verweisen auf eine Arbeit von Carnegie Mellon, die ein Problem der Ramsey-Theorie mithilfe von SAT-Solvern, LLM-generiertem Code und formaler Beweisverifikation löste. Timothy Gowers, der diese Ära im Jahr 2000 vorhergesagt hatte, hat gemischte Gefühle, nachdem er erlebt hat, wie KI seine eigenen Forschungsprobleme löste. Er fürchtet die Zerstörung der mathematischen Kultur, wenn Menschen aufhören, Expertise aufzubauen. Die Leidener Erklärung zu KI und Mathematik, die von über 3000 Mathematikern unterzeichnet wurde, soll Leitlinien festlegen. Epoch AI berichtete über Fortschritte, merkte jedoch an, dass die schwierigsten Benchmark-Kategorien weiterhin ungelöst bleiben. Terence Tao vergleicht die Situation mit der Grundlagenkrise des frühen 20. Jahrhunderts und sieht darin eine Chance, die Mathematik zu stärken, während Kirwin Hampshires Essay „Die dunkle Nacht der Mathematik“ eine pessimistischere Sicht bietet und suggeriert, dass Trost Selbsttäuschung sei.