Claude 挑战黎曼猜想：将 zeta 函数零点下界提升至 67.2%
sudoraohacker · x · 2026-08-11
Anthropic 官方博客披露，其内部人员近期让一个未公开的研究版 Claude 挑战了数学界著名难题——黎曼猜想。
虽然模型未能完成最终证明，但在尝试过程中取得了实质性进展：它改进了黎曼 zeta 函数中满足假设条件的零点比例的长期下界，将其从 41.6% 提升至 67.2%。该结果基于过去几十年数学家的广泛前期研究。
Anthropic 的两名数学家研究并验证了 Claude 撰写的论文，并为其撰写了专家简报，Claude 还生成了该结果的可形式化验证证明。专家 Brian Conrey 和 Dan Goldston 也对论文进行了短期审查。官方坦言，这不意味着现有技术能彻底证明黎曼猜想，但展示了 AI 模型数学推理能力的快速演进。
所属事件:Anthropic 研究版 Claude 挑战黎曼猜想获实质性突破(21 条相关)→
「模型」频道最新
- 上下文压缩竟违规？开发者吐槽 Anthropic 条款更新 — nptacek · 2026-08-11
- DeepSeek Harness v4 发布，Logo 曝光 — teortaxesTex · 2026-08-11
- 吐槽：受够了吹捧便宜模型达到 Opus 水准的评测水文 — xeophon · 2026-08-11
- DeepSeek 高峰期响应变慢，算力瓶颈显现 — ricklamers · 2026-08-11
- Muse Glimmer 智能体评测落后，但工具调用与幻觉控制优于同级 — ArtificialAnlys · 2026-08-11
- OpenAI 推出限制更少的模型，专供网络安全防御者使用 — lofty23_smart · 2026-08-11