Anthropic uploaded a Lean 4 proof of Fermat’s Last Theorem, a user says
Another user said the brief proof description “smells so much of Claude,” highlighting the phrase “names each step and the Lean Theorem that carries it.”
TLDR
On September 4, a user shared a GitHub link and said Anthropic had uploaded a Lean 4 proof of Fermat’s Last Theorem. A user quoting that announcement focused on the description’s writing style, saying that even its short wording sounded like Claude.
Combined views
129.8K
3 Sources, first seen ago