⌘ K
… 读取采集状态 同步中...
雷
原文
APPSO· APPSO·· 2026-08-11精选AI 评分80

Claude 探索黎曼猜想,将相关零点下界从 41.6% 提升至 67.2%

刚刚,Claude 挑战黎曼猜想失败,数学家却看懵了

AI 导读

Anthropic 团队尝试让 Claude 挑战黎曼猜想,虽未证明猜想,但通过协调约 60 个子 Agent 探索数学关系,将可证明位于临界线上的零点比例下界从约 41.6% 提高至 67.2%。Claude 重新组合了既有数学工具,完成了核心结果的 Lean 形式化验证,目前正由领域专家进行进一步审阅。

推荐理由

材料展示了多智能体协作机制在开放数学研究中提升零点下界的完整路径,为理解 AI 科研的当前边界提供了具体案例。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:APPSO · mp.weixin.qq.com