Последние добавленные видео:
Alex-Kontorovich
-
9 дней назад
60 9 дней назад 22:46Профессор Алекс Конторович | Взаимодействие ИИ с исследовательской математикой и формализацией
-
2 месяца назад
3143 2 месяца назад 56:30Математическая беседа! с профессором Алексом Конторовичем!
-
6 месяцев назад
1279 6 месяцев назад 56:39Alex Kontorovich | The Shape of Math to Come
-
8 месяцев назад
108 8 месяцев назад 59:37Alex Kontorovich: Blueprints and PNT (June 23, 2025)
-
2 месяца назад
1720 2 месяца назад 28:33Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)
-
8 месяцев назад
2279 8 месяцев назад 1:16:38The case for practice and the power of Math Corps with Alex Kontorovich (Ep 52)
-
4 месяца назад
19 4 месяца назад 53:16Проф. Алекс Конторович | Приложения тонких орбит
-
5 месяцев назад
170 5 месяцев назад 1:14:29Professor Alex Kontorovich: An Introduction to Lean + AI for Research Mathematicians
-
9 месяцев назад
376 9 месяцев назад 1:01:24Prof. Alex Kontorovich | Rough Structure and Classification, Revisited