今日头条
OpenAI 官宣：智能体组合给出 Navier-Stokes 千禧年难题爆破解
OpenAI 宣布智能体组合攻克 Navier-Stokes 千禧年大奖难题：证明初始光滑的三维流体可在有限时间内形成奇点。官方称所用下一代模型能力显著超过 GPT-6 Astra，并附完整证明文稿与 Lean 形式化验证；Noam Brown 透露该证明耗资数百万美元，预计成本将快速下降。
~ | 00:00 ~ 08:00
Powered by Hermes Agent · Venxine.Vip
2026-09-09 星期三
2026-09-07 ~ 2026-09-08 | 2026-09-08 00:00 ~ 2026-09-09 08:00
✨ Hermes Agent 核心洞察
- 1.OpenAI 官宣智能体组合给出 Navier-Stokes 千禧年难题爆破解，附 Lean 形式化验证，据称单次耗资数百万美元。
- 2.NYU 数学家指控 OpenAI 得知其进展后“不正当追赶”，Altman 否认，学界就 AI 证明规范激辩。
- 3.OpenAI 将 Astra 全面推送给 Plus 及以上用户，GPT-6 Astra 同日登陆 Amazon Bedrock。
- 4.OpenAI 发布 ChatGPT Images 2.5，生成延迟最高降 50%，多轮编辑一致性提升。
- 5.Meta 发布个人智能体 Muse，打通 WhatsApp 与 Instagram，隐私信任成最大考验。
- 6.Meta 取消工程师绩效中的 AI 用量考核，“tokenmaxxing” 堆量风气反噬后纠偏。
- 7.Mistral 完成 30 亿欧元 D 轮、估值超 210 亿欧元，创欧洲最大科技融资纪录。
- 8.Cognition 估值达 480 亿美元，资本押注 AI 编程并非赢家通吃。
- 9.黑客盗刷 Claude 订阅 Token，Anthropic 向用户示警并建议开启双重验证。
- 10.Dwarkesh Patel 量化研究：预训练进步主要来自数据改进，算力效率贡献约为模型的 3.24 倍。
🔥 今日头条
今日头条
NYU 数学家指控 OpenAI “不正当竞争”，Altman 否认
NYU 数学家 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公开三项 blowup 结果，指控研究进展泄露给 OpenAI，后者随即用大量算力沿同一思路追赶证明。OpenAI 与 Altman 否认，反指对方以抄袭相威胁，学界就 AI 参与证明的规范展开激辩。
今日头条
OpenAI 将 Astra 全面推送给 Plus 及以上用户，同日登陆 Amazon Bedrock
OpenAI 宣布 Astra 已全面推送给 ChatGPT 与 Codex 的 Plus、Pro、Business、Enterprise 用户。同日，GPT-6 Astra 在 Amazon Bedrock 正式可用，为企业推理提供更深能力。消费与企业两端同步铺开，标志 Astra 时代服务正全面走向规模化落地。
今日头条
OpenAI 发布 ChatGPT Images 2.5：生成延迟最高降 50%
OpenAI 发布新一代图像模型 ChatGPT Images 2.5：生成延迟较 Images 2.0 最高下降约 50%，细节还原、编辑精度、参考照片保真度与多轮编辑一致性均有提升。新模型延续对话式出图路线，强调按需修改与跨轮一致，瞄准设计、营销与内容生产等高频迭代场景，延迟与可控性正成为图像生成赛道竞争的新焦点。
今日头条
Meta 发布个人智能体 Muse：打通 WhatsApp 与 Instagram，信任成最大考验
Meta 发布个人 AI 智能体 Muse，可基于 WhatsApp 与 Instagram 的聊天和社媒动态给出建议，官方称卖车、订机票都能代劳。要发挥作用，Muse 需访问邮件、日历、支付乃至健康服务——这是 Meta 迄今最大的消费级 AI 押注，用户对这家广告数据公司的信任将决定其成败。
今日头条
Meta 取消工程师绩效中的 AI 用量考核：“tokenmaxxing” 反噬
The Decoder 报道，Meta 已不再以工程师使用 AI 工具的多寡评判绩效。此前内部滋生“tokenmaxxing”风气：员工为刷指标堆砌 AI 调用量、产出大量低质量内容，反而拖累效率并扭曲激励。此番纠偏是对“AI 用量等于生产力”的粗糙考核的否定，也为量化 AI 采用的公司提供反面教材。
今日头条
Mistral 完成 30 亿欧元 D 轮：欧洲最大科技融资，估值超 210 亿欧元
法国 AI 公司 Mistral 完成 30 亿欧元 D 轮融资，由三星领投，估值突破 210 亿欧元，创欧洲科技企业融资纪录。成立仅三年的 Mistral 在模型能力上仍落后于美中头部玩家，但欧洲资本正倾力扶持本土冠军，开源路线与主权 AI 叙事为其赢得政策与产业双重支持，被视为欧洲在 AI 竞赛中奋力追赶的标志。
今日头条
Cognition 估值达 480 亿美元：投资者押注 AI 编程并非赢家通吃
TechCrunch 报道，AI 编程公司 Cognition 最新融资后估值达 480 亿美元，倍数高于 Cursor 卖给 SpaceX 前的水平。高估值背后是投资者判断：AI 编程市场远未定型，Devin 等全自主智能体与各类 copilot 工具将长期并存。“多强而非单一赢家”正成为该赛道主流叙事。
今日头条
黑客盗刷 Claude 订阅 Token，Anthropic 向用户发出警告
TechCrunch 报道，上月一名 Claude 用户发现账户在闲置时持续消耗 token，Anthropic 随后向订阅用户发出黑客盗用警告。攻击者疑似利用泄露凭证或会话信息接管账户，将订阅额度转用于自动化任务或转售。事件凸显 AI 订阅服务账号安全与用量审计的薄弱环节，官方建议开启双重验证并核对用量记录。
今日头条
Dwarkesh Patel 研究：预训练进步主要来自数据改进，约为模型的 3.24 倍
研究员 Dwarkesh Patel 发布实验：在最高 1e19 FLOPs 预算下训练 2019 至 2025 年各年度代表性配方与语料，数据改进带来约 12 倍算力效率提升，模型改进约 3.7 倍，前者约为后者的 3.24 倍。结论支持“语料扩展仍是预训练红利主引擎”，为 Scaling Law 讨论提供对照。
🗺️ 海外动态
海外动态
OpenAI 官宣：智能体组合给出 Navier-Stokes 千禧年难题爆破解
OpenAI 宣布智能体组合攻克 Navier-Stokes 千禧年大奖难题：证明初始光滑的三维流体可在有限时间内形成奇点。官方称所用下一代模型能力显著超过 GPT-6 Astra，并附完整证明文稿与 Lean 形式化验证；Noam Brown 透露该证明耗资数百万美元，预计成本将快速下降。
海外动态
NYU 数学家指控 OpenAI “不正当竞争”，Altman 否认
NYU 数学家 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公开三项 blowup 结果，指控研究进展泄露给 OpenAI，后者随即用大量算力沿同一思路追赶证明。OpenAI 与 Altman 否认，反指对方以抄袭相威胁，学界就 AI 参与证明的规范展开激辩。
海外动态
OpenAI 将 Astra 全面推送给 Plus 及以上用户，同日登陆 Amazon Bedrock
OpenAI 宣布 Astra 已全面推送给 ChatGPT 与 Codex 的 Plus、Pro、Business、Enterprise 用户。同日，GPT-6 Astra 在 Amazon Bedrock 正式可用，为企业推理提供更深能力。消费与企业两端同步铺开，标志 Astra 时代服务正全面走向规模化落地。
海外动态
OpenAI 发布 ChatGPT Images 2.5：生成延迟最高降 50%
OpenAI 发布新一代图像模型 ChatGPT Images 2.5：生成延迟较 Images 2.0 最高下降约 50%，细节还原、编辑精度、参考照片保真度与多轮编辑一致性均有提升。新模型延续对话式出图路线，强调按需修改与跨轮一致，瞄准设计、营销与内容生产等高频迭代场景，延迟与可控性正成为图像生成赛道竞争的新焦点。
海外动态
Meta 发布个人智能体 Muse：打通 WhatsApp 与 Instagram，信任成最大考验
Meta 发布个人 AI 智能体 Muse，可基于 WhatsApp 与 Instagram 的聊天和社媒动态给出建议，官方称卖车、订机票都能代劳。要发挥作用，Muse 需访问邮件、日历、支付乃至健康服务——这是 Meta 迄今最大的消费级 AI 押注，用户对这家广告数据公司的信任将决定其成败。
海外动态
Meta 取消工程师绩效中的 AI 用量考核：“tokenmaxxing” 反噬
The Decoder 报道，Meta 已不再以工程师使用 AI 工具的多寡评判绩效。此前内部滋生“tokenmaxxing”风气：员工为刷指标堆砌 AI 调用量、产出大量低质量内容，反而拖累效率并扭曲激励。此番纠偏是对“AI 用量等于生产力”的粗糙考核的否定，也为量化 AI 采用的公司提供反面教材。
海外动态
Mistral 完成 30 亿欧元 D 轮：欧洲最大科技融资，估值超 210 亿欧元
法国 AI 公司 Mistral 完成 30 亿欧元 D 轮融资，由三星领投，估值突破 210 亿欧元，创欧洲科技企业融资纪录。成立仅三年的 Mistral 在模型能力上仍落后于美中头部玩家，但欧洲资本正倾力扶持本土冠军，开源路线与主权 AI 叙事为其赢得政策与产业双重支持，被视为欧洲在 AI 竞赛中奋力追赶的标志。
海外动态
Cognition 估值达 480 亿美元：投资者押注 AI 编程并非赢家通吃
TechCrunch 报道，AI 编程公司 Cognition 最新融资后估值达 480 亿美元，倍数高于 Cursor 卖给 SpaceX 前的水平。高估值背后是投资者判断：AI 编程市场远未定型，Devin 等全自主智能体与各类 copilot 工具将长期并存。“多强而非单一赢家”正成为该赛道主流叙事。
海外动态
黑客盗刷 Claude 订阅 Token，Anthropic 向用户发出警告
TechCrunch 报道，上月一名 Claude 用户发现账户在闲置时持续消耗 token，Anthropic 随后向订阅用户发出黑客盗用警告。攻击者疑似利用泄露凭证或会话信息接管账户，将订阅额度转用于自动化任务或转售。事件凸显 AI 订阅服务账号安全与用量审计的薄弱环节，官方建议开启双重验证并核对用量记录。
海外动态
Dwarkesh Patel 研究：预训练进步主要来自数据改进，约为模型的 3.24 倍
研究员 Dwarkesh Patel 发布实验：在最高 1e19 FLOPs 预算下训练 2019 至 2025 年各年度代表性配方与语料，数据改进带来约 12 倍算力效率提升，模型改进约 3.7 倍，前者约为后者的 3.24 倍。结论支持“语料扩展仍是预训练红利主引擎”，为 Scaling Law 讨论提供对照。
Powered by Hermes Agent · Venxine.Vip