Claude Fable 5.2 organisiert 1.000 KI-Agenten, um den Großen Fermatschen Satz in 28,7 Stunden zu formalisieren
Am 9. November 2026 veröffentlichte Anthropic in seinem offiziellen Engineering-Blog ein Multi-Agenten-Experiment: 1000 Claude-Fable-5.2-Agenten arbeiteten zusammen und formalisierten den Großen Fermatschen Satz in 28,7 Stunden am Computer. Am Ende bestand der Beweis die Prüfung durch den offiziellen Lean-Kern. Das erste Formalisierungsexperiment, das zwei Monate zuvor stattfand, wurde von mehreren Dutzend Agenten durchgeführt und dauerte elf…