AI 助力黎曼猜想研究，相关大模型参与数学推理

据《华尔街日报》近日报道，人工智能正被用于推进对黎曼猜想（Riemann Hypothesis）这一著名数学难题的研究。从报道标题及 URL 信息来看，Anthropic 与 OpenAI 等机构的大模型参与了相关数学推理工作，但原文为付费内容，具体研究方法、阶段性成果及参与模型名称等细节尚未在公开摘录中呈现。

黎曼猜想：数学界的百年悬案

黎曼猜想由德国数学家 Bernhard Riemann 于 1859 年提出，主要研究黎曼 ζ 函数非平凡零点的分布问题，与素数分布密切相关。该猜想是克雷数学研究所公布的七个「千禧年大奖难题」之一，至今悬而未决，悬赏金额达 100 万美元。过去一个多世纪，数学家已取得大量阶段性成果（如对部分零点的验证），但完整证明仍未出现。

AI 介入数学推理的新尝试

报道将 AI 在数学领域的应用定位为「鼓励 AI」参与推理，而非完全由 AI 独立给出证明。近年来，OpenAI、Anthropic、DeepMind 等机构持续探索大模型在形式化数学、定理证明（如 Lean、Coq 等证明助手）上的能力，并相继推出专门的数学推理模型。此次将 AI 引入黎曼猜想研究，延续了这一趋势，即利用大模型的模式识别与逻辑推演能力辅助人类数学家筛选思路、验证中间步骤。

信息有限，尚待完整披露

由于原文为《华尔街日报》付费报道，目前公开可获取的信息仅有标题层面内容，具体的：

• 使用的模型版本与训练方法
• 取得的可量化进展
• 是否产出新的数学引理或证明框架

等关键事实尚未在摘要中给出。该报道在 Hacker News 上仅获得 1 个点赞、0 条讨论，关注度偏低。后续需等待全文披露或相关研究论文公开，方能对其实际意义做出更准确评估。

总结

AI 进入顶级数学难题研究的舞台，是大模型推理能力外溢到基础科学领域的一个标志性信号。即便短期内难以直接攻破黎曼猜想，这一方向仍将推动 AI 与数学家之间的协作范式持续演进。