The starting point for reasoning.

BlogSep 2026

The Purpose of the Object

PublicationSep 2026

Rogers–Ramanujan identities from the geometry of $X^a=Y^b$

PublicationSep 2026

On a Conjecture of Browning and Sawin on Random Hypersurfaces with Sign Coefficients

BlogSep 2026

Cut to the Same Measure

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

BlogJul 2026

The Address Before the Room