2026-10-28 · 第 9 期
AI 日报 · 2026-10-28
本期精选
OpenAI 模型成果被指推翻指数时间假设,Anthropic 随后发布反驳
TechCrunch 报道 OpenAI 发布了解决三个重大数学问题的方案,其中包含对指数时间假设(ETH)的推翻,随后 Anthropic 也发布了相关反驳。
TechCrunch · AI ↗Hugging Face 发布 LFM3 模型家族,支持单 GPU 微调及 256K 上下文
Hugging Face 官方博客报道了新一代 Liquid Foundation Models (LFM3) 的发布。该系列包含文本、视觉、音频等六个 2B 级别模型,采用混合架构,专为边缘设备设计,支持单 GPU 微调,其中文本模型具备 256K 上下文窗口。
Hugging Face Blog ↗OpenAI 称模型证明指数时间假设为假,聘专家复核
据 The Decoder 报道,OpenAI 宣布其内部 AI 模型产出了反驳计算机科学核心假设(指数时间假设 ETH)及证明千禧年难题部分的数学证明,并聘请包括诺贝尔奖得主在内的外部专家作为“守护者”来验证这些结果的有效性。
The Decoder ↗Axiom 利用 AI 和 Lean 完成有限单群分类定理的机器验证与勘误
据作者报道,AI 数学公司 Axiom 宣布利用几十个 AI agent 配合 Lean 工具,用 24 天完成了“有限单群分类定理”的形式化验证。尽管定理本身成立,但 AI 发现其中一篇论文证法存在逻辑漏洞,并据此重构了证明过程,生成了新的 35 页论文,同时修正了多处笔误与逻辑错误。
@dotey ↗OpenAI发布GPT-6.1 Terra:价格减半,编程与幻觉指标提升
来源报道OpenAI于2026年10月26日发布中端模型GPT-6.1 Terra。API价格比上代降低50%,内部测试显示‘说错话’概率降至16.7%,命令行编程任务通过率50.3%。已开放给ChatGPT Work与Codex用户,第三方实测其成本低于Claude Opus 5.5。
jeffzhengye ↗OpenAI 称 AI 模型推翻指数时间假设,外部专家开始核查
来源报道 OpenAI 宣布其内部模型在数学、计算机及物理领域取得三项成果,包括推翻计算机科学的指数时间假设。其中两项证明已通过 Lean 检查并公开代码,但均未经同行评审,目前由专家组进行独立核查。
@dotey ↗AWS SageMaker AI推出SOCI索引功能,支持秒级启动容器任务
AWS官方博客宣布在SageMaker AI训练与处理任务中引入SOCI索引技术。该功能允许系统按需提取并懒加载容器镜像,无需下载整个镜像即可在数秒内启动任务,官方基准测试显示GPU空闲时间最高减少90%。
AWS Machine Learning Blog ↗Google DeepMind 发布实时世界模型 Genie 4,支持实时生成音频
来源 The Decoder 报道,Google DeepMind 推出 Genie 4,这是一个能实时生成帧画面、背景音频和角色对话的世界模型。它利用 Gemini 模型在后台进行多步任务规划以保持模拟一致性,目前仅限少量测试者访问,后续将向 AI Ultra 订阅者开放。
The Decoder ↗The Verge 报道 Anthropic 拟通过新治理结构应对上市压力
The Verge 报道,Anthropic 计划 IPO,并设计了独特的治理结构以保障 AI 安全优先,防止股东压力妥协产品安全性。
The Verge · AI ↗Anthropic 工程师谈 Opus 5.5 发布与 Managed Agents 架构
Latent Space 报道 Anthropic 工程与产品负责人阐述 Opus 5.5 的成本控制、API 安全集成及“脑手分离”的 Managed Agents 架构设计。
Latent Space ↗Google Research 发布支持持续学习的 LLM 睡眠框架
Google Research 于 2026 年 10 月 27 日发布研究,提出一种名为“睡眠框架”的持续学习范式,旨在让 LLM 在部署后通过离线记忆巩固持续整合新知识,缓解灾难性遗忘,支持最长 10M tokens 的长上下文知识保留。
Google Research ↗苹果将在Pages、Keynote和Numbers中新增AI助手并支持MCP
The Verge报道苹果将为Pages、Keynote和Numbers等应用添加基于苹果和OpenAI模型的AI助手,支持iOS 27、iPadOS 27及macOS 27,并支持Model Context Protocol让第三方代理接入,功能目前处于Beta测试阶段。
The Verge · AI ↗