{
  "id": 5778847,
  "title": "AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever",
  "url": "https://urgent.news/2026/09/05/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest",
  "topic": "ai",
  "section": "AI",
  "published": "2026-09-05T13:01:03.000Z",
  "source": {
    "name": "Decrypt",
    "slug": "decrypt",
    "url": "https://decrypt.co/377491/ai-solved-350-year-old-math-problem"
  },
  "original_language": "en",
  "account": null,
  "summary": "Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required",
  "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."
}