Number theory·OpenAI Math·Result 005·Lean formalisation listed
Irrationality of Catalan’s constant
One of the 372 results in OpenAI's public mathematics catalogue, filed under number theory: 1 preprint, the latest dated 24 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
What OpenAI claims
Proves that Catalan's constant G=∑j ≥ 0(-1)j/(2j+1)2 is irrational. (Lean)
Paper
Catalan's constant is irrational
We prove that Catalan's constant G=∑j ≥ 0(-1)j/(2j+1)2 is irrational.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
The video
Catalan's Constant: Reported Irrationality Proof · Short · 0:12 · description, sources and transcript →
Related results in Number theory
- 006Goldfeld’s conjecture: densities and mean analytic rankVideo
- 007Ordinary two-point correlations and the corrected Elliott conjectureLean
- 008The Deligne–Drinfeld conjectureLean
- 009Function-field reconstruction from Milnor K-theory and Galois dataLean
- 010Unrestricted pro-modularity at the prime two
- 011Prime-factor statistics of p-1Video
