The starting point for reasoning.

BlogOct 2026

Faster Is Not Nearer

PublicationOct 2026

Local Factors in the BSD Conjecture: A Unified Statistical View

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