Anthropic says its Claude AI just wrote the longest math proof ever made, and used it to formally prove Fermat's Last Theorem, a problem that stumped mathematicians for 358 years. Claude did it in 11 days, mostly on its own, producing 13 million lines of code that a computer can check line by line, instead of just taking a mathematician's word for it.