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