Science
Fermat’s last theorem formalised by AI agents in just 11 days
Headline as filed by New Scientist.
Compare coverage — 1 report
| Publisher | Headline | Summary | Published | Detected | Delay | Source | Status |
|---|---|---|---|---|---|---|---|
| New Scientist | Fermat’s last theorem formalised by AI agents in just 11 days |
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks |
0m | newscientist.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.