KI hat ein 350 Jahre altes Mathe‑Problem gelöst, indem sie den längsten Beweis aller Zeiten schrieb

Zusammenfassung in 60 Wörtern

Anthropics KI Claude verbringt elf Tage damit, einen 13‑Millionen‑Zeilen‑Beweis für den Fermatschen Letzten Satz zu erzeugen, den längsten jemals computer‑verifizierten Beweis. Das System schreibt Code, der sich selbst prüft, ohne menschliche Aufsicht, und demonstriert autonome mathematische Argumentation. Dieser Durchbruch zeigt das Potenzial von KI, komplexe, ungelöste Probleme anzugehen, was wahrscheinlich die Forschungspipelines beschleunigt und verstärkte Investitionen in KI‑gestützte wissenschaftliche Entdeckungen anzieht.