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.
Audience
mathematicians, academic researchers, math students, PhD candidates
Content
mixed
Activity
regular posts combining research updates, teaching anecdotes, and technical experiments
Sentiment
mixed
Reviews
No reviews yet
Be the first to share your experience with this channel.