**AI拉马努金挑战：测试大模型数学推理能力**

_The Ramanujan Challenge for AI_

> 研究人员发布“拉马努金挑战”，提供一组涉及圆周率、自然常数等基础数学常数的公式，旨在评估当前AI系统的数学技能。这些公式可通过数值验证，但证明过程可能涉及非显而易见的数学方法，部分证明已加密，部分尚未解决，以观察AI在已知与未知领域的表现。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-07-15 00:04（北京时间）
- **原文**：[打开原文](https://arxiv.org/abs/2607.09721)