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

Alex Kontorovich: Improving math | 3b1b podcast #1

ICM 2026 Plenary Lecture - Alex Kontorovich

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

Alex Kontorovich (Rutgers University): The Case for Formalization in Research Mathematics

Math Talk! with Professor Alex Kontorovich

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