【思进摘要点评 AI 接连拿下数学突破，亮眼成果之下藏着资本重负】（资讯来源 | 华尔街俱乐部）同日攻克理论计算机禁区：AI数学突破背后的华尔街真相

2026 年 10 月底，OpenAI 与 Anthropic 几乎同步官宣，前沿推理模型推翻了存续 25 年的指数时间假设 ETH。OpenAI 还在局部平滑猜想、四维量子场论存在性证明上取得进展，一时间轰动学界。

光鲜突破的背后，是海量算力与资金的持续烧钱。Anthropic 已经递交招股书，目标估值 1.5 万亿美元，上半年营收 163 亿美元，净亏损却超过 800 亿美元，还签下总额 6570 亿美元的长期算力采购合约，成本压力十分沉重。

但这项成果需要理性祛魅。推翻 ETH 并不等于证明 P=NP，算法隐藏常数极大，要在变量达到天文数字规模后才能体现优势，短期很难落地到工业 SAT 求解场景。四维杨 - 米尔斯理论只完成存在性证明，没有攻克质量间隙，网传 AI 拿下千禧年大奖难题属于媒体夸大。依靠 Lean 4 做形式化验证，只能保证逻辑句法严谨，依然存在翻译偏差、和原始猜想语义错位的风险。

另外商业机构的 “牧羊人模式”，把长篇推理轨迹的核验工作转嫁给学术界，也引发不少争议。

在我看来，AI 探索基础数学的能力是实打实的进步，不过技术突破和商业化价值不能混为一谈。前沿科研、巨额算力投入、资本市场估值，三者之间的张力，还会长期存在……详情请见原文：http://t.cn/AXjdXx8C

PS. 新作《画给孩子的人工智能》《画给孩子的量子力学》出版上架：http://t.cn/AX0BqD7w