Alexy interviews Sir Timothy Gowers on the Future of Math and AI
Interview recorded at Station F, Paris, at GOSIM AI on May 6, 2026. 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,