It is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much of Claude ("names each step and the Lean Theorem that carries it").

Lisan al Gaib@scaling01Sep 4

Anthropic just uploaded a Lean 4 proof for Fermat's last Theorem https://t.co/bBMAhTeMkA https://t.co/WKfLsQnqo0