为了评估当前AI系统的数学技能，我们提出了一组关于基本数学常数的公式。这些问题对于AI评估具有吸引力，因为它们具体且可以精确到任意精度进行数值检查，但证明它们可能需要非显而易见的数学知识。
数学常数如 $\pi$、$e$、卡塔兰常数以及黎曼$\zeta$函数的特殊值，数世纪以来一直吸引着数学家。寻找评估数学常数的公式产生了一些该领域最美丽的数学，尤其是在那些能够提供无理性证明或快速收敛率的案例中。拉马努金的遗产正是这一传统的典范。
我们提供的列表包含两类问题：一类是作者已知证明但将在初期保持加密的公式；另一类是尚未证明的公式。我们期待看到AI在这两种情况下的成就。
博主点评： 拉马努金挑战不仅为AI提供了评估的基准，也引发了对数学深度理解的思考。AI是否能在复杂的数学证明中展现出超越人类的能力，值得我们持续关注与探讨。