Chief Scientist: Timothy Gowers, GOSIM 2026 Paris

Alexy Khrabrov speaks with Sir Timothy Gowers, Fields Medal-winning mathematician, professor at the Collège de France and the University of Cambridge, and a leading voice on automatic theorem proving. The conversation covers how mathematicians actually discover proofs, Lean, why formal textbook style can obscure understanding, the rise of Lean and auto-formalization, AI-assisted mathematics, and why mathematical understanding still matters in an age of increasingly capable AI systems.