AI 研究机构 Anthropic 今日发布重磅成果，其研究版大模型 Claude 在攻克数学界“皇冠明珠”——黎曼猜想的过程中取得了里程碑式的进展。尽管尚未完全证明这一 167 年未解的难题，但 Claude 成功证明了黎曼 ζ 函数在临界线上的非平凡零点比例下界，已从人类此前保持的 41.6% 大幅提升至 67.2%。这一成就刷新了该问题历史上的单次最大提升幅度。回顾历史，人类数学家在过去 80 年里艰难前行：1942 年 Selberg 证明有正比例零点在线上；1974 年 Levinson 将比例推至三分之一；1989 年 Conrey 达到五分之二；直到 2020 年， Pratt 等人才将纪录艰难刷新至 41.7%。相比之下，Claude 一步跨越了人类近 50 年的努力跨度，直接跃升了 26 个百分点。为了验证这一结果的可靠性并促进科学共享，Anthropic 公布了完整的研究论文、基于 Lean 语言的形式化证明代码、简明证明笔记，以及 Claude 关于其思路演化过程的自述附录。这一成果不仅展示了 AI 在高阶逻辑推理和基础科学研究中的巨大潜力，也标志着人工智能正在从辅助工具演变为能够推动人类知识边界的独立科研力量。
事件分析
此次技术突破的核心看点在于 AI 具备了处理超长、复杂逻辑链推理的能力，这在以往是大模型的弱项。Claude 不仅仅是在生成文本，而是通过与 Lean 形式化证明系统的交互，完成了严格的数学证明，这解决了大模型容易产生“幻觉”的痛点，为 AI 在高精度需求场景（如芯片设计验证、自动驾驶算法证明）的应用提供了技术路径。从产业影响看，这验证了“AI for Science”不仅是口号，更是实打实的生产力工具。Anthropic 公布完整的思路演化笔记，比结果本身更有价值，它为研究 AI 的可解释性（XAI）提供了珍贵的样本，有助于人类理解模型内部的“黑盒”思考机制。未来，AI 可能会重构基础科学的研究范式，从计算密集型向推理密集型任务渗透。
💡 核心观点：此举标志着 AI 从概率预测向确定性逻辑推理的关键跃迁，大模型正从“聊天工具”进化为重塑基础科研范式的“数学家”.
原文链接：V2EX 分享发现
评论前必须登录！
立即登录 注册