论文标题
Ramanujan机器上的注释
A Note on the Ramanujan Machine
论文作者
论文摘要
Ramanujan机器项目检测到与感兴趣常数有关的新表达式，例如$ζ$函数值，$γ$和代数数字（仅举几例）。特别是该项目列出了许多涉及偶数和奇数$ζ$功能值，对数等的猜想。我们表明，Ramanujan Machine项目检测到的许多关系源于特定的代数观察，并显示了如何生成无限的许多关系。这提供了对项目列为猜想的许多关系的自动证明和/或解释（尽管并非全部）。
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 involving even and odd $ζ$ function values, logarithms etc. We show that many relations detected by the Ramanujan Machine Project stem from a specific algebraic observation and show how to generate infinitely many. This provides an automated proof and/or an explanation of many of the relations listed as conjectures by the project (although not all of them).
