Tag: machine-verified proof

Beiträge mit dem Schlagwort „machine-verified proof“

Claude formalisiert Fermats Letzten Satz in 11 Tagen — erster vollständiger maschinenverifizierter Beweis mit 13 Mio. Zeilen Lean

7. September 2026