{
  "id": 7123582,
  "title": "Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out",
  "url": "https://urgent.news/2026/09/13/anthropic-formalizes-fermats-last-theorem-like-never-before-using",
  "topic": "ai",
  "section": "AI",
  "published": "2026-09-13T15:15:00.000Z",
  "source": {
    "name": "TechRadar",
    "slug": "techradar",
    "url": "https://www.techradar.com/pro/anthropic-formalizes-fermats-last-theorem-like-never-before-using-claude-but-it-still-took-11-days-to-write-out"
  },
  "original_language": "en",
  "account": "Anthropic has formally verified Fermat's Last Theorem using its AI system, Claude, in an unprecedented 11-day period. The theorem, initially proposed by Pierre de Fermat in 1637, was previously proven by Andrew Wiles in 1995. Claude translated the theorem's proof into 13 million lines of code written in Lean, a programming language for mathematicians. The AI system proved 30,300 separate theorems to reach the final version, using 29,500 of them. The resulting proof is five times larger than the community's main proof library. Kevin Buzzard, a mathematician, noted that the autoformalization verifies the theorem using only mathematical axioms. The achievement is Anthropic's second major math breakthrough, following a similar success with the Riemann zeta function. OpenAI is also working on similar AI-assisted math proofs.",
  "summary": "Anthropic says Claude formalized Andrew Wiles’ proof of Fermat’s Last Theorem in 11 days, producing 13 million lines of Lean code.",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 2,
    "also_reported_by": [
      {
        "outlet": "Tom's Hardware",
        "title": "Chinese military researchers and tech giants caught using Claude — US frontier model coded 16 air-defense suppression tools targeting Taiwan, drafted anti-torpedo specs, and fed 151 million training queries to Alibaba",
        "url": "https://urgent.news/2026/09/13/chinese-military-researchers-and-tech-giants-caught-using-claude-us",
        "published": "2026-09-13T12:00:00.000Z"
      }
    ]
  },
  "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."
}