{
  "api_version": "1",
  "updated": "2026-11-10",
  "latest_event": "2026-11-09",
  "rights": "© Frontier Log, all rights reserved.",
  "event": {
    "slug": "2026-09-04-claude-formalizes-fermats-last-theorem",
    "date": "2026-09-04",
    "provider": "anthropic",
    "importance": "minor",
    "title": "Anthropic's Claude formalizes Fermat's Last Theorem",
    "headline": "Anthropic's Claude formalizes Fermat's Last Theorem",
    "detail": "Working largely autonomously for 11 days, Claude wrote the first complete computer-checked proof, in Lean.",
    "tags": [
      "math"
    ],
    "related": [],
    "source": "https://www.anthropic.com/research/formalizing-fermats-last-theorem",
    "models": [],
    "source_title": "Formalizing Fermat's Last Theorem",
    "source_archived": null,
    "source_http_status": null,
    "source_quote": "In 11 days, working largely autonomously, Claude produced the first end-to-end, computer-checked proof of FLT.",
    "followups": [],
    "successor": null,
    "predecessors": [],
    "revealed_as": null,
    "stealth_previews": [],
    "reveal_source": null,
    "url": "https://frontierlog.ai/event/2026-09-04-claude-formalizes-fermats-last-theorem",
    "image": "https://frontierlog.ai/og/2026-09-04-claude-formalizes-fermats-last-theorem.png",
    "stories": []
  }
}