KI löst Erdős-Rätsel: Mathematiker zwischen Jubel und Existenzangst
„Es fühlte sich sehr seltsam an und nicht besonders angenehm, so den Boden unter den Füßen weggezogen zu bekommen“, schreibt Gowers in seinem Blog. Seine größte Sorge gilt nicht der Technologie selbst, sondern einer möglichen Erosion mathematischer Kultur: Wenn niemand mehr jahrelang Expertise aufbaut, könnte laut Gowers eine Literatur entstehen, die niemand mehr wirklich versteht. Der Mathematikprofessor Abhishek Saha beschreibt gegenüber The Decoder eine pragmatischere Haltung: Er spiele zunehmend die Rolle des Dirigenten, statt gleichzeitig das ganze Orchester zu sein.
Zwischen Ramsey-Theorie und Millennium-Problemen bleibt die KI limitiert
Die Euphorie ist nicht grenzenlos. Laut The Decoder verzeichnet der Epoch-AI-Benchmark „FrontierMath: Open Problems“ bislang nur zwei gelöste Aufgaben, in den anspruchsvollsten Kategorien „Major Advance“ und „Breakthrough“ steht weiterhin keine einzige Lösung. Die sechs verbliebenen Millennium-Probleme des Clay Mathematics Institute bleiben ebenso unerreicht wie für Menschen, auch OpenAIs neues Astra-Modell konnte sie nicht knacken, obwohl der zuständige OpenAI-Forscher Noam Brown laut The Decoder glaubt, mehr Rechenleistung könnte das ändern.
Mathematiker Trefor Bazett verweist gegenüber The Decoder auf ungleich verteilte KI-Fähigkeiten: Graphentheorie sei besonders zugänglich für maschinelle Beweise, andere Teilgebiete blieben resistent. Forschende der Carnegie Mellon University lösten laut The Decoder im April 2026 ein offenes Problem aus der Ramsey-Theorie, indem sie SAT-Solver, KI-generierten Code und formale Beweisverifikation kombinierten. Mehr als 3.000 Forschende haben inzwischen die Leidener Erklärung unterzeichnet, die Transparenz beim KI-Einsatz und den Erhalt menschlicher Verantwortung für Ergebnisse fordert.
Business Punk Check
Fakt ist: Eine KI hat eine seit 1946 offene Vermutung widerlegt, dokumentiert und von Fachleuten wie Gowers bestätigt. Interpretation ist, ob dies bereits ein „goldenes Zeitalter“ der Mathematik einläutet, wie es Gowers selbst im Jahr 2000 vorhersagte und Carnegie-Mellon-Forschende nun für begonnen erklären.
