KI in der Mathematik: Krise oder neue Ära der Entdeckungen?

Die Landschaft der Grundlagenwissenschaft verschiebt sich unter unseren Füßen, insbesondere in der Mathematik, wo jüngste KI-Durchbrüche mehr tun, als nur Probleme zu lösen; sie provozieren eine 'existenzielle Krise' unter den menschlichen Köpfen, die einst die alleinige Herrschaft über das abstrakte Denken innehatten. Jahrzehntelang war KI in der Mathematik weitgehend auf rechnerische Unterstützung beschränkt, ein mächtiger Taschenrechner. Jetzt unterstützen unkommerziellen Modellen großer Akteure nicht nur, sondern generieren unabhängig Beweise für Rätsel, die die Menschheit seit Generationen vor Herausforderungen stellen, was uns zwingt, unsere Rolle bei der Suche nach Wissen neu zu bewerten.

Die letzten Monate waren nichts weniger als ein Wirbelwind, insbesondere für Mathematiker. In einer schwindelerregenden Reihe von Ankündigungen haben KI-Modelle einige der gewaltigsten Herausforderungen auf diesem Gebiet bewältigt. Insbesondere kündigte OpenAI am 8. September 2026 die Lösung eines der begehrten Millennium-Probleme an, die Navier-Stokes-Gleichung, die den Flüssigkeitsfluss beschreibt. Dieser Durchbruch, der noch bestätigt wird, soll mehrere zehn Millionen Dollar, 10.000 Agenten, die 88 Stunden lang arbeiteten, und 17 Stunden Überprüfung umfasst haben, wobei eine Lösung gefunden wurde, die ein 'explosives' Ergebnis für die Gleichung demonstriert sciencesetavenir.fr.

Dies war kein Einzelfall. Zuvor, am 20. Mai 2026, enthüllte OpenAI einen KI-generierten Gegenbeweis zur Erdős-Einheitsdistanz-Vermutung, ein Problem der kombinatorischen Geometrie, das Mathematiker seit 1946 in Atem hielt. Laut Experten bot die KI tatsächlich eine neuartige Idee, um dieses Gegenbeispiel zu finden sciencesetavenir.fr. Das Unternehmen setzte seine Erfolgsserie am 1. August 2026 fort und veröffentlichte „Zehn Fortschritte in Mathematik und theoretischer Informatik“, die sein Astra-Modell erzielt hatte, darunter den Gegenbeweis zur Connes-Rigiditätsvermutung openai.com. Auch Konkurrenten wie Anthropic ließen sich nicht lumpen und verkündeten am 19. Juli 2026, dass ihr Mathematiker Levent Alpöge ein Gegenbeispiel zur Jacobian-Vermutung (seit 1939 offen) entdeckt hatte, und demonstrierten später am 23. August 2026 die Existenz einer komplexen Struktur für die 6-dimensionale Sphäre sciencesetavenir.fr. Das schiere Ausmaß dieser Erfolge, einschließlich KI-Lösungen für mehr als 300 Probleme in verschiedenen Bereichen, wurde als ein