06:00Forschung🌍Global
Anthropic formalisiert Fermats letzten Satz mit Claude in Lean
Das KI-Modell erzeugte laut Anthropic in elf Tagen einen vollständigen, computergeprüften Beweis des berühmten mathematischen Satzes. Der Fortschritt liegt nicht in einer neuen Lösung, sondern in der präzisen Formalisierung eines bestehenden Beweises.