NewsAug 2026
OpenTCS: AxiomProver Formalizes the BGP246 Bounded Prime-Gap Theorem in Lean
PublicationAug 2026
Algebraic Geometric Framework of Rogers–Ramanujan Identities
PublicationAug 2026
Parity of the Partition Function in Quadratic Progressions
PublicationAug 2026
Modularity of point counts for the curves $X^a = Y^b$: new Rogers–Ramanujan identities
BlogJul 2026
The Address Before the Room
BlogJul 2026
The Same Ground
NewsJul 2026
First Commit: Why Math Might Be the Last Language AI Hasn't Conquered
