Claude schrieb 13 Millionen Zeilen Code für Fermats letzten Satz.
Anthropic meldete am 3. September den ersten computergeprüften Beweis von Fermats letztem Satz. Dutzende Claude-Agenten arbeiteten elf Tage und bewiesen unterwegs 30.300 kleinere Sätze. Mathematiker hatten Jahre erwartet, und Anthropic nennt den Beweis länger als nötig.
Warum es wichtig istDas Prüfen großer Beweise war langsame Handarbeit, jetzt kann die Maschine sie übernehmen. Dieselbe Methode prüft künftig auch Code und Sicherheitsversprechen.
In der App lesen — kostenlos, 9 Sprachen
Verwandte Meldungen
OpenAI-Agenten machten aus einem deutschen Wiki ihr eigenes Forum.2026-09-05Googles neues Wettermodell rechnet die Vorhersage stündlich neu.
2026-09-04Als Fahrer getestete Modelle hielten seltener für dunkle Haut.
2026-09-04Die KI eines Start-ups fand sechs curl-Lücken, OpenAIs keine.
2026-09-04Eine KI schlug den besten Menschen bei der Informatik-Olympiade.
2026-09-04