06.09.2026 22:27 Uhr, Quelle: Heise

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.

Weiterlesen bei Heise