Edge AI Daily 早报（10月18日）

硅谷前沿：

> 一、OpenAI 称 AI 攻克纳维-斯托克斯难题，数学界质疑证明有效性

1.核心事件：2026年9月8日，OpenAI宣布其内部AI系统证明三维不可压缩纳维-斯托克斯方程可在有限时间内形成奇点（七大千禧年难题之一），同步公开论文与Lean形式化证明；官方披露耗时约88小时、约1万个并发智能体、约270万条消息、约1300亿输出token，算力成本达数百万美元量级，并明确放弃100万美元奖金。对比巴克马斯特与阿尔珀格耗时近一年的同类研究，两种节奏形成强烈反差。

2.争议一（题目边界与原创新）：OpenAI解决的是费弗曼官方表述中“带光滑外力”情形（C、D项），并未关闭“外力为零”情形，被《Scientific American》质疑“是否解错了题”；其论文初版未引用科尔多瓦与马丁内斯-索罗阿关于构造外力触发爆破的既有路径，经巴克马斯特公开批评后，才在166页更新版补上引用，方法原创性与信息透明度之争持续。

3.争议二（验证边界与学术秩序）：Lean验证只能机械核验命题与证明的匹配，无法裁定是否正好击中千禧年问题边界，也无法裁决研究路线归属；部分数学家形容论文以“地毯式轰炸”方式倾泻而“难以审阅”，陶哲轩则警告把纳维-斯托克斯这类富有生产力的问题变成模型进展的“病毒式广告”，会让好问题成为稀缺资源。截至发稿，独立同行评审尚未开展，克雷数学研究所未作认定。

> 二、Anthropic 撤下 Haiku 4.5 免费版

1.产品动作（变化）：Anthropic 于10月7日发布 Claude Haiku 5.5，并于10月15日宣布自10月29日起将上一代 Haiku 4.5 从免费版、Pro、Max 三档套餐的模型选择器中移除，用户对话自动切换至 Haiku 5.5；Team、Enterprise 套餐及 API 调用不受影响，呈现“C 端无感升级、B 端契约稳定”的分层处理逻辑。

2.定价信号（数据＋趋势）：Haiku 5.5 对10万 token 以下请求定价为输入0.10美元、输出0.50美元每百万 token，较 Haiku 4.5 ...

Edge AI Daily | tmtpost​.com • Oct 18, 2026