KB
Kevin Buzzard
Locating
Cross-referencing over 67 channels for appearances
Kevin Buzzard
Cross-referencing over 67 channels for appearances
Kevin Buzzard
Arcmira media summary
Browse Kevin Buzzard's interviews, podcast appearances & video clips — indexed from Latent Space, updated Jul 2025.
Professor in London using Lean to prove Fermat's Last Theorem.
Arcmira tracks where Kevin Buzzard appears across indexed YouTube videos, transcripts, channels, and related entities.
Arcmira uses indexed YouTube videos and transcripts. Representative source evidence on this page includes "⚡️Math Olympiad gold medalist explains OpenAI and Google DeepMind IMO Gold Performances" with transcript-derived context and links when available.
1
Mentions
4.0K
Views
The trendline is visible, but the dated evidence behind Kevin Buzzard is in the premium layer.
"Professor in London using Lean to prove Fermat's Last Theorem."