About
My work concerns sporadic simple groups, vertex operator algebras (VOAs), and structures related to Mathematical Physics. When helpful, I use computation to make arguments explicit and checkable.
Recent work with Martin Seysen gives a self-contained computation of the order of the Monster and the Baby Monster (preprint: arXiv:2508.01037).
Selected projects
- AI for Computational Topology: A proposal to apply deep reinforcement learning to a grand challenge in pure mathematics—the 4-dimensional smooth Poincaré Conjecture.
- The VOA/MTC Database: An open database of essential data for Vertex Operator Algebras and Modular Tensor Categories, serving the research community.
- AI Lecture Series: A three-part lecture series, "Playing Peg Solitaire with Mathematical AI," designed to bridge the gap between pure mathematics and modern AI for a general mathematical audience.
- Foundational Models for Mathematics: My long-term goal is to guide the creation of AI systems trained on the entirety of mathematical knowledge, capable of acting as advanced collaborators in research.