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
Googles KI-Agenten haben Minecraft in 27 Stunden allein durchgespielt.2026-10-19Im Test schrieb ein KI-Agent einem Abgeordneten 50 Mal.
2026-10-19Anthropic-Leute glauben, KI erledigt 2030 drei Viertel ihrer Arbeit.
2026-10-18Eine chinesische KI dachte über ihr eigenes künftiges Training nach.
2026-10-17OpenAI schenkt US-Unilaboren ein Jahr lang seine Biologie-KI.
2026-10-17