The starting point for reasoning.

BlogOct 2026

Formalizing the Enormous Theorem

PublicationOct 2026

The Unbalanced Group Theorem

PublicationOct 2026

Explicit Positive Lower Density for the Collatz Conjecture

PublicationOct 2026

Ternary Polynomial Relations and Periods of Cusp Forms

PublicationOct 2026

A Quasi-Riemann Hypothesis for Dedekind Zeta Functions

PublicationOct 2026

Local Factors in the BSD Conjecture: A Unified Statistical View

BlogOct 2026

Faster Is Not Nearer

PublicationSep 2026

Cutoff for the Adjacent Transposition Shuffle on a Cycle