KI Knackt 350 Jahre Altes Matheproblem mit dem Längsten Beweis Aller Zeiten

Eine künstliche Intelligenz hat in 11 Tagen geschafft, was Mathematiker in Jahren nicht vollenden konnten. Anthropic (ein Unternehmen, das KI-Systeme entwickelt) sagt, dass seine KI, genannt Claude, den längsten mathematischen Beweis aller Zeiten erstellt hat — und ihn nutzte, um endlich ein Rätsel zu lösen, das Experten 358 Jahre lang verblüffte. Das Rätsel heißt Letzter Satz von Fermat. Im Jahr 1637 kritzelte ein Mathematiker namens Pierre de Fermat eine Behauptung in den Rand eines Buches und sagte, er habe einen "wunderbaren Beweis", aber keinen Platz, um ihn aufzuschreiben. Dann starb er und ließ Mathematiker Jahrhunderte damit verbringen, es herauszufinden. Ein echter Beweis kam schließlich 1995 von Andrew Wiles — aber er umfasste 129 Seiten und hatte sogar einen Fehler, den er fast ein Jahr brauchte, um zu korrigieren. Der Punkt ist: zu überprüfen, ob ein Beweis wirklich korrekt ist, ist unglaublich schwierig und kann Jahre dauern. Hier kommt Claude ins Spiel. Es "formalisierte" den Beweis — das bedeutet, es schrieb die Mathematik in einer super-präzisen Computersprache (genannt Lean) um, sodass ein Computer jeden einzelnen Schritt automatisch überprüfen kann, ohne Raum für menschliche Fehler zu lassen. Die Zahlen sind beeindruckend: - 11 Tage zur Fertigstellung der Aufgabe - 13 Millionen Zeilen Code — fünfmal größer als die geteilte Bibliothek, die Mathematiker normalerweise verwenden - Über 30.000 kleinere unterstützende Beweise auf dem Weg gelöst - Entspricht ungefähr 160 Romanen reiner logischer Argumentation Dutzende von Claude "Agenten" (separate KI-Helfer) arbeiteten gleichzeitig, mit kaum menschlicher Beteiligung. In der Zwischenzeit versucht ein Team von menschlichen Mathematikern am Imperial College London seit 2024 dieselbe Aufgabe — und ist noch lange nicht fertig. Ihr Projekt wird bis 2029 finanziert. Das Beste daran: Kevin Buzzard, der Mathematiker, der dieses menschliche Projekt leitet, hat Claudes Arbeit überprüft und bestätigt, dass sie standhält. Warum ist das wichtig? Es zeigt, dass KI jetzt einige der schwierigsten Denkarbeiten bewältigen kann, denen Menschen gegenüberstehen — nicht nur Gespräche, sondern rigorose, überprüfbare Logik. Das könnte die Art und Weise verändern, wie Wissenschaft und Mathematik gemacht werden. Dies ist eine von KI generierte Zusammenfassung. Lesen Sie den Originalartikel unter: https://decrypt.co/377491/ai-solved-350-year-old-math-problem