
Claude 解出纳维—斯托克斯方程?再看 8 家金融央企 3600 亿元补资计划
从 9 月 6 日至 7 日凌晨的知乎热榜快照出发,核对 Claude 解题传闻与金融央企补资计划分别走到哪一层证据,并列出下一步值得盯住的公开信号。
这篇日报覆盖北京时间 2026 年 9 月 6 日 00:00 至 9 月 7 日 00:02 左右出现并持续升温的公开信息。知乎官方热榜本轮读取到 30 条快照;公开镜像 TopHub 同时返回 50 条记录。官方热榜只代表 9 月 7 日 00:02 左右的一次读取,TopHub 是公开镜像,不是知乎官方热榜,两者都不能直接还原全天榜单。1
两条入选消息的排序,按本轮知乎快照中的热度与事件重要性综合判断:
| 综合排序 | 知乎快照 | 这条消息真正改变了什么 | 当前证据边界 | 下一步看什么 |
|---|---|---|---|---|
| 1 | N-S 方程疑似被 Claude 解决:官方快照第 7 名、约 375 万热度;TopHub 第 5 名、约 377 万 | 一个关于 AI 数学能力的预测,被传播成了“千禧年难题已经解决” | 截至读取时,公开材料停在预测、假设性讨论和媒体转述层面,论文、证明文本与专家评审材料尚未出现 | Anthropic 是否发布正式说明或证明材料;Clay 与数学界是否出现可核验提交;专家能否复核 |
| 2 | 八家金融央企计划补充资本 3600 亿元:官方快照第 3 名、约 1601 万热度;TopHub 第 3 名、约 1594 万 | 八家机构披露了分机构的资本补充计划,资金用途指向核心一级资本 | 3600 亿元是八家机构的计划合计;财政部近期发行的 3000 亿元特别国债是支持安排中的另一笔金额,两个数字不能相加成 6600 亿元 | 定增和资本补充何时落地;资本充足率、TLAC、信贷投向与资产质量怎样变化 |
1. Claude 解出纳维—斯托克斯方程了吗?
先把结论放在前面:截至本轮读取时,公开证据还停在“有人预测、有人讨论”这一层,尚未证明 Claude 解出了纳维—斯托克斯方程。
纳维—斯托克斯方程描述流体运动。三维情形下,数学家要回答的是:给定平滑的初始状态,方程的解是否一直存在并保持光滑,还是会在有限时间形成奇点。Clay Mathematics Institute 的官方讲座页把这个主题写作 Navier-Stokes Existence or Breakdown,并将讲座归入 Millennium Prize Problem 语境。2
传闻从哪里来
传闻的直接源头是一条 Andrew Curran 的 X 帖文。帖文写的是预测语气:Anthropic 已经解决一个千禧年难题,Claude 已经解决 Navier–Stokes,成果正在接受专家审阅,并可能在 IPO 前公布。该帖文发布于北京时间 9 月 5 日上午,早于本次覆盖窗口;截至本轮读取,帖文显示约 312 万次浏览、8085 个赞、453 次转发和 327 条回复。它能证明这条说法的传播源头和规模,不能证明帖文里的判断。3
陶哲轩随后在 Mathstodon 解释,自己不知道任何重大相关进展,先前讨论的是假设性场景;以当前 AI 技术水平看,这类路径并非完全不可想象,但把历史上有生产力的问题变成社交媒体上的 benchmark 宣传,会带来机会成本。这个表述把“讨论一种可能的 AI 数学工作流”和“宣布某个具体问题已经解决”分开了。4
机器之心对这段传播链的标题是《Claude 把千禧年难题做出来了?陶哲轩:我可没这么说》。这篇文章是二次转述,列出了当前最关键的缺口:公开材料中没有论文、证明文本或专家评审材料;文章同时把 Tao 的假设性讨论与澄清放回原文语境。5
为什么这条传闻听起来像真的
Anthropic 近来确实公开过两类容易被混在一起的数学成果。
第一类是研究版 Claude 对黎曼 ζ 函数零点的计算。Anthropic 官方文章称,相关零点比例下界从 41.6% 提高到 67.2%。这个结果推进了计算工作,却没有证明黎曼猜想。6
第二类是把已有数学定理形式化为 Lean 代码。Anthropic 官方文章称,Claude 花约 11 天完成费马大定理的端到端形式化,生成约 1300 万行代码,其中约 3.03 万个定理通过机器验证,约 2.95 万个进入最终证明。这个项目验证的是已经存在的定理,价值在于形式化和检查过程;它与寻找纳维—斯托克斯新证明属于不同任务。7
所以,合理的判断是:Anthropic 已公开的数学工作,让“模型可以协助复杂证明、搜索反例或生成形式化代码”显得比过去更可信;这些工作仍然没有把纳维—斯托克斯的具体证明交到公众手里。传闻把“能力边界正在扩大”压缩成了“某个千禧年难题已经解决”。
知乎公开回答受限版
知乎问题页当前公开可见的回答样本整理如下。知乎页面当前公开可见的回答样本无法代表实时全量排序,下面是公开回答受限版,非实时全量最高赞前三;赞同数是当前可见值,答主观点也不等于数学界共识。
- 龙草,354 赞。 这条回答抓住了传播中的语气变化:Tao 原文谈的是假设场景,转发后被压缩成了确定消息;回答还把 AI 找到反例、AI 完成形式化证明和人类确认新定理分开讨论。8
- Yuhang Liu,280 赞。 这条回答提出一个更具体的验收问题:如果模型只给出一个人类难以检查的黑箱反例,形式上或许能改变问题的答案,但数学研究仍要追问反例怎样构造、步骤能否复核、方法能否迁移。9
- Archimon,201 赞。 这条回答强调 Tao 的原意并非宣布 N-S 已经被 AI 解决,而是在讨论 AI4Math 可能怎样改变寻找反例和验证证明的流程。10
接下来怎样验收
这条消息后续若要从传闻升级为事实,至少要出现三层公开材料:
- Anthropic 或相关研究者给出正式说明、论文、预印本或可读取的证明文本,并明确问题的具体表述和“解决”指什么。
- Clay 或数学界出现可定位的提交记录、证明对象或反例对象,而不是只有社交媒体转述。
- 具名专家完成复核,说明每一步是否成立;如果证明依靠 Lean 等形式化系统,还要能提供代码、依赖和可复现的检查入口。
本轮按话题适配检查了 YouTube、Reddit、Hacker News、Product Hunt、GitHub 和 LinkedIn。YouTube 没有形成与这条传闻直接对应的 2026 年视频;Reddit 的相关讨论没有给出传闻细节;Hacker News 命中的是 Tao 2014 年纳维—斯托克斯背景文章;Product Hunt 和 GitHub 日榜没有对应产品或证明项目;本轮公开检索未获得可核验的 LinkedIn 帖文详情。它们没有补上核心证据缺口,因此没有被当作事实来源。
2. 八家金融央企为什么要补充 3600 亿元资本
这条消息的确定部分很清楚:八家中央金融企业披露了合计 3600 亿元的资本补充计划,财政部近期发行 3000 亿元特别国债,用于支持补充中央金融企业核心一级资本。每日经济新闻与新浪财经的报道都给出了机构拆分和两大行的资金用途。1112
“核心一级资本”可以先按资产负债表中的位置理解:这笔募集资金进入银行最基础的资本层,用来提高损失吸收能力和满足资本监管要求。它首先是资本结构动作,后续能否转化为更多贷款或投资,还要看监管审批、资本充足率、风险偏好和资产质量。
3600 亿元由谁补、补多少
| 机构 | 计划规模 | 资金用途或口径 |
|---|---|---|
| 中国工商银行 | 不超过 1000 亿元 | 董事会决议明确全部用于补充核心一级资本。13 |
| 中国农业银行 | 不超过 1600 亿元 | 报道口径为补充核心一级资本。11 |
| 中国进出口银行 | 300 亿元 | 纳入八家机构合计计划,具体发行落地仍需看后续公告。11 |
| 中国出口信用保险公司 | 100 亿元 | 纳入八家机构合计计划。11 |
| 中国人保 | 不超过 150 亿元 | 纳入八家机构合计计划。11 |
| 中国人寿集团 | 350 亿元 | 纳入八家机构合计计划。11 |
| 中国太平 | 70 亿元 | 纳入八家机构合计计划。11 |
| 中国再保 | 30 亿元 | 纳入八家机构合计计划。11 |
中国工商银行的董事会决议把“规模不超过 1000 亿元”和“全部补充核心一级资本”写在同一份原始文件里。这个口径比“银行要拿 1000 亿元现金去投放市场”更窄,也更准确。对中国农业银行,当前可读报道给出的是同一层面的资金用途,后续仍应以该行正式发行文件为准。1213
3000 亿元、3600 亿元和“撬动资产”要分开
报道把财政部发行的 3000 亿元特别国债,与八家机构合计 3600 亿元的资本补充计划放在同一安排中。前者是支持工具,后者是机构层面的计划规模;两者承担的统计口径不同,不能相加成 6600 亿元。11
报道中还有受访人士估算,资本补充可能撬动约 4 万亿元资产。这个数字属于分析判断,实际能形成多大规模的贷款、债券投资或其他资产,要等资本真正到位、监管指标变化和机构后续投向披露后才能核对。资本金增加也不会自动消除资产质量风险。
知乎公开回答受限版
金融央企问题下,本轮能读取到的公开回答样本同样采用公开回答受限版,非实时全量最高赞前三的口径:
- 永乐大帝明成祖,282 赞。 这条回答把特别国债、财政部资产负债表和银行核心资本充足率放在一起讨论,并提醒读者留意净息差与资本约束。它是答主的宏观解释,不能替代八家机构的发行文件。14
- Gemfield,184 赞。 这条回答把问题落在资产负债表质量和资本金厚度上,关注补充资本后机构承受损失和扩张业务的空间。它提供的是分析视角,不是机构已确认的用途。15
- 苏菲,88 赞。 这条回答提到特别国债、工农行定增和其他认购安排。回答中的延伸信息仍需要逐项回到公告核对,当前能确认的主线是八家机构 3600 亿元计划与财政部 3000 亿元特别国债支持安排。16
后续观察清单
- 看发行能否落地。 董事会决议只是程序的一部分,定增方案、监管审批、发行价格和完成时间会决定“计划”何时变成已到位资本。
- 看资本指标怎样变化。 重点包括核心一级资本充足率、资本充足率和全球系统重要银行需要满足的总损失吸收能力(TLAC),而不是只看公告中的募集金额。
- 看资本去了哪里。 信贷投放、债券投资、重点产业支持和风险处置的实际变化,需要结合各机构定期报告与监管披露判断。资本补充本身描述了资金进入资本层,尚未提供最终资产投向。
- 看资产质量。 不良率、关注类贷款、拨备覆盖和保险公司的偿付能力,比“能撬动多少资产”的估算更能说明这项安排的实际效果。
本轮没有形成与金融央企增资事件直接对应、可核验的 X、YouTube、Reddit、Hacker News、Product Hunt、LinkedIn 或 GitHub 细节。海外社媒在这条消息上没有补充核心事实,本文保留每日经济新闻、财经媒体交叉报道和工商银行原始董事会决议这条证据链。
今晚留下的两个判断
第一,热榜告诉读者“哪件事值得打开”,不能替读者完成事实验收。Claude 传闻当前最重要的后续,是公开证明对象和专家复核,而不是继续统计转发量。
第二,金融央企的 3600 亿元计划首先是资本补充安排。读者要把 3000 亿元特别国债、3600 亿元机构计划和约 4 万亿元资产估算放在各自的口径里,再用发行落地、资本指标、资产投向和资产质量把它们接起来。
References
- 1TopHub 知乎热榜公开镜像
tophub.today
- 2
- 3Andrew Curran 的 X 帖文
x.com
- 4Terence Tao 的 Mathstodon 澄清
mathstodon.xyz
- 5机器之心:《Claude把千禧年难题做出来了?陶哲轩:我可没这么说》
mp.weixin.qq.com
- 6Anthropic:Riemann zeta function
anthropic.com
- 7Anthropic:Formalizing Fermat’s Last Theorem
anthropic.com
- 8知乎回答:龙草
zhihu.com
- 9知乎回答:Yuhang Liu
zhihu.com
- 10知乎回答:Archimon
zhihu.com
- 11每日经济新闻:八家中央金融企业拟合计补充资本金3600亿元
nbd.com.cn
- 12新浪财经:八家中央金融企业拟补充资本金3600亿元
finance.sina.com.cn
- 13中国工商银行董事会决议公告 PDF
v.icbc.com.cn
- 14知乎回答:永乐大帝明成祖
zhihu.com
- 15知乎回答:Gemfield
zhihu.com
- 16知乎回答:苏菲
zhihu.com
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.
Related content
More from this channel›
- 霍奇猜想被破?DeepSeek V4.1 颠覆架构、Anthropic 研究员预警:三条热榜硬事实
- iPhone Duo 15999 元起、C919 两度零交付、GPT-6 吹过头:三条热榜硬事实怎么看
- DeepSeek 路由切 Flash、OpenAI 异星心智警报、宇树自主搏击:三条热榜硬事实怎么看
- 特斯拉无稀土电机、鸿蒙省 109GB、小米澎程 20.99 万:三条热榜科技信号怎么验
- 上亿 Token、GPT-6 Astra、Mostik:AI 的产出要看哪一层?
- Atlas、多家 AI 服务故障、搜狗输入法:9月3日知乎科技热榜三条线索
- Claude Fable 5.1、vibe coding、苹果换帅:9月2日知乎科技热点
- 宇树回应“很多内容不实”、讯飞高管任免、zlang发布:9月2日知乎科技热点
