A famous constant may finally leave mathematical limbo
- What it is
- The paper claims a proof that Catalan's constant cannot be expressed as a ratio of whole numbers.
- Who did it
- Zhi-Wei Sun
- What it could mean
- We can compute this number to astonishing precision and still not know whether it is a fraction. This claim would finally answer that basic question—and might unlock methods for other mysterious constants.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Catalan's constant is irrational ↗See the proposed checks
In a separate ephemeral sandbox, source-lock the TeX bundle; translate the stated weighted constructions into independently derived exact rational linear forms in (1) and (G); verify integrality/denominator bounds and the required asymptotic decay; then obtain specialist number-theory review of the limiting irrationality criterion.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The manuscript claims that Catalan's constant (G=sumkgeq0(-1)^k/(2k+1)²) is irrational, presenting this as a proof via suitable weights. Irrationality of (G) is a long-standing open problem, so the first primary v1 merits prompt, explicitly non-validating intake.
- Why this could matter
- A famous constant may finally leave mathematical limbo Mathematicians can calculate Catalan's constant to enormous precision but still do not know whether it is a ratio of whole numbers. Settling that basic identity question could reveal new ways to prove that familiar constants are fundamentally non-fractional.
- If it holds up
- Foundational: it closes a famous open problem and may supply reusable techniques for proving other constants irrational; it does not imply an immediate new device or speedup.
- If it does not
- The failure identifies where a promising weighted-series argument loses the arithmetic or asymptotic control needed to prove irrationality.
- Impact horizon
- Foundational · Number theory · Mathematical constants · Proof verification
- Version
- submitted 2026-09-03 17:55:12 UTC
- Why we tracked it
- a fresh claimed resolution of a long-standing number-theory question, with a precise primary source and a plausible proof-review route but no linked formalization, codebase, or certificate artifact; no docket created.
- Highest-risk dependency
- The decisive risk is whether the proposed weights simultaneously establish nonzero integer (or controlled-denominator) linear forms and decay strong enough to force irrationality. A formal manipulation of the displayed series alone would not establish the required arithmetic and asymptotic bounds.
- Available artifacts
- arXiv supplies PDF, experimental HTML, and TeX source. No source-linked formal proof, executable code, data, or certificate repository was found on the primary record. No manuscript artifact was downloaded or run.
- Current boundary
- Intake record only; examination not started.