/claude-fermats-last-theorem-lean-proof/ Claude Just Produced the First Computer-Checked Proof of Fermat's Last Theorem Sep 6