Последние добавленные видео:
Alex-Kontorovich
-
1 месяц назад
3024 1 месяц назад 56:30Математическая беседа! с профессором Алексом Конторовичем!
-
3 дня назад
93 3 дня назад 22:46Профессор Алекс Конторович | Взаимодействие ИИ с исследовательской математикой и формализацией - ...
-
6 месяцев назад
1261 6 месяцев назад 56:39Alex Kontorovich | The Shape of Math to Come
-
5 месяцев назад
167 5 месяцев назад 1:14:29Professor Alex Kontorovich: An Introduction to Lean + AI for Research Mathematicians
-
8 месяцев назад
108 8 месяцев назад 59:37Alex Kontorovich: Blueprints and PNT (June 23, 2025)
-
2 месяца назад
1669 2 месяца назад 28:33Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)
-
3 года назад
2169967 3 года назад 13:19Крупнейший проект в современной математике
-
8 месяцев назад
409 8 месяцев назад 1:18:16Alex Kontorovich: First Analysis Lecture (June 16, 2025)