00:07
2026-09-08
nature.com
artificial-intelligence
Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days
Anthropic AI announced on 4 September that an advanced prototype of its Claude chatbot formalized a proof of Fermat's last theorem in 11 days, a project expected to take humans 10 years. The computer-…