ICM 2026 Plenary Lecture - Alex Kontorovich

“I’m richer than Elon Musk.” - Distinguished math professor Alex Kontorovich

Alex Kontorovich: Improving math | 3b1b podcast #1

Lecture 5, Calculus 1, Rutgers Math 151, Prof. Kontorovich, 09/20/2022

Alex Kontorovich and Scott Armstrong Discuss Autoformalization of Math Proofs in Lean

Lecture 1, Rutgers Math 356 Number Theory Prof. Kontorovich, 1/21/2020

Lecture 1, Introduction to Formal Real Analysis, Rutgers University, Prof. Kontorovich, 09/02/2025