عن هذه القناة
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
United States (Virginia), Russian-speaking academic diaspora
القنوات المذكورة
Итак, я дописал полезное https://lpetrov.cc/AI-math/ ...Прошел примерно год с тех пор, как я заинтересовался интеграцией AI в свои рабочие процессы (на несколько месяцев опередив хайп вокруг GPT-4).…
Oct 22, 202314.3K32227
Корни кубического уравнения и правильный треугольник https://mathstodon.xyz/@dmm/111471963171268781 Нули первой и второй производных отвечают касательным к вписанной окружности и центру треугольник…
Nov 25, 20236.5K143
المراجعات
لا توجد مراجعات بعد
كن أول من يشارك تجربته مع هذه القناة.
