加载中…
The Ramanujan Machine project detects new expressions related to constants of interest, such as function values, and algebraic numbers (to name a few). In particular the project lists a number of conjectures concerning the Catalan constant 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本