OpenAI 公布千禧年候选证明,Meta 发布 Muse,DeepMind 开放 AlphaGenome Atlas
- OpenAI 用约 1 万 Agent 产出 Navier-Stokes 候选证明
- Meta 发布个人 Agent Muse,含隔离云端 VM
- DeepSeek 开启 V4.1 Flash 内测并下调 Flash 价格
OpenAI 公布内部模型与约 1 万 Agent 产出 Navier-Stokes 千禧年问题候选证明,并与 NYU 数学家陷入署名争议;同日发布 ChatGPT Images 2.5,Meta 推出个人 Agent Muse,DeepMind 开放 AlphaGenome Atlas,DeepSeek 开启 V4.1 Flash 内测并启动科创板筹备。
1️⃣ [持续跟踪] OpenAI 官宣 AI 产出 Navier-Stokes 千禧年难题候选解,与 NYU 数学家陷署名争议#
核心进展:OpenAI 发布候选证明,称由内部下一代模型驱动约 1 万个 Agent、88 小时内找到三维 Navier-Stokes 方程的有限时间奇点,并用 Lean 完成形式化验证。
- 前情提要:NYU 教授 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 借助 Claude、Codex、GPT-5.6 Sol 等模型宣布多项受迫流体方程爆破结果,随后 Buckmaster 公开声明指控 OpenAI 闻讯后突击攻关,并试图要求其移除 Alpöge 的署名。
- 最新突破:OpenAI 承认其 Navier-Stokes 工作始于 9 月 1 日听到相关传闻之后,先由约 100 个 Agent 完成 Euler 反证,再扩展至约 1 万个 Agent 并行攻关;项目总计约 490 万条 Agent 消息、3000 亿输出 token,Lean 形式化另耗 17 小时。
- OpenAI 声明:没有访问具体用户数据,但无法完全排除去标识化数据用于模型改进;同时表示不申请克雷奖,等待数学界检验。
- 各方反应:Thomas Wolf 公开批评 OpenAI 对待数学家工作的方式;Gary Marcus 引述对 Sebastien Bubeck 此前多次“认领未完成成果”的质疑;陶哲轩称成果值得关注,但警告“AI 对开放问题的非再生式开采”可能逆转开放科学传统。
🔗 OpenAI 官方论文页 | Tristan Buckmaster 声明 | Simon Willison 梳理 | Thomas Wolf 评论 | 陶哲轩评论
2️⃣ OpenAI 发布 ChatGPT Images 2.5,新增 Sketch 与评论式编辑#
核心亮点:OpenAI 将图像模型升级至 2.5,生成延迟最高降低 50%,参考图主体保真与多轮编辑一致性显著增强,并加入手绘草图与局部批注编辑。
- 能力改进:连续多次编辑后仍能保留此前细节;对参考照片中主体的保持更稳定;破碎感和涂抹感较 2.0 减少。
- 新交互入口:ChatGPT 中输入
@Sketch可直接画草图作为构图参考;可在成品图上框选/评论,仅修改指定区域;另提供海报、商品照等模板。 - API 双模型:
gpt-image-2.5-sunburst面向高精度编辑,gpt-image-2.5-flare面向高频快速生成;API 价格与上一代持平。 - 生态接入:OpenRouter、Higgsfield、YouMind 等第三方平台当日已上架新模型。
🔗 OpenAI 官方公告 | Simon Willison 试用记录 | OpenRouter 发布推文
3️⃣ Meta 发布个人 AI Agent Muse:每人一台隔离云端电脑#
核心亮点:Meta 正式推出个人 AI Agent Muse,每个用户配备独立云端 Linux VM,可后台持续浏览网页、执行跨应用任务,敏感操作由隔离的 Sentinel 审查。
- 运行方式:Muse 拥有专属文件系统、终端和 Chromium 浏览器,可自主查资料、填表、发邮件、订行程与购物;用户关闭应用后任务仍继续。
- 安全架构:每个 Muse 运行在独立 Secure VM 中,支付密码存入独立安全区,对外请求经 Sentinel 审查,敏感操作需用户确认;Bug 赏金最高 30 万美元。
- 首批连接:支持 Gmail、日历、Outlook、Stripe、OpenTable、Spotify、Instagram 等,可通过独立 App 或 WhatsApp 访问。
- 早期信号:发布首日内部使用量超过预期 10 倍,驱动模型为 Muse Spark 1.3。
🔗 Zuckerberg 发布帖 | Muse 设计分析 | Meta Newsroom
4️⃣ Google DeepMind 发布 AlphaGenome Atlas,覆盖 90 亿种 DNA 单字母变异#
核心亮点:DeepMind 推出 AlphaGenome Atlas——一个可搜索的 1PB 级开放数据库,预测人类基因组中全部约 90 亿种单核苷酸变异的影响,并给出统一 AVI 评分。
- 资源形式:涵盖 90 亿个单核苷酸变异;通过网站、API 和 Google Antigravity 的 Agent Skill 开放,学术研究免费,即将登陆 Google Cloud。
- 技术机制:AVI 评分合并 AlphaGenome、AlphaMissense 等信号,可对突变的影响排序,并提示致病机制是破坏调控开关还是 RNA 剪接。
- 使用门槛:无需编程即可在浏览器查询单点变异;DeepMind 同步公开了 science-skills 示例。
- 行业意义:将变异效应预测从蛋白质编码区扩展到非编码调控区,相当于给基因组解读提供了一张全量“查找表”。
🔗 DeepMind 官方博客 | Google 博客 | Antigravity 集成演示
5️⃣ DeepSeek 开启 V4.1 Flash 内测,Flash 系列同步降价#
核心亮点:DeepSeek V4.1 Flash 以限时模型名开放 API 内测,官方称采用新架构、原生多模态;同时宣布 9 月 10 日起 Flash 系列降低闲时价格。
- 内测方式:将模型名切换为
deepseek-v4.1-flash-expires-on-0910即可调用,无需更换 base_url;单账号最多 20 并发,计费暂与 V4 Flash 相同。 - 官方描述:新模型采用不同架构,原生支持多模态,测重点是能力、生成速度与推理成本。
- 价格调整:闲时输入由 1.5 元降至 1 元/百万 token,闲时输出由 4.5 元降至 4 元,缓存价格降至 0.02 元;高峰价格为闲时 2 倍。
- 社区实测:部分开发者报告 API 速度约 300+ token/s,较 V4 Flash 约 2.24× 提速,但尚未经过独立验证。
🔗 DeepSeek 降价公告(爱范儿早报摘录) | 内测消息源 | Cola 上架消息
6️⃣ Cohere 开源 Megakernel 推理服务,称比 vLLM 快 1.58 倍#
核心亮点:Cohere 发布了首个围绕 decode megakernel 构建的开源推理服务,将整个 decode 前向计算放进单个常驻 GPU kernel;在单张 H100 上单批达到 292 tok/s,是 vLLM 的 1.58 倍。
- 实测数据:batch=1 时 292 tok/s,vLLM 为 185 tok/s;batch=8 端到端快 1.25–1.41 倍;达 H100 带宽理论极限的 62%。
- 技术要点:调度粒度从“算子”缩小到 tile,依赖同步用全局内存计数器实现,避免 kernel 边界的全 GPU 屏障;权重预取提前加载下一层参数。
- 架构取舍:相比斯坦福 Hazy Research 的早期方案,Cohere 在 batch=1 时也用 tensor core wgmma,并为每种 opcode 设计静态 warp 专用流水线。
- 行业意义:在 vLLM 主导的开源推理栈之外,开辟了一条“kernel 级融合”的优化路线,并已完整开源。
🔗 Cohere 官方博客 | Cohere 发布推文 | 技术解读
7️⃣ 英国将全球首部“禁止超级智能开发”法案提交议会#
核心亮点:Control AI 联合议员 Andrew Sobel 等在英国议会引入《人工超级智能安全法案》,拟禁止在英国开发超级智能 AI,并要求政府推动国际协议。
- 法案主张:禁止可能带来灭绝风险等级的超级智能开发,同时保留英国在经济竞争力和国防领域的 AI 能力;要求政府牵头达成禁止全球开发的国际协议。
- 支持度:Control AI 称已获跨党派支持,超过 170 名英加议员此前曾联名呼吁政府行动。
- 学界回应:Gary Marcus 评论称法案本身可能“错杀”部分有益应用,但 AI 巨头的炒作与鲁莽已导致立法者走到这一步;他同时表示,若把“灭绝”一词换成“灾难性风险”,则同意法案方向。
🔗 Gary Marcus 评论帖 | Control AI 原始推文
8️⃣ Google 向芬兰追加 130 亿欧元 AI 基础设施投资,签署首个核电延寿协议#
核心亮点:Google 宣布在芬兰追加 130 亿欧元投资,用于扩建数据中心、清洁能源与区域就业,并签署其首个“核电站延寿与增容”协议。
- 投资规模:Google 官方博客确认 130 亿欧元将投向数字基础设施、清洁能源并支持本地环境项目。
- 能源合作:同批公布的本地能源协议中,包含 Google 有史以来第一份核电站寿命延长与功率提升协议,为数据中心提供稳定基本负荷电力。
- 背景意图:欧洲 AI 算力需求带动电力缺口,超大规模云厂商正从单纯采购绿电转向直接参与核电产能维护。
🔗 Google 芬兰投资公告 | Google 清洁能源芬兰蓝图
9️⃣ DeepSeek 筹备科创板上市,据报选定中信证券为辅导机构#
核心亮点:腾讯科技援引知情人士称,DeepSeek 已选定中信证券全面筹备科创板上市,最新估值为 5000 亿元人民币,年内可能递交 IPO 申报材料。
- 估值与进度:此前外媒称 DeepSeek 新一轮融资后整体估值达 750 亿美元;腾讯科技获知当前最新估值为 5000 亿元人民币,上市后市值区间或落在 1.5 万亿至 2.5 万亿元。
- 股本结构:为匹配科创板要求,本轮新引入投资的股份锁定期有望缩短至三年;除国家人工智能产业投资基金外,首轮机构多为间接持股,锁定期五年。
- 业务数据:2026 年前七个月营收 4.75 亿元,较 2025 年全年实现十倍量级增长,但同期净亏损 7.15 亿元。
- 组织扩张:其 Harness 团队刚公开招聘约 150 个工程岗位,覆盖服务端开发与 Agent 弹性计算,约占现有员工半数。
🔗 腾讯科技原文