关于此频道
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
评价
暂无评价
成为第一个分享此频道体验的人。