Kevin Buzzard

Professor of pure mathematics, Imperial College London

Appears in 1 story

Born: September 21, 1968

Education: Trinity College, The Royal Grammar School, High Wycombe, University of Cambridge

Last updated Nov 2, 2026

Stories

Claude formally verifies Fermat's Last Theorem in 11 days

New Capabilities

As of September 2026: Leads the competing human formalization project, now effectively overtaken

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