Andrew Wiles

Mathematician, proved Fermat's Last Theorem in 1995

Appears in 1 story

Born: April 11, 1953, Cambridge

Education: Clare College, Merton College, University of Cambridge

Last updated Nov 1, 2026

Stories

Claude formally verifies Fermat's Last Theorem in 11 days

New Capabilities

As of September 2026: Author of the proof Claude formalized

Fermat's Last Theorem waited 358 years for a proof. Andrew Wiles supplied one in 1995. In August 2026, Anthropic's Claude AI produced a computer-verified version of that proof in 11 days, writing 13 million lines of Lean code and proving 29,500 intermediate theorems along the way.

Updated Sep 7