13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem Satz
by from heise online News on (#7875V)
Anthropic hat nach eigenen Angaben erstmals eine vollstandig computerverifizierte Fassung von Fermats letztem Satz vorgelegt - erstellt von Claude-Agenten.