Catalan’s constant

The quantity is an upper bound on the irrationality exponent $\mu(G)$ of Catalan’s constant. A lower bound is better. The release states irrationality but gives no finite exponent bound; the baseline is the trivial extended-real upper bound $+\infty$.

OpenAI baseline: $+\infty$, released Oct 6, 2:58 PM PT.

These results are Claimed: their authors published them, and we have not checked them.