Claude Works Autonomously For 11 Days To Generate First Computer-Checked Proof Of Fermat’s Last Theorem
AI continues to make rapid advances in science and math. Anthropic says its AI model Claude has produced the first complete, computer-verified proof…








