KI löst angeblich Millennium-Preis-Problem

Ein KI-System soll ein großes, bislang ungelöstes Mathematikproblem gelöst haben. IEEE Spectrum beschreibt die Leistung als Lösung eines der berühmten Millennium-Preis-Probleme. Wenn sich die Behauptung bestätigt, wäre das ein Wendepunkt – für die künstliche Intelligenz und für die Mathematik selbst. Und es würde die Annahme infrage stellen, welche Art intellektueller Arbeit dem Menschen vorbehalten bleibt. Die Millennium-Preis-Probleme gehören zu den schwierigsten offenen Fragen der Mathematik. Wer eines löst, bekommt normalerweise nicht nur Ruhm, sondern auch jede Menge kritische Prüfung und einen langen Verifikationsprozess. Der gemeldete KI-Durchbruch löst deshalb gleichermaßen Begeisterung und Unbehagen aus. Forschende sind elektrisiert, weil er nahelegt, dass KI mehr kann als Mustererkennung oder Rechenhilfe – womöglich ist sie zu formalem Schlussfolgern auf höchstem Niveau fähig. Gleichzeitig fragen sich Mathematikerinnen und Mathematiker, wie die Lösung gefunden wurde, ob sie korrekt ist und was sie für das Fach bedeutet. Die Überprüfung wird entscheidend sein. Mathematische Beweise werden nicht allein deshalb akzeptiert, weil ein leistungsfähiges System sie produziert. Sie müssen von Fachleuten geprüft, in formale Logik übersetzt oder gegen bekannte Ergebnisse getestet werden. Ist die Argumentation der KI undurchsichtig, braucht die Mathematik-Community womöglich neue Werkzeuge und Standards, um sie zu bewerten. Auch die Frage der Urheberschaft ist heikel: Wem gehört die Leistung – den Entwicklern der KI, den Forschenden, die das Modell trainiert haben, den Mathematikerinnen und Mathematikern, auf deren Arbeit sie aufbaut, oder dem System selbst? Der Durchbruch berührt außerdem eine tiefere Frage: Was heißt es, Mathematik zu verstehen? Für manche zählt am Ende nur, ob der Beweis korrekt ist – egal, ob die Maschine ihn im menschlichen Sinne begreift. Andere halten Intuition, Erklärung und konzeptionelle Einsicht für zentral. Eine Antwort ohne diese Elemente sei unvollständig. Vorerst muss die Behauptung sorgfältig geprüft werden. Bestätigt sie sich, könnte sie die Forschung beschleunigen und verändern, wie Mathematiker arbeiten. Und sie könnte das Fach dazu zwingen, das Verhältnis von menschlicher Kreativität und maschineller Intelligenz neu zu denken.