Number theory · Oct 6, 2026

Catalan constant irrationality

Proves that Catalan's constant G=∑j≥0(−1)j/(2j+1)2G=\sum_{j\ge0}(-1)^j/(2j+1)^2 is irrational.

Scope and what remains

The September disputed paper and the October manuscript are different proof identities; do not transfer validation or disputes without comparing arguments.

Contributors

OpenAI source publisher and an unnamed unreleased internal model. Exact paper-level human roles are not disclosed by the family summary.

AI systems: Unreleased OpenAI model

Sources