Anthropic's Claude Reportedly Formalizes Fermat's Last Theorem Proof in 11 Days

Fermat's Last Theorem, first noted in a book margin in 1637 with a claim that the proof wouldn't fit, wasn't solved until 1994, and even that proof was so complex that few could fully verify it. According to the post, Anthropic's Claude has now rewritten the entire proof into 13 million lines of code that a computer can verify on its own, reportedly completing the task in under two weeks.
The full proof is said to now be public, allowing anyone to check it line by line.