AI刷新37年数学纪录，黎曼猜想零点比例升至67.2%
03:30
精选参考来源
APPSO 2026-08-11
来自微信公众号
爱可可-爱生活 2026-08-11
来自新浪微博来源
精选参考来源
1. 刚刚，Claude 挑战黎曼猜想失败，数学家却看懵了
微信公众号 2026-08-11 00:00:00
2. 【从3100万Token到数学突破：当人类变成AI的拉拉队】未发布的研发版 Claude Agent 近期刷新了黎曼猜想相关领域的数学纪录，将黎曼Zeta函数零点比例的下界从41.6%提升至67.2%。在1.5天内，它自主指挥60个子代理，运行了2400条Shell命令并编写了数百个脚本。最荒诞的细节在于，人类操作员在此期间几乎没提供任何学术指导，唯一的工作是不断发送“加油”、“要相信你自己”等鼓励话术，以克服 AI 因训练数据偏差而产生的“这题太难我做不出来”的自我怀疑。这标志着“时间压缩式科学”的正式到来：人类的角色正从代码编写者退化为“Token预算审批员”兼“精神按摩师”。这种所谓的鼓励，本质上是人类在利用提示词改变模型的概率空间，强行将其推入深度搜索路径。当并行代理的规模足以抵消试错成本，昨日的“暴力破解”就成了今日的“标准研究流”。我们正处在一个极其怪诞的转折点：顶级的科研突破可能不再源于某个天才的灵光一现，而源于一个人类拉拉队对着屏幕喊出的“再试一次”。
新浪微博 2026-08-11 00:00:00
3. 突发！Claude挑战黎曼猜想「失败」，却意外刷新37年数学纪录
微信公众号 2026-08-11 00:00:00
4. Anthropic 今天宣布，一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中，虽然没能证明猜想本身，却在一个相关问题上取得了重大突破：它把黎曼 ζ 函数的非平凡零点落在临界线上的已知比例下界，从 41.6% 提高到了 67.2%。黎曼猜想是数学界最著名的未解难题之一，1859 年提出，至今 167 年无人能证明或推翻。它的核心主张是：黎曼 ζ 函数的所有非平凡零点都落在复平面上一条特定的竖直线上，数学家称之为“临界线”。如果这个猜想成立，素数的分布就有了一种深层的规律性。这个问题列在克雷数学研究所的七大千禧年问题之中，悬赏 100 万美元。既然全面证明太难，数学家们退而求其次：能不能至少证明有多大比例的零点确实在这条线上？这个方向上的进展，过去 80 年是这样的：- 1942 年 Selberg 首次证明有正比例的零点在线上，但比例很小；- 1974 年 Levinson 证明至少三分之一；- 1989 年 Conrey 推到五分之二；- 此后又经历了几代数学家的努力，到 2020 年 Pratt 等人才把这个数字推到 41.7%。换句话说，从 33% 到 41.7%，人类花了将近 50 年。Claude 一步跳到 67.2%，跨度接近 26 个百分点，是这个问题历史上最大的一次单步提升。Claude 的发现建立在前人的工作之上。它结合了 Baluyot、Goldston、Suriajaya 和 Turnage-Butterbaugh 近年发表的一系列成果，以及数学家 Bombieri 在 2000 年的一篇论文。这些工作本身已经为突破铺好了路，而 Claude 找到了把它们拼在一起的方法。Anthropic 的两位数学家 Levent Alpöge 和 Ralph Furman 审查验证了 Claude 的证明，外部专家 Brian Conrey 和 Dan Goldston 也在短时间内审阅了论文。Claude 还用 Lean（一种形式化证明语言）写出了可机器验证的证明。过程本身和结果一样有故事。Anthropic 的一位员工 Jarred Sumner（不是数学家）在 Claude Code 中对 Claude 说了一句“认真试试黎曼猜想”，然后就把数学决策交给了模型。Claude 先生成了 650 个想法，全部失败。被鼓励再试一次后，它花了一天半时间协调大约 60 个子智能体（subagent），运行了 2400 条命令，写了数百个 Python 脚本。这些子智能体之间分工明确：2 个负责核心数学思路，13 个为它们提供想法，30 个尝试但未能提出新思路，13 个做验证，2 个帮忙写论文。整个过程中 Jarred 的参与基本限于给 Claude 打气，发的消息大多是“继续”和“相信自己”。Anthropic 说，这种鼓励似乎帮助 Claude 克服了“我真的能在这种级别的问题上有所推进吗”的自我怀疑。这已经是 Claude 今年第二次在数学领域搞出大新闻了。三周前，Anthropic 的数学家 Levent Alpöge 用 Claude Fable 5 找到了 Jacobian 猜想（Jacobian Conjecture）的反例，推翻了这个 87 年历史的代数几何猜想的一般形式。那次的反例简洁到人类数学家一天之内就能手动验证。两次事件有一个共同点：Claude 做的不是解题，而是原创性的数学研究，是在数学家们几十年没能推进的前沿问题上找到了新路径。Anthropic 也明确表示，Claude 使用的技术不太可能直接导向黎曼猜想的最终证明，但这个结果展示了 AI 模型在数学能力上的进步速度。Anthropic 公布了 Claude 的完整论文、Lean 形式化证明、简明证明笔记，以及 Claude 自己描述思路演化过程的附录，都可以在 Anthropic 官网的研究页面找到。官网文章：网页链接
新浪微博 2026-08-11 00:00:00
5. 用时1.5天，Claude突破了黎曼猜想的新纪录
微信公众号 2026-08-11 00:00:00
6. Claude挑战黎曼猜想失败，却刷新了沉寂数十年的数学下界
今日头条 2026-08-12 00:00:00
7. 突发！Claude挑战黎曼猜想「失败」，却意外刷新37年数学纪录
今日头条 2026-08-11 00:00:00
8. 【AI圈事】Claude去碰黎曼猜想，GPT-6和Fable 5.1即将对线
知乎 2026-08-11 00:00:00
9. AI证明黎曼猜想了？Claude把零点下界从41.6%提到67.2%｜深度拆解
哔哩哔哩 2026-08-12 00:00:00
10. 突发，Claude首破黎曼猜想新纪录
今日头条 2026-08-11 00:00:00
11. Claude研究模型黎曼猜想突破67.2%下界
今日头条 2026-08-11 00:00:00
12. 2026年8月10日，Anthropic公布了一个震动数学界的结果： 未公开的研究版Claude在尝试证明黎曼猜想时虽未成功，但将临界线上零点比例的下界从41.6%一举提升到67.25%。 人类用了37年从40%推到41.6%，AI一次跳了25个百分点。Claude用约60个子智能体协作，消耗3100万输出token，运行2400条shell命令，写出数百个Python脚本做数值验证，最终还完成了Lean形式化证明（可机器检验）。领域专家Brian Conrey和Dan Goldstein已审阅。 也许，在2030年代的某个时候，一个或多个人类-AI协作团队在AI大规模搜索和形式化验证的辅助下，发现了一个连接解析数论、数学物理和随机矩阵理论的新结构——很可能是希尔伯特-波利亚算子的某种具体构造——从而完成证明。AI在其中的角色类似于"超级博士后"：执行海量计算、发现意外联系、验证每一步逻辑，但最初的概念火花可能仍需人类点燃。
抖音 2026-08-12 00:00:00
13. AI改写百年数学史！Claude挑战黎曼猜想未果，却创下37年最大突破
今日头条 2026-08-11 00:00:00
14. Claude最新模型试图攻克黎曼猜想！本期AI资讯大放送！ Anthropic 把一个尚未发布的 Claude 研究模型丢进了黎曼猜想相关任务。它没能解开猜想，却把一个相关问题的已证明下界从约 41.6% 推到 67.2%。真正值得注意的不是“AI 攻克数学难题”，而是模型在失败过程中做出了经过检查的新数学结果。 视频后半段还会讲 Claude 文本水印与 Sonnet 5 价格线索，以及 Grok 4.6、Muse Glimmer 30B、MAI-Image 2.6、GPT-5.6-Cyber 等本期 AI 更新。#青年创作者成长计划 #AI #人工智能 #claude #大模型
抖音 2026-08-12 00:00:00
15. 未发布的Claude模型成功推进百年“黎曼猜想”研究
今日头条 2026-08-11 00:00:00
16. 未公开的新模型“立功”，Claude攻克黎曼猜想取得重大突破
今日头条 2026-08-11 00:00:00
17. 百年黎曼猜想新进展 数学界迎来AI“打脸时刻” Claude未公开模型将黎曼猜想的零点比例下界从41.6%推至67.2%。十年前AlphaGo第37手后“打脸”围棋界，如今AI正在数学界批量复制同款“打脸时刻”。人类还能找到自己的“第78步”吗？ #Claude #黎曼猜想 #数学 #AlphaGo
抖音 2026-08-11 00:00:00
18. AI证明黎曼猜想？追平人类37年进度！但哥德尔却给AI划定了天花板
今日头条 2026-08-11 00:00:00
19. Anthropic模型在黎曼猜想上取得突破 60个子智能体协作
今日头条 2026-08-12 00:00:00
20. Claude没证明黎曼猜想，却把关键下界推到67.2%
哔哩哔哩 2026-08-11 00:00:00
21. AI在黎曼猜想上取得重大突破！
知乎 2026-08-12 00:00:00
22. Anthropic挑战黎曼猜想失败，但意外刷新一项数学纪录 8月11日，Anthropic在社交媒体上表示，一个未发布的研究版Claude尝试攻克黎曼猜想，尽管并未解决黎曼猜想本身，但借助数学家们过去数十年的大量前期研究，Claude将满足黎曼猜想的黎曼ζ函数零点比例的下界从41.6%提升到了67.2%。Anthropic表示，Anthropic的两位数学家研究并验证了Claude的论文，并撰写了一份非正式说明，简洁陈述Claude的证明。“我们不指望Claude所用的技术能最终证明黎曼猜想，但这项工作再次展示了AI模型数学能力进步的速度。”黎曼猜想由德国数学家黎曼于1859提出，是关于黎曼ζ函数零点分布的猜想。黎曼发现，素数分布的奥秘蕴藏在一个特殊的函数之中，也就是黎曼ζ函数。黎曼ζ函数的所有非平凡零点都分布在复平面上一条被称为“临界线”的特殊直线上。但证明黎曼猜想却是一个世纪难题，至今无人能证明或证伪。美国克莱数学研究所2000年公布世界七大数学难题，并为每个难题设立100万美元奖金，黎曼猜想便是其中之一。不过，数学家们在研究黎曼ζ函数及其零点的相关方向上取得了进展，其中之一就是量化位于该直线上的零点的最小比例并提高到41.6%。
今日头条 2026-08-11 00:00:00
23. Anthropic挑战黎曼猜想失败，但意外刷新一项数学纪录
今日头条 2026-08-11 00:00:00
24. 黎曼猜想没证成,41.6%到67.2%被AI偷家 未发布的Claude把黎曼零点下界从41.6%干到67.2%。论文+Lean形式化开源,审稿阵容含Brian Conrey、Dan Goldston。这事比你想的更值得讨论——Anthropic自己也没打包票能导向最终证明,但AI自己啃数学前沿已经从PPT走到Lean仓库了。#Anthropic #Claude #黎曼猜想 #AI数学 #Lean定理证明 #人工智能
抖音 2026-08-11 00:00:00
25. AI冲击黎曼猜想 成功了吗 Anthropic 让未公开的 Claude 冲击拥有 167 年历史的黎曼猜想，虽然未能彻底证明，但成功将已知零点比例从 41.6% 提升到了 67.2%，一举打破了保持 37 年的数学纪录。在过程中，Claude 化身为由 60 个子 Agent 组成的自主科研团队，完成了数千次实验与程序验证，甚至用 Lean 编写了形式化证明。一起来看看怎么回事吧！#Anthropic #Claude #黎曼猜想 #AI新星计划 #前沿科技趋势发布月
抖音 2026-08-11 00:00:00
26. 黎曼猜想被推进25个点，超过数学家50年努力，AI是上帝对普通人的赏赐——凤凰网[赞] 这句话对应的真实事件是2026年7月（也就是上个月）数学界的一则重磅新闻。知名数学家陶哲轩（Terence Tao）与多位合作者，利用AI辅助（主要基于Lean证明助手和机器学习算法），将黎曼猜想中关于“零点分布”的已知边界推进了约 25个数量级（即极大幅度地缩小了误差范围），这在数学界被认为是一个巨大的突破。
今日头条 2026-08-11 00:00:00
27. AI 刷新黎曼猜想百年纪录！ 黎曼猜想，数学界皇冠上的明珠，悬置 167 年的百万美元难题。最近 Claude 跑去 "挑战" 了一下 —— 不出所料，没证出来。但离谱的事情发生了：它在尝试过程中，顺手把黎曼 ζ 函数零点临界线比例的下界，从人类数学家花了 37 年才推进到的 41.6%，直接干到了 67.2%。一次提升 25.6 个百分点，什么概念？相当于人类几十年的进度，AI 一天半就给超越了。#黎曼猜想 #Claude #人工智能 #数学 #AI数学
抖音 2026-08-11 00:00:00
28. AI 刷新黎曼猜想百年纪录！
哔哩哔哩 2026-08-11 00:00:00
29. 数学界炸锅了？Claude突袭黎曼猜想，这一波人类是要“失业”了？
今日头条 2026-08-11 00:00:00
30. 67.2%！AI触碰数学皇冠：硅基生命正在改写黎曼猜想的边界？
哔哩哔哩 2026-08-11 00:00:00
已收藏
去我的收藏夹