The starting point for reasoning.

BlogSep 2026

Cut to the Same Measure

PublicationSep 2026

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

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