Anthropic: Claude schrieb in 11 Tagen einen Lean-Beweis für den Großen Fermatschen Satz
Laut Anthropic hat Claude weitgehend autonom einen vollständigen formalen Beweis des Großen Fermatschen Satzes in Lean geschrieben. Der Beweis ist auf GitHub öffentlich einsehbar.
Anthropic↗