Tag: 13M lines

Beiträge mit dem Schlagwort „13M lines“

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

7. September 2026