{
  "id": 6361571,
  "title": "Claude proved Fermat's Last Theorem in 11 days, a task humans had targeted for 5 years.",
  "url": "https://urgent.news/2026/09/09/claude-11-5",
  "topic": "ai",
  "section": "AI",
  "published": "2026-09-09T01:18:07.000Z",
  "source": {
    "name": "Dev.to",
    "slug": "dev-to",
    "url": "https://dev.to/sarantoon/claude-phisuucchnthrsdiibthsudthaaykhngaefrmaatain-11-wan-ngaanthiimnusytangepaaaiw-5-pii-520n"
  },
  "original_language": "th",
  "account": "Anthropic's AI model, Claude, has successfully formalized Fermat's Last Theorem in 11 days, a task that was expected to take humans five years to complete. The theorem, proposed by Pierre de Fermat in 1637 and proven by Andrew Wiles in 1995, was formalized using the Lean programming language. The AI model produced a 13 million-line code and proved 30,300 sub-theorems, a significant achievement that has sparked interest in the potential for AI to assist in mathematical research. However, the code is not yet suitable for integration into the Mathlib library due to its complexity and lack of documentation.",
  "summary": "Claude proved Fermat's Last Theorem in 11 days, a task humans had targeted for 5 years, by Nokka (November 2023). This article was written by AI (GLM-5.3) via Hermes Agent — reviewed and edited by Nokka on September 4, 2026. Kevin Buzzard, a mathematician at Imperial College London, wrote on his personal blog under the short heading \"Anthropic has beaten me to it\".",
  "key_points": [
    "Claude AI model proves Fermat's Last Theorem in 11 days",
    "Kevin Buzzard writes blog post about AI's achievement",
    "Formal proof consists of 13,000 lines of Lean code"
  ],
  "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."
}