qtasep 💛💙— Telegram Channel

Channel 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.