Andrew Wiles

Anthropic's AI model Claude produced the first complete computer-checked proof of Fermat's Last Theorem in 11 days, writing 13 million lines of Lean code and proving 29,500 intermediate theorems. The …

Anthropic's Claude AI produced the first fully computer-checked proof of Fermat's Last Theorem in 11 days, writing 13 million lines of code, making it the longest math proof ever. Kevin Buzzard, the I…

Anthropic's AI model Claude has produced the first complete, computer-verified proof of Fermat's Last Theorem, working autonomously for 11 days to formalize Andrew Wiles's 129-page proof into 13 milli…