Briefother
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics. Fermat’s last theorem, one of the most celebrated mathematical results of the last half-century, has been turned into computer-verified code for the first time, using an advanced prototype of the artificial-intelligence (AI) chatbot Claude. AI cracks 80-year-old mathematics challenge — researchers are astonished [1].
ai
Sources
This is the neutral brief the press writes once, for everyone, before each reader’s paper adds its own so-what. It links out; it does not republish. 1 article clustered.