Lean

Claude formalisiert Fermats letzten Satz in Lean

Anthropic meldet den ersten vollständigen, maschinengeprüften Lean-Beweis. Claude arbeitete elf Tage; die Mathematik selbst ist nicht neu.