AI 日报 · 2026 年 10 月 8 日 · 星期四
MYHOT
OpenAI 一次性公开 372 项数学证明，含唯一游戏猜想
OpenAI 在顾问组推荐下一次性发布 372 项数学突破结果，其中包含 Subhash Khot 的唯一游戏猜想证明以及 L=BPL 等重要成果。同日，Anthropic 发布主打高吞吐低成本的 Claude Haiku 5.5，OpenAI 在 ChatGPT 全球上线 GPT-6 与 Intelligent UI，NVIDIA 公布 Nemotron 在 IOI 与 IMO 2026 达到金牌级的方案。
内容创作
OpenAI 在 ChatGPT 全球推出 GPT-6 与 Intelligent UI
GPT-6 在 ChatGPT 全球上线，并随附 Intelligent UI，提供更快响应以及可直接探索和使用的可视化与交互体验。
研究与应用
OpenAI 一次发布 372 项数学证明，包括唯一游戏猜想
据 Scott Aaronson 整理，OpenAI 在顾问组推荐下一次性公开 372 项数学突破结果，其中包括 Subhash Khot 的唯一游戏猜想（UGC）证明、L=BPL、Fourier 变换整数乘法低于 O(n log n) 的新上界、Unitary Synthesis 问题的正面解答、Parity 不在 QAC0 等，部分配有 Lean 证书。
Anthropic 发布 Claude Haiku 5.5，主打高吞吐低成本任务
Anthropic 发布 Claude Haiku 5.5，主打高吞吐、成本敏感型任务，是其迄今最便宜、最快、能力最强的小模型。
NVIDIA 公布 Nemotron 在 IOI 与 IMO 2026 的金牌级微调与推理方案
NVIDIA 在 Hugging Face 博客介绍基于 Nemotron 3 微调出的系统在 IOI 2026 与 IMO 2026 均达到金牌线，其中 IOI 由 Nemotron-3-Ultra-CC 配合 GenCorrect 取得 535.4/600 分。
Google Research一手Google 研究：AI 协助三个月专利撰写实地实验显示初级律师未获持久判断力提升
Google Research 发布与 NBER 合作的论文《Does AI Assistance Enhance or Erode Expertise?
效率与办公
NVIDIA 与微软联合发布 RTX Spark 笔记本与 DGX Station for Windows，MXC 进入正式可用阶段
在旧金山的 Windows AI 与 Surface 活动上，NVIDIA Jensen Huang 与微软 Satya Nadella 共同宣布 RTX Spark 本地 AI 硬件与 Windows 智能体基础设施。