1 Schlagzeile
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.
