Topic

Andrew Wiles

Mentioned in 2 stories, most recently on Sunday, 6 September 2026. Newest first.

AI Research · 6 Sep 2026

Mathematicians evaluate Claude's 13-million-line proof of Fermat's Last Theorem

Over an intensive 11-day run, a multi-agent swarm generated a verified 13-million-line proof, solving a formal verification challenge once estimated to take years.

Frontier Mathematics · 5 Sep 2026

Anthropic’s Claude autonomously formalizes Fermat’s Last Theorem in Lean over 11-day campaign

Translating Sir Andrew Wiles's legendary 1995 proof into machine-verifiable code, Claude proved 29,500 intermediate theorems strictly using Lean's standard axioms.