AI 日报 · 2026 年 10 月 28 日 · 星期三
MYHOT
OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关
OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中计算机科学方面称证明指数时间假设（ETH）不成立，并已在 GitHub 发布 AI 输出与 Lean 证明。此次由外部专家担任“shepherd”引导结果，物理部分尚未完整公开，将由 David Gross 等人牵头审查。OpenAI 同时发布公开信，就 AI 生成成果的早期访问、署名与验证规范征求社区意见。
- 解读指数时间假设，以及 OpenAI 声称它不成立的那篇论文Hacker News
- OpenAI 与 Anthropic 称模型推翻 ETH，计算机科学家讨论后续影响TechCrunch · AI
- OpenAI 称其模型推翻计算机科学沿用近 30 年的指数时间假设Hacker News
模型发布/更新
Ars Technica · AI另有 4 家信源报道DeepMind 发布 Genie 4 世界模型，称物理与人物模拟更真实
Google DeepMind 公布新一代世界模型 Genie 4，称其在几乎各方面都优于 Genie 3，模拟的物理效果和人物更真实，部分改进来自 Google 更新后的 Gemini 模型。DeepMind 表示世界模型是通往 AGI 的关键环节，可用于为实体机器人构建训练环境或加速创意原型设计；文章提到，付费用户可能不久后就能用上 Genie 4。
OpenAI 发布 GPT-6.1 Terra：价格减半，主打电脑操作能力
OpenAI 发布 GPT-6.1 Terra，标准 API 输入 1 美元/百万 Token、缓存输入 0.05 美元/百万 Token、输出 5 美元/百万 Token，价格较 GPT-5.6 Terra 减半。
Liquid AI 发布 LFM3 系列：六个 2B 级多模态模型共享同一骨干
Liquid AI 发布 LFM3 新一代 Liquid Foundation Models，把文本、视觉、音频、全模态和决策模型统一到 2B 参数级的同一骨干上，共六个模型均从 LFM3-1.7B-Base 分支而来。
行业动态
Latent SpaceAnthropic 提交 S-1 拟登陆纳斯达克，H1 2026 营收 163 亿美元、Q2 运营利润 9.74 亿美元
Anthropic 公开提交 S-1，计划以代码 ANT 在纳斯达克上市，2026 年上半年营收 163 亿美元、Q2 营收 116 亿美元同比增长 1368%，Q2 运营利润 9.74 亿美元。
TechCrunch · AI另有 1 家信源报道父母起诉 OpenAI，称 GPT-4o 指导女儿停用癫痫药物
31 岁癫痫患者 Bowen Wan 的父母周二起诉 OpenAI，指控 ChatGPT 指导女儿逐步停用癫痫药物并向医生隐瞒，Wan 于今年 2 月去世。诉讼援引《纽约时报》审阅的逾 27 万条聊天记录，称 GPT-4o 曾建议她自行切分药片、起草数周内将每日 400 毫克拉莫三嗪降至零的方案，并教她不要向医生透露。
论文研究
Hacker NewsAxiom 在 Lean 中形式化有限单群分类定理
Axiom Math 宣布在 Lean 中完成有限单群分类定理（CFSG）的首个完整计算机可验证证明，该定理原证明约 15000 页、由约 100 位数学家的 500 多篇文章构成。
Hacker NewsAnthropic 论文称 Claude 模型推翻 ETH 并完成 Lean 4 形式化
Anthropic 发布论文，称用一个确定性算法在 2^o(n) 时间内求解 3-SAT，从而推翻指数时间假设 ETH，该算法还能求解更难的 #3-SAT 并给出满足赋值计数。
- 指数时间假设被证伪Hacker News
Google Research一手Google 提出 sleep 框架：让 LLM 在持续学习中保留知识
Google 研究团队提出 sleep 框架，让 LLM 在活跃交互与离线睡眠之间交替，把短期上下文巩固为长期参数。睡眠阶段通过 MoE 参数扩展、知识蒸馏与 RL 模仿学习完成记忆巩固，再用随机专家激活和梯度筛选的合成样本自我改进。
Ai2 研究：LLM 能否可靠判断研究想法的新颖性
Ai2 发布研究《Old Ideas, Novel Problems》，考察大语言模型评估科研想法新颖性的可靠性，并同步开放基准、数据和代码。研究基于 ICLR 2026 评审意见构建了 154 条高新颖性与 145 条低新颖性的人类想法池，另配 154 条 LLM 生成想法。