Irrationality of Catalan's constant

Lineage and corrections

Lean proof: OAI.InternalCatalan.catalan_irrational (solution module) evidence for this event

Rivoal and Zudilin, Diophantine properties of numbers related to Catalan's constant (2003) evidence for this event

Zhi-Wei Sun, Catalan's constant is irrational, arXiv:2609.04176 (earlier claimed proof, 3 Sep 2026) evidence for this event

This event attributed to Unreleased internal OpenAI model

Lean comparator statement: Catalan.lean evidence for this event

Irrationality of Catalan's constant parent of this event

Lean scope note for family 005 evidence for this event

VibeMathed record: Irrationality of Catalan's constant evidence for this event

Theorem 1.1: $G$ is irrational. Under the hypothesis $G\in\mathbb Q$ the paper builds mixed determinants $\Delta_N$ of size $48N$ from moments of two kernels, whose $\zeta(2)$ terms cancel by Taylor contact of Chebyshev rows, so all $\Delta_N$ are rational; a finite certificate gives $\Delta_p\ne0$ for large primes $p$, prime-by-prime denominator bounds give $\liminf\mathcal L_p>-2.29084$, and a real-place integral estimate gives $\limsup\mathcal L_N<-2.2909$, a contradiction. Corollaries: $4G$, the minimal volume of a two-cusped orientable hyperbolic 3-manifold, and every arithmetic hyperbolic 3-orbifold volume over $\mathbb Q(i)$ are irrational. Not shown: an irrationality measure, transcendence, or anything about $\beta(4),\beta(6),\ldots$. An earlier preprint by Zhi-Wei Sun (arXiv:2609.04176, 3 September 2026) also claims irrationality; the manuscript says it uses nothing from it, so the first claimed proof may not be this one. parent of this event

Irrationality of Catalan's constant evidence for this event