9 月 7 日，黄仁勋在 X 上回复一条帖子，简短的几句话里塞了三层信息： 从 ChatGPT 到 o1，再到 Astra，只用了 4 年。 AGI 已到来。 祝贺 OpenAI 团队。 下一批 40 万块 GPU

9/10 openai-python v3.13.0 的 release note 只有一行「feat(api): add Agents API」，但代码里其实塞进了一整套 beta.agents——一次 API 调用就能跑起 Codex 那套托管 har

昨天（9 月 10 日）DeepSeek 发布 V4.1 Flash，满屏都在讲"新模型更强还更便宜、Pro 四天后下线"。但真正让内核程序员

一张路由器 App 截图，把美的送上了热搜：一台洗衣机，接入 19 小时 40 分钟，用了 411.52MB 流量。 美的客服的回应是：“智能洗衣机联网不是强制性要求，

9 月 8 日，数学圈炸了，不是因为证明本身，而是因为一场没人见过的证明引发的指控。 OpenAI 官宣：内部模型（能力远超 GPT-6 Astra）解出了纳维-斯托克斯（

1637 年，费马在书页边写下"我找到了绝妙的证明，可惜页边太窄写不下"，然后折磨了数学家 350 年。1995 年怀尔斯终于给出 129 页证明