BlogNov 2026
The Stacks Project, formalized in Lean
NewsOct 2026
Scientific American: Mathematicians find an infinite number of Ramanujan equations
PublicationOct 2026
An Asymptotic Jensen–Pólya Criterion for GRH
PublicationOct 2026
The Unbalanced Group Theorem
BlogOct 2026
Formalizing the Enormous Theorem
PublicationOct 2026
Explicit Positive Lower Density for the Collatz Conjecture
PublicationOct 2026
Ternary Polynomial Relations and Periods of Cusp Forms
