The Number Mathematicians Cannot Classify

Catalan's constant — written G — is one of mathematics' most famous unsolved mysteries hiding in plain sight. Its value begins 0.9159655941772190..., and we can compute it to hundreds of billions of digits. Yet for nearly 200 years, mathematics has not been able to answer the simplest possible question about it: is G rational, or irrational? This video walks through the series that defines Catalan's constant (Σ (-1)ⁿ/(2n+1)²), the integral representations where it appears, the comparison to Apéry's 1978 proof of the irrationality of ζ(3), and the modern partial results — Rivoal-Zudilin (2014) and Adamczewski-Bugeaud (2015) — that have nibbled at the edges of the problem without breaking it. The deeper story: irrationality proofs are ad-hoc miracles, built around specific combinatorial structures each number happens to expose. Pi has its continued-fraction tangent. e has its orthogonal-polynomial integrals. ζ(3) has Apéry's accelerated series. Catalan's constant has — so far — none of these. 00:00 — A number mathematicians cannot classify 01:08 — The series Σ (-1)ⁿ/(2n+1)² and its convergence 02:50 — Where Catalan's constant shows up (integrals, β(2), lattice models) 04:15 — Is G rational? The question we cannot answer 05:55 — Apéry's theorem for ζ(3) and why it fails for G 07:35 — What we DO know: Rivoal-Zudilin, Adamczewski-Bugeaud, digit records 08:50 — Why irrationality proofs are ad-hoc miracles 10:25 — Why it matters: γ, Brun, π·e, π+e — all open If you liked this, watch: • The Mertens Conjecture — a million-dollar guess proven false without a counterexample • Skewes' Number — when π(x) finally overtakes Li(x) • Chebyshev's Bias — primes preferring 3 mod 4 #mathematics #numbertheory #catalansconstant #irrationality #ζ3