Alex Kontorovich: Improving math | 3b1b podcast #1
Math Talk! with Professor Alex Kontorovich
Alex Kontorovich | The Shape of Math to Come
Alex Kontorovich | Circle Packings and Their Hidden Treasures | The Cartesian Cafe with Tim Nguyen
Archimedean Theory - Alex Kontorovich
Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)
Alex Kontorovich: Blueprints and PNT (June 23, 2025)
Professor Alex Kontorovich: An Introduction to Lean + AI for Research Mathematicians
Alex Kontorovich - Numbers and Fractals [2017]
The case for practice and the power of Math Corps with Alex Kontorovich (Ep 52)
Alex Kontorovich - A Circle of Ideas: How the Round Sphere Crisscrosses Mathematics (Jan 22, 2021)
The Biggest Project in Modern Mathematics
Lecture 1, Introduction to Formal Real Analysis, Rutgers University, Prof. Kontorovich, 09/02/2025
Prof. Alex Kontorovich | Applications of Thin Orbits
The Riemann Hypothesis, Explained
Prof. Alex Kontorovich | Rough Structure and Classification, Revisited
The Simplest Math Problem No One Can Solve - Collatz Conjecture
Geometry and arithmetic of sphere packings - Alex Kontorovich
Veritasium and fern
Alex Kontorovich: First Analysis Lecture (June 16, 2025)