13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz

Anthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.