Science
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
Headline as filed by Nature News.
Compare coverage — 1 report
| Publisher | Headline | Summary | Published | Detected | Delay | Source | Status |
|---|---|---|---|---|---|---|---|
| Nature News | Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days |
Nature, Published online: 07 September 2026; doi:10.1038/d41586-026-02822-9Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics. |
0m | nature.com | First |
Headlines and summaries belong to the publisher named beside them. “Published” is what their feed stated; “detected” is when PageNews first held the report. Delay is measured from the earliest report on this event and describes timing only.
Reader comments
Comments are written by readers. PageNews does not check them and does not stand behind them, and a name here is a name someone typed, not a person we have identified.
Nobody has commented on this story yet.