数学资讯与深度分析

收录数学相关 AI 新闻、产品动态和产业观察。本页收录 4 篇已发布文章。

编辑精选 Claude 没有证明黎曼猜想。新节点在旁边：Anthropic 称一个未发布研究版 Claude，把满足黎曼猜想的 zeta 零点比例下界从 41.6% 推到 67.2%，并给出论文、专家说明和 Lean 形式化。 Claude

编辑精选 Astra 这组证明的看点不止“AI 会做数学”。OpenAI 同时交出论文、Lean 证书和推理记录，等于把数学成果从口头战报推到可复查工程件。如果一家公司说自己的模型解了数学难题，最麻烦的问题往往很快出现：谁来确认它没漏掉一

一份只有三页的 PDF，把数学圈和 AI 圈同时拽到审稿桌前。 OpenAI 放出的循环双覆盖猜想证明，署名栏没有某位图论专家，写的是 GPT 5.6 Sol Ultra 与 Codex。它声称处理了一个延续近半个世纪的图论难题；眼下更硬的

DeepSeek在数学定理证明领域搞了个专用模型 Prover V2 ，目标是用AI在Lean 4形式化验证系统里自动证明数学定理。这个方向为什么重要？数学定理证明是AI能力的一个极端测试场。因为数学不接受"差不多对"——证明要么完全正

数学 资讯与深度分析