{
  "id": 6165501,
  "title": "Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days",
  "url": "https://urgent.news/2026/09/07/anthropic-ai-formalizes-proof-of-fermats-last-theorem-in-just-11-days",
  "topic": "ai",
  "section": "AI",
  "published": "2026-09-07T00:00:00.000Z",
  "source": {
    "name": "Nature",
    "slug": "nature",
    "url": "https://www.nature.com/articles/d41586-026-02822-9"
  },
  "original_language": "en",
  "account": "Anthropic AI has formally verified a proof of Fermat's Last Theorem in just 11 days, using an advanced prototype of its artificial-intelligence chatbot Claude. The AI's achievement has astonished researchers, who are amazed at the rapid progress of AI's mathematical capabilities. Claude's feat is particularly impressive, as it completed a project that would have taken humans around 10 years to finish. This breakthrough suggests that AI could play a significant role in checking the work of mathematicians and even in producing new mathematical reasoning. As AI's mathematical skills continue to improve, it may soon be able to scrutinize the entire library of mathematical knowledge, potentially finding errors in well-known results. Kevin Buzzard, a mathematician at Imperial College London, describes the AI's formalization of proofs as a whole new level of complexity compared to previous milestones, such as its certification of Maryna Viazovska's work on sphere packing.",
  "summary": "Nature, Published online: 07 September 2026; doi:10.1038/d41586-026-02822-9 Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}