重点 · 1官方/一手媒体报道
OpenAI 称模型推翻指数时间假设，另有两项数学物理结果
- OpenAI 10 月 26 日（美国时间）发文：内部模型 10 月 16 日写出 ETH 的否证，次日完成 Lean 形式化；如果成立，3-SAT 存在亚指数时间算法，但不等于 P=NP，实际提速还需大量研究。核查小组由 ETH 提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 牵头，OpenAI 将出资办一场专题会议。
- 数学：模型证明了所有维度的局部光滑化猜想，进而推出所有维度的 Kakeya 猜想和 Stein 限制猜想，论文与 Lean 证明已公开。
- 物理：模型给出四维量子色动力学及一种大统一理论存在性的严格证明，其中包含纯 Yang–Mills 理论的存在性；由诺奖得主 David Gross 牵头的小组暂不公开 AI 产出，改为自行撰写。这只是千禧年难题的一部分，未涉及质量间隙。
为什么重要若 ETH 否证成立，几百篇依赖它的复杂度下界要重新审视。【分析】
疑点Science 报道，10 月 6 日那批稿件已撤回 3 篇、修订 14 篇，Navier–Stokes 结果的 Lean 形式化被指与论文表述不一致；有 Lean 证明也要先核对形式化命题本身。
来源OpenAI · The Next Web · Science
重点 · 2官方/一手媒体报道
Anthropic 公开递交 S-1，拟在纳斯达克以「ANT」上市
- 10 月 26 日公开递交，主承销商为高盛、摩根士丹利；发行股数和价格区间未定。美联社称最快下月上市。
- CNBC 摘录招股书：上半年收入 162.9 亿美元，隐含毛利率约 85%；净亏损 807 亿美元，其中约 720 亿是可转债估值变动的会计费用；截至 9 月 30 日有 5,300 名员工，9 月代码库超九成贡献由 Claude 写成。
- 算力承诺：向 SpaceX 每月约 31 亿美元，Amazon Trainium 至 2036 年 1,100 亿美元，Google TPU 至 2033 年 1,145 亿美元；不可撤销采购承诺 2,656 亿美元。创始人共同持有的 Founder LLC 掌握 50.1% 投票权。
为什么重要前沿实验室的收入、毛利和算力账第一次经审计公开，可直接对照 OpenAI 和云厂商的说法。【分析】
来源Anthropic · SEC · CNBC
重点 · 3官方/一手
OpenAI 发布 GPT-6.1 Terra，电脑操作任务成本大降
- 10 月 26 日上线 ChatGPT Work、Codex 和 API，定价每百万 token 输入 1 美元、输出 5 美元，比 GPT-5.6 Terra 和 GPT-6.1 Sol 低一半。
- OpenAI 自测：Agents' Last Exam 中等推理档比 GPT-5.6 Terra 高 15 个百分点、成本约三分之一，与 GPT-6 Astra 持平；最高档单任务成本约为 Claude Opus 5.5 的九分之一。Terminal-Bench 4.0 解题率 50.3%。
- 网络安全能力达到其准备度框架的「Critical」级别，沿用 GPT-6 Astra 的防护措施。
为什么重要中档模型的网络安全能力也达到最高风险级别，防护压力从旗舰模型下沉。【分析】
来源OpenAI