Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan

Exa MCP search metadata: Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan. # Fermat's Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan Author: Devin Culbertson Published: Sep 05 2026, 9:39 AM EDT Published: 2026-09-05T09:39:45-04:00 Source: techtimes.com (techtimes.com) Language: en Anthropic published the first complete computer-checked formalization of Fermat's Last Theorem on September 4, 2026 — a task the mathematical community had expected to take years of coordinated human effort — after Claude wrote 13 million lines of Lean proof-assistant code in 11 days using a multi-agent platform that solved the fundamental pro... 来源：Exa MCP。Exa MCP public search metadata via the Agent Reach documented route; no cookies, login state, or full article body stored. Trafilatura public URL extraction; stored short extract only, no full article body, cookies, or headers.