Math Talk! with Professor Alex Kontorovich

Alex Kontorovich: Improving math | 3b1b podcast #1

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

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

Prof. Alex Kontorovich | Interactions of AI with research math and formalization

The Riemann Hypothesis, Explained

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