The Ramanujan Machine project detects new expressions related to constants of interest, such as $\zeta$ function values, $\gamma$ and algebraic numbers (to name a few). In particular the project lists a number of conjectures concerning the Catalan constant $G= 0.91596559\ldots$ We show how to generate infinitely many. We used an ad hoc software toolchain and rather tedious mathematical developments. Because we do not provide a proper peer-reviewed proof of the relations given here we do not claim them to be theorems.
翻译:Ramanujan机器项目探测到与常数有关的新表达方式,如 $\zeta$ 函数值、 $\ gamma$ 和代数( 仅举几个例子 ) 。 特别是, 该项目列出了一些关于加泰罗尼亚常数$= 0. 91596559\ ldots$的推测。 我们展示了如何产生无限数量。 我们使用了一个特别的软件工具链和相当无聊的数学发展。 因为我们没有提供经过同行审查的适当证据来证明这里给出的关系, 我们并不声称它们是理论。