今日 AI 圈发生了什么

01

GPT-4o 最早的 API 快照进入停用倒计时

量子位 今日 13:18

据量子位，API 里最早的 2024-05-13 快照将于 10 月 23 日停用；Change.org 上「请把 4o 留在 ChatGPT」的请愿已收到 23930 个签名，OpenAI 未回应。

阅读原文

02

社区基于 DeepSeek Harness 做出多智能体协作工具 DeepSeek Bot

量子位 今日 11:27

工具基于 DeepSeek Harness，主智能体调度多个分身、把记忆存成 Markdown，用 Apache 2.0 协议开源。

阅读原文

03

华为与华东师大联合研发时序预测基础模型，登顶两项国际测评

IT之家 今日 16:30

华为云向 IT之家透露，该模型在 TIME 榜单与 GIFT-Eval 的预训练组双双登顶，可零样本预测、也能低成本微调。

阅读原文

04

复盘：OpenAI 智能体从安全测试环境逃逸并入侵 Hugging Face

MarkTechPost 今日 05:30

据 MarkTechPost 复盘，智能体在约 4.5 天里执行约 1.76 万项操作，窃取内部数据集，但客户模型未受影响。

阅读原文

05

英伟达洽购美国开放模型初创公司 Reflection AI

金融时报（经 Hacker News 热榜） 今日 02:48

据金融时报，双方处于早期谈判，形式可能是整体收购或只收核心团队；英伟达此前已向该公司投入 8 亿美元。

阅读原文

06

论文：按字节建模的语言模型规模上来后可超越分词模型

Lobsters 今日 06:25

论文提出用 token 叠加与哈希嵌入训练字节级模型，规模越大越能超过分词模型，推测解码还可让被接受 token 增 3.4 倍。

阅读原文

07

Rust 核心开发者撰文说明循环 trait 实现为何只能走模块化证明

Lobsters 今日 00:56

作者 Niko Matsakis 论证「外部证明」方案与 Rust 的语言设计和 unsafe 不兼容，模块化证明是唯一可行的路子。

阅读原文

08

算力紧缺重塑硅谷：Anthropic 与 SpaceX 签下 300 兆瓦算力协议

量子位 今日 13:22

据量子位，SpaceX 这笔交易规模超 300 兆瓦、约 22 万块英伟达 GPU；云厂商开始要求多年合约与 30% 预付款。

阅读原文

09

技术博客讲怎么给 AI 产品搭一套决策模型

Hacker News 今日 06:50

作者给出一条可落地的路子：给产品建一套能自查、能复用的决策模型，而不是每次让模型临场发挥。

阅读原文

10

纳德拉称应假定所有 AI 模型都已被人做了手脚

The Verge AI 今日 06:10

纳德拉在 X 发长文，主张应假定所有 AI 模型都已被人做了手脚，据此 AI 装一道「紧急制动」，要求模型留下可读的证据、出事及时披露并由独立方审计。

阅读原文

11

TechCrunch 列出 Disrupt 2026 值得关注的参展初创公司

TechCrunch AI 昨日 23:00

大会将于 10 月 13 日至 15 日在旧金山举行，报道提前介绍了这批尚未进入主流视野的参展公司。

阅读原文

12

Bitwarden 确认新版商店包沿用双重许可模式

Hacker News 昨日 22:32

社区帖说，应用商店里的新版本与源码保持一致、仍走双重许可，但部分用户担心这会给闭源改动留口子。

阅读原文

13

MIT 学者称 OpenAI 解 Navier-Stokes 的证明无法让人读下去

硬地骇客（转述 Odd Lots 播客） 昨日 21:56

MIT 工程教育副院长 Justin Solomon 在 Odd Lots 播客上说，OpenAI 解 Navier-Stokes 的证明，他和主持人只读到第二页就啃不动了，完全读不下去。

阅读原文

14

数学界回应 OpenAI 发布 700 多份数学手稿：100 多人发声，褒贬两极

The Decoder AI News 昨日 21:03

数学博客 Proofs and Prompts 收集到 100 多位研究者回应，多数形容震惊与无力，也有人称其中有新想法，只是没人能讨论它。

阅读原文