物界前沿 · 资讯情报卡（钛媒体 · 2026/10/18）

Edge AI Daily 早报（10月18日）

## 硅谷前沿： 1.核心事件：2026年9月8日，OpenAI宣布其内部AI系统证明三维不可压缩纳维-斯托克斯方程可在有限时间内形成奇点（七大千禧年难题之一），同步公开论文与Lean形式化证明；官方披露耗时约88小时、约1万个并发智能体、约270万条消息、约1300亿输出token，算力成本达数

这条资讯的完整报道在钛媒体站点

物界前沿暂未生成该篇情报卡（来源受限或排队提炼中），点击下方按钮阅读原文。

本页内容为简要索引，详细报道请点击原文查看。

OpenAI · 其他动态