Technologie

Fermats letzter Satz: KI liefert maschinell geprüften Beweis

1 Medien aus der Schweiz, Deutschland und Österreich berichten über dieses Thema — 1 Mitte. Zuletzt aktualisiert am 06.09.2026.

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

Schlagzeilen quer durchs Spektrum

«Fermats letzter Satz: KI liefert maschinell geprüften Beweis» — Heise Online (mitte)