About this channel
9/10Channel run by University of Virginia mathematics professor Leonid Petrov focusing on algebraic combinatorics, Schubert polynomials, and random tiling models. Mixes high-level mathematical research (including AI-assisted proofs and formal verification in Lean) with commentary on US academic politics, teaching experiences, and university life. Features original interactive visualizations (lozenge tilings, domino shufflings), discussions of proof assistants, and reflections on the intersection of AI and mathematics. Content balances technical mathematical posts with humor, political observations regarding academia, and practical tools for researchers.
mathematicians, academic researchers, math students, PhD candidates
mixed
regular posts combining research updates, teaching anecdotes, and technical experiments
mixed
Subscriber Growth
Mentioned Channels
Posts per Week
Итак, я дописал полезное https://lpetrov.cc/AI-math/ ...Прошел примерно год с тех пор, как я заинтересовался интеграцией AI в свои рабочие процессы (на несколько месяцев опередив хайп вокруг GPT-4).…
Корни кубического уравнения и правильный треугольник https://mathstodon.xyz/@dmm/111471963171268781 Нули первой и второй производных отвечают касательным к вписанной окружности и центру треугольник…
https://scienceos.ai/ Можно позадавать научные вопросы в чатГПТ-стиле, а оно отвечает со ссылками на реальные публикации. Можно даже обнаружить что-то новое в своей области, занятно (требует регистр…
Plane partitions in the work of Richard Stanley and his school C. Krattenthaler These notes provide a survey of the theory of plane partitions, seen through the glasses of the work of Richard Stanl…
Что такое замощения ромбиками, и как их семплить: https://youtu.be/c6J_bd9seMg Всего 7.5 минут, очень доступно, с красивыми картинками (в том числе моими)
Reviews
No reviews yet
Be the first to share your experience with this channel.
Rankings
channels / RU| Day | Week | Month | Year | All time | |
|---|---|---|---|---|---|
| Subscribers | — | — | — | — | #54577of 59.8K |
| Mentions | — | — | — | — | #13852of 27.4K |