AI 日报 · 2026年10月28日 · 星期三

第 25 期282026 年 10 月星期三

3件大事3个来源2件一手发布2个新模型约 1 分钟读完

OpenAI 请外部专家核查 AI 产出的数学与物理证明

AI 导读

OpenAI 请外部专家担任 shepherd，核查其 AI 在数学、计算机科学与物理领域产出的证明，并按各领域专家建议分别处理。数学与计算机科学的证明已被翻译成 Lean，计算机科学结果声称推翻了指数时间假设（ETH）。

根据本期 3 条入选内容撰写3 家来源

Google DeepMind一手

Google DeepMind 发布世界模型 Genie 4，原生支持多模态，可在生成世界的同时产出音乐、环境音与交互对话，并支持用自然语言实时修改天气、镜头和场景人物。

Hugging Face Blog一手

Liquid AI 发布 LFM3 新一代 Liquid Foundation Models，以 LFM3-1.7B-Base 为统一骨干衍生出文本、视觉、音频、全模态和决策共六款 2B 级模型，全部开源权重并已在 Hugging Face 上线。

The Decoder

OpenAI 请外部专家担任 shepherd 核查其 AI 在数学、计算机科学和物理三个领域产出的证明，并按各领域专家建议分别处理。数学与计算机科学的证明已被翻译成 Lean，计算机科学结果声称推翻了指数时间假设（ETH），数学结果声称证明了所有维度上的局部平滑猜想。