“Full release: Anthropic announces that Claude has completed the end-to-end formalization of Fermat’s Last Theorem”
Anthropic company announced that its Claude model has completed the end-to-end formalization of Fermat’s Last Theorem. This achievement marks a major breakthrough in artificial intelligence in the field of mathematics, achieving a fully automated process from problem understanding to final proof. The technical details and specific implementation methods have not been disclosed yet.