Anthropic 官方详解：Claude 在黎曼猜想探索中取得数学新发现
Dr_Singularity · x · 2026-08-11
Anthropic 官方博客披露，研究人员近期向一个未发布的内部研究版 Claude 发起挑战，尝试攻克百万美元悬赏的数学难题“黎曼猜想”。
尽管未能最终证明该猜想，但 Claude 在相关问题上取得了意外突破。它结合了数十年的先验数学研究，将黎曼 zeta 函数非平凡零点落在临界线上的保证下界，从长期以来的 41.6% 提升至 67.2%。Anthropic 的两位数学家研究并验证了 Claude 的论文，Claude 还生成了可通过自动验证的形式化证明。
官方表示，虽然 Claude 的技术未必能直接导向黎曼猜想的最终证明，但这展示了 AI 模型在数学领域能力的快速演进。
所属事件:Anthropic 研究版 Claude 挑战黎曼猜想获实质性突破(21 条相关)→
「模型」频道最新
- 曝 Meta 新模型 Muse Glimmer 跑分曝光：30B 参数登顶开源榜单 — ArtificialAnlys · 2026-08-11
- Muse Glimmer 智能体评测落后，但工具调用与幻觉控制优于同级 — ArtificialAnlys · 2026-08-11
- OpenAI 推出限制更少的模型，专供网络安全防御者使用 — lofty23_smart · 2026-08-11
- 坐拥算力与数据优势，谷歌顶级模型为何仍不敌 Claude 与 GPT？ — prasenx · 2026-08-11
- 用户实测：DeepSeek v4 Flash 不仅是代码能手，通用能力同样出色 — aiamblichus · 2026-08-11
- 独立开发者推出更轻快低价的 DeepSeek Flash v4 微调模型 — bindureddy · 2026-08-11