AI 正像海啸一样涌来

谷歌的下一代模型，已经开始在内部"上岗"了

Business Insider 曝出，谷歌员工正在内部编程环境试用 Gemini 4 的新检查点 Carbon，有员工说编程体验"感觉像是 Opus 5.5"。公开版的 Argon，其实是内部版本 Barium-B 的马甲，Carbon 可能是它的下一跳。

过去我们习惯按"版本号"理解模型进化，谷歌现在更像是在用内部迭代抢跑。谁在真实的编码环境里被工程师天天用，谁就可能赢下开发者心智。这已经不是发布会上的 PPT 之争，而是办公室里的体验之争。

世界模型开源了，LeCun 把底牌亮了出来

图灵奖得主 LeCun 任董事长的 AMI 公司，联合纽约大学、巴黎 INRIA 等机构开源了 H-JEPA——一个分层做规划的世界模型。高层先定粗略计划，低层再把目标细化为动作。在迷宫任务里，三层模型的成功率是单层的 4 倍多。

语言模型还没卷完，物理世界模拟已经开打了。代码和权重直接公开，等于把"世界模型怎么造"的答案摆到所有人桌上。开源从来不是情怀，是抢标准的方式。

国内大厂集体追"个人智能体"，字节腾讯蚂蚁都下场了

据财新报道，Meta 的个人智能体 Muse 火了之后，国内巨头迅速跟进：字节代号 Spell，由豆包手机助手团队主导；腾讯上线 LightVela，号称"云端个人助理"，可通过微信接入；蚂蚁内测"我的生活"。

这是从"对话框里的 AI"走向"住在你手机里的 AI"。日程、订票、比价、下 App，一句话搞定——听起来很美好，但谁先被用户信任，谁才真正拥有这个入口。这轮拼的不是模型参数，是场景和习惯。

丘成桐说 AI 是"海啸"，数学界开始认真接招

OpenAI 公开了 722 篇内部 AI 生成的数学手稿，震动学界。10 月 11 日，丘成桐数学与人工智能实验室联盟在清华成立，丘成桐和席南华等数学家公开回应：AI 只能探索已有问题，替代不了人类数学家的思考。

陶哲轩说数学正从"证明匮乏时代"进入"证明充沛时代"，丘成桐则提醒幸存者偏差——公开的只是 AI 解出的一小部分。我觉得两位大师其实在说同一件事：工具变强了，但目标没变，人类的理解才是终点。

一个逆向工程开源项目，三天拿了近 8 万星

REA（Reverse Engineer Anything）冲上 GitHub 趋势榜第一，三天接近 8 万星。它基于 MCP 协议，把大模型和 Ghidra、Hopper 等逆向工具打通，你自然语言一句"帮我看看这个 App 在干嘛"，它能反编译、读汇编、找接口，再给出重构代码。

这可能是本周最被低估的新闻。过去逆向工程是少数安全研究者的手艺活，现在 AI 把它变成了"人人可问"。我倒是更关心另一面：抄代码的成本变低了，版权认定会更难。

马斯克把 SpaceXAI 改名成 SpaceXSI

特朗普要求美国政府用"超级智能（SI）"替代"人工智能（AI）"的表述，马斯克立刻响应，把旗下 SpaceXAI 官方账号更名为 SpaceXSI。

一个词的变化，背后是话语权的转移，到底是工具变迁还是人情世故就不得而知了。

Claude 半年封了 1140 万个账号

Anthropic 一份外漏的报告显示，2026 年上半年 Claude 累计封禁 1140 万个账号，39.8 万次申诉里只有 4.2 万成功——成功率约 1%。

对普通用户来说，这是最"贴脸"的一条。AI 公司一边喊"AI 民主化"，一边用机器裁量封掉百万级账号，申诉还近乎无效。增长和治理之间的裂缝，迟早会以更难看的方式撕开。

本周整体感觉越来越清晰：AI 不再只是科技圈内部的话题，它正在改写数学的边界、白宫的措辞、工程师的工作台，还有我们每个人的手机。

海啸来了，躲是躲不掉的。与其焦虑，不如想想自己站在哪块高地上。