人工智能的拉马努金奖挑战
研究人员发布了一套数学常数公式，用于评估AI的数学技能。这些公式包括已知证明（暂时加密）和未证明的公式，旨在测试AI的数学推理能力。
2026年6月27日，一组由Ido Kaminer领导的跨学科研究团队在arXiv预印本平台上发布了一项名为“人工智能的拉马努金奖挑战”的新基准测试。该挑战旨在评估当前人工智能系统在数学推理方面的能力，特别是针对基本数学常数的公式证明。论文列出了包括圆周率π、自然常数e、Catalan常数以及黎曼ζ函数特殊值在内的一系列公式。这些公式的吸引力在于它们具体且可进行任意精度的数值验证，但证明过程往往需要非显而易见的数学技巧。数学常数如π和e几个世纪以来一直吸引着数学家，寻找它们的求值公式催生了数学中最优美的成果，尤其是当这些公式能提供无理数证明或实现快速收敛时。拉马努金的遗产正是这一传统的象征。
该挑战包含两类问题：第一类是作者已知证明但将在初始阶段加密的公式；第二类是尚未被证明的公式。研究团队对AI在这两种情况下的表现充满好奇。他们鼓励AI系统的开发者提交解决方案，提交网址已随论文公布。这一挑战不仅测试了AI的计算能力，更考验了其背后的逻辑和创造性数学思维，有望推动AI在数学研究领域的应用。