Ein Anthropic-Mitarbeiter namens Salim Alpoege nutzte ein KI-Sprachmodell, um eines der berühmtesten offenen Probleme der algebraischen Geometrie zu lösen. Das Ergebnis: Die sogenannte Jacobi-Vermutung ist falsch.
Das Besondere: Alpoege startete die Berechnung am 19. Juli 2026, während das argentinische Fußballteam in New York gegen Spanien um den WM-Pokal kämpfte. Die KI fand ein Gegenbeispiel, das zeigt, dass sich bestimmte mathematische Abbildungen nicht immer umkehren lassen.
"Das ist eine große Sache - es handelt sich um eine berühmte Frage der algebraischen Geometrie, über die sich viele Menschen Gedanken gemacht hatten", heißt es auf spektrum.de.
Der Mathematiker Akhil Mathew von der University of Chicago hatte Alpoege auf das Problem aufmerksam gemacht und vorgeschlagen, dass KI-Modelle bei einer Lösung helfen könnten. Jahrzehntelang hatten Fachleute vergeblich versucht, die Vermutung zu beweisen.
Fields-Medaillist Jacob Tsimerman von der University of Toronto zeigte sich beeindruckt: "Künstliche Intelligenz ist ausgezeichnet, um Gegenbeispiele zu finden. Ich selbst hätte niemals die Geduld, etliche mögliche Gegenbeispiele durchzuspielen."
