Anthropic 官方：Claude 在黎曼猜想上取得意外数学突破
deedydas · x · 2026-08-11
Anthropic 官方博客详细披露了 Claude 在数学领域的最新突破。在挑战著名的千禧年难题——黎曼猜想时，虽然未能最终证明，但一个未公开的研究版 Claude 在相关问题上取得了实质性进展。
- 核心突破：Claude 将黎曼 zeta 函数满足黎曼猜想的零点比例下限，从之前的 41.6% 大幅提升至 67.2%。
- 专家验证：Anthropic 的两位数学家研究并验证了 Claude 的论文，并整理了非正式专家说明。Brian Conrey 和 Dan Goldston 等领域专家也在短时间内审查了该论文。
- 技术细节：Claude 能够生成形式化可验证的证明。尽管 Anthropic 坦言这些技术尚不足以完全证明黎曼猜想，但这展示了 AI 模型数学推理能力快速演进的最新里程碑。
所属事件:Anthropic研究版Claude挑战黎曼猜想，零点下界提升至67.2%(16 条相关)→
「模型」频道最新
- Claude 进攻数学界世纪难题，黎曼假设研究获意外突破 — Polymarket · 2026-08-11
- Anthropic 将 Claude 3.5 Sonnet 优惠价转为永久定价 — Hesamation · 2026-08-11
- 攻克黎曼猜想？员工给 Claude 打气引热议 — arthurcolle · 2026-08-11
- Ollama 云端上线 DeepSeek-V4-Flash，输出超 120 tps — zhyncs42 · 2026-08-11
- webAI 发布端侧逻辑模型 TwiL-LM，3B 参数跑赢 120B — rohanpaul_ai · 2026-08-11
- 实测反直觉：参数翻倍的 Gemma 31B 提取数据反逊 Ministral 14B — andrejusb · 2026-08-11