Fermats letzter Satz: KI liefert maschinell geprüften Beweis

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