September 06, 2026 at 02:00AM: Heise Online schreibt zum Thema
Fermats Satz KI Beweis: Beweis formalisiert und überprüfbar:

Ein Beweis für Fermats letzten Satz wurde mit Hilfe von KI verifiziert.

• Der Beweis wurde in Lean formalisiert.

• Jeder Außenstehende kann überprüfen, ob der Beweis kompiliert.

• Der Beweiscode und der passende Lean Compiler sind notwendig.

• Kein Verständnis des Beweisinhalts ist erforderlich.

Zusammenfassung mit KI erstellt.