Catalan's constant is irrational
We prove that Catalan's constant G=\sum_{j\geq0}(-1)^j/(2j+1)^2 is irrational.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Irrationality of Catalan’s constant
OpenAI research collection · 1 manuscript · Source checked 2026-10-19
OpenAI's result summary
Proves that Catalan's constant G=\sum_{j\ge0}(-1)^j/(2j+1)^2 is irrational.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
One signal in the wider AGI picture
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗