AI 周报 · 2026 年第 41 周 · 10.05 — 10.11
中不溜 AI
OpenAI 数学手稿引争议,GPT-6 全球上线
2026 年 10 月 5 日至 10 月 11 日,AI 领域在模型发布、数学争议和资本动态上均有重要进展。OpenAI 在 ChatGPT 全球上线 GPT-6 与 Intelligent UI,并一次性发布 700 余篇数学手稿,声称解决数百个未解问题,引发数学界强烈反弹,部分研究者呼吁抵制,Terence Tao 提出 Math 2.0 时代。Anthropic 发布 Claude Haiku 5.5,成本较前代降低约 75%,并上线 AWS。DeepSeek 获宁德时代与腾讯领投的至少 120 亿美元融资,计划 2027 年初 IPO。此外,NVIDIA 与 Microsoft 推出 RTX Spark 和 Windows 智能体基础设施,Google DeepMind 开源多模态嵌入模型 EmbeddingGemma 2,OpenAI 处置两起 AI 驱动的影响力行动。
OpenAI 数学成果引学界反弹
本版导读OpenAI 于 10 月 6 日一次性发布 700 余篇数学手稿,声称解决数百个未解问题,并公布内部前沿模型在数学开放问题上的新结果及 Lean 证明形式化细节。数学博客 Proofs and Prompts 收集了 100 多位研究者的回应,部分人士呼吁抵制 OpenAI。菲尔兹奖得主 Terence Tao 发布 AHM 声明,称数学应进入不再以解题为主要衡量标准的 Math 2.0 时代。过去一年,OpenAI、Anthropic 等实验室宣布在多个长期未解数学问题上取得突破,包括一个千禧年大奖难题,但成果未获一致认可,AI 实验室表示正在从早前失误中吸取教训。
数学家对 OpenAI 一次性发布 700 余篇数学手稿感到震惊与厌恶
OpenAI 于 2026 年 10 月 6 日一次性发布 700 余篇手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。
AI 攻占数学界引发的争议梳理
过去一年,OpenAI、Anthropic 等实验室宣布在多个长期未解的数学问题上取得突破,部分进展超出研究者对现有系统能力的预期,其中包括解决了一个著名的千禧年大奖难题。但这些成果并未获得一致认可,反而在学界引发反弹,AI 实验室表示正在从早前的失误中吸取教训,这些承诺能否兑现尚待观察。文章汇总了围绕 OpenAI 数学突破的一系列争议与后续进展。
数学家呼吁抵制 OpenAI,AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客以客座文章形式发布了 AHM 的声明,并称数学应进入不再以解题为主要衡量标准的 Math 2.0 时代;Scott Aaronson 则称之为 Mathocalypse。
OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 发布内部前沿模型在数学开放问题上的新结果,并公开 Lean 证明形式化与研究细节,相关材料已上传至 GitHub。
GPT-6 与 Claude Haiku 5.5 发布
本版导读OpenAI 在 ChatGPT 全球上线 GPT-6 与 Intelligent UI,官方称新版本响应更快,提供可视化内容和可直接探索、使用的交互体验。Anthropic 发布 Claude Haiku 5.5,这是 Haiku 系列约一年来的首次更新,定价与 OpenAI 的 GPT-6 Luna 持平,平均运行成本比 Haiku 4.5 低约 75%,已上线 Claude Platform 和 Claude Code。AWS 同步在 Amazon Bedrock 和 Claude Platform on AWS 上线该模型,面向子智能体和高并发、成本敏感任务。
OpenAI 在 ChatGPT 全球上线 GPT-6 与 Intelligent UI
OpenAI 宣布 GPT-6 正在 ChatGPT 中面向全球上线,并同步推出 Intelligent UI。官方称新版本响应更快,提供可视化内容和可直接探索、使用的交互体验。
Anthropic 发布 Claude Haiku 5.5,定价对齐 GPT-6 Luna
Anthropic 发布 Claude Haiku 5.5,这是 Haiku 系列约一年来的首次更新,定价与 OpenAI 的 GPT-6 Luna 持平,官方称其平均运行成本比 Haiku 4.5 低约 75%,已上线 Claude Platform 和 Claude Code。
AWS 上线 Claude Haiku 5.5,成本较 Haiku 4.5 降低约 75%
AWS 宣布 Claude Haiku 5.5 在 Amazon Bedrock 和 Claude Platform on AWS 上线,据 Anthropic 称它是 Claude 5.5 系列中速度最快、最高效的模型,面向子智能体和高并发、成本敏感的任务,多数任务成本比 Claude Haiku 4.5 低约 75%。
DeepSeek 获巨额融资拟 IPO
本版导读据 Bloomberg 报道,DeepSeek 即将完成至少 120 亿美元的新一轮融资,宁德时代与腾讯出资份额最大,总规模可能接近 150 亿美元。公司最初计划以约 750 亿美元估值融资约 75 亿美元,本轮完成后将进行重组,计划于 2027 年初 IPO。
宁德时代与腾讯领投 DeepSeek 新一轮融资,公司计划 2027 年初 IPO
据 Bloomberg 报道,DeepSeek 即将完成至少 120 亿美元的新一轮融资,宁德时代与腾讯出资份额最大,总规模可能接近 150 亿美元。公司最初计划以约 750 亿美元估值融资约 75 亿美元,本轮完成后将进行重组,计划于 2027 年初 IPO。
Windows 智能体基础设施落地
本版导读NVIDIA 与 Microsoft 在旧金山 Windows AI and Surface 活动上宣布为 Windows PC 的智能体协同设计软硬件,并公布 Microsoft Execution Containers(MXC)正式可用,让智能体在操作系统控制下安全持久地在后台运行。
NVIDIA 与 Microsoft 发布 RTX Spark 与 Windows 智能体基础设施
NVIDIA 与 Microsoft 在旧金山 Windows AI and Surface 活动上宣布为 Windows PC 的智能体协同设计软硬件,并公布 Microsoft Execution Containers(MXC)正式可用,让智能体在操作系统控制下安全持久地在后台运行。
开源多模态嵌入模型发布
本版导读Google DeepMind 发布 EmbeddingGemma 2,一个基于 Gemma 4 架构、Apache 2.0 许可的开源多模态嵌入模型,把文本、图像、音频和视频映射到统一嵌入空间,参数量 740M。
Google DeepMind 发布 EmbeddingGemma 2 开源多模态嵌入模型
Google DeepMind 发布 EmbeddingGemma 2,一个基于 Gemma 4 架构、Apache 2.0 许可的开源多模态嵌入模型,把文本、图像、音频和视频映射到统一嵌入空间,参数量 740M。
OpenAI 处置 AI 影响力行动
本版导读OpenAI 表示已处置两起由 AI 驱动的影响力行动,这些行动利用虚假媒体身份和一家智库传播地缘政治信息。
OpenAI 处置两起 AI 驱动的虚假媒体影响力行动
OpenAI 表示已处置两起由 AI 驱动的影响力行动,这些行动利用虚假媒体身份和一家智库传播地缘政治信息。