‹ Today
Concise.
 New Scientist article provenance

AI agents formalised Fermat’s last theorem in 11 days.

They publishedFermat’s last theorem formalised by AI agents in just 11 days
Who / What / Where / When
Who
New Scientist — 🇬🇧 United Kingdom
credibility ●●●●○ 4/5 curated · lean center
What
  • Anthropic created a formalised proof of Fermat's last theorem using AI agents.
  • The project completed in 11 days, confirming the human-found 1990s proof.
  • The formal proof comprises 13 million Lean lines and 29,500 intermediate theorems.
  • Buzzard noted the work proceeds from axioms and aims at robust AI formalisation.
  • The effort used Prove2Me to track tasks and improve collaboration among agents.
Where
🇬🇧 United Kingdom (outlet HQ)
topics: Science, AI · language: eng
When
published 5 Sept, 11:05Z
ingested 5 Sept, 12:08Z
Rewrite
original kept above, struck through · model ?
Retrieved
https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/
Read the original ↗ Data (JSON)
Everything above is the full audit trail for this article: source, country, timestamps, the original headline, and the model that rewrote it. Nothing is hidden.