珂的非官方整理
AI 速递

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，据 Business Insider 报道，谷歌员工正在内部编程环境 Jetski 试用 Gemini 4 新检查点 Carbon，消息来自多份内部文件与截图，有员工称其编程体验「感觉像是 Opus 5.5」。
2. 2.内部文件出现 Argon、Barium、Carbon 等代号，公开版 Argon 实为内部版本 Barium-B。
3. 3.腾讯摘要称，Carbon 可能成为 Argon 的后续更新或单独发布，也可能始终留在内部。

扩展解读 / READ

这条证据的性质必须说清：来源是 Business Insider 拿到的内部文件与截图，加上员工的主观感受，不是官方基准。原文标题里那句「谷歌已实现 RSI？」是提问，不是结论。真正有信息量的是命名线索——公开版 Argon 对应内部 Barium-B，说明对外发布的型号与内部检查点之间存在映射，Carbon 的归属因此存在三种可能，原文也明确列了这三种。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，LeCun 任董事长的 AMI 联合纽约大学、巴黎 INRIA 与布朗大学发表 H-JEPA 论文，推出面向视觉规划的分层世界模型，代码与预训练权重同步公开。
2. 2.多个 JEPA 逐层堆叠，各层在自身表征空间预测不同时间跨度后的状态；高层先定粗略计划，把预测的中间状态作为子目标交给低层细化为动作，并沿用 SIGReg 避免表征坍塌。
3. 3.腾讯摘要称，Visual AntMaze 仿真迷宫任务中，三层模型成功率 73%，单层为 18%；Push-T 任务两层表现较好，增至三、四层成绩反降；AMI 今年 3 月融资 10.3 亿美元，官网尚无面向公众的产品入口。

扩展解读 / READ

原文的说法是「LeCun 世界模型创业交卷」，交卷方式是代码与权重全部开源，延续他从创业之初强调的开源路线。技术要点在分层：高层只管粗略计划，把预测出的中间状态当作子目标交给低层细化成动作——这是把长时序规划拆成短时序控制的常见思路，SIGReg 用来防止表征坍塌。实验结果也给了边界：迷宫里层数越多越好（73% 对 18%），但 Push-T 加到三、四层反而变差，说明分层深度不是普适收益。官网尚无面向公众的产品入口。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，开源项目 REA（Reverse Engineer Anything）登上 GitHub Trending 当日榜首，文章称其第三天已接近 8 万颗星，OpenClaw 爆发第三天累计新增 6 万；npm 累计下载量也有相应增长。
2. 2.REA 基于 MCP 协议，把大模型与 Ghidra、Hopper 等逆向工具连通。
3. 3.腾讯摘要称，Claude、Codex 等 Agent 可按自然语言指令反编译、读汇编、找接口，再给出重构代码与依据。

扩展解读 / READ

原文给出的星数在近 7 万量级，腾讯摘要为「第三天接近 8 万」，两处口径略有出入，星标是滚动数字，取数时点不同会差几千，不必强行统一。技术上它没有新模型，价值在于把 MCP 当作胶水，把模型与既有逆向工具（Ghidra、Hopper）连起来，让自然语言指令落到反编译与汇编阅读上。这类项目的实际用途取决于使用者：既可以做遗留系统维护与漏洞分析，也涉及软件逆向的合规边界，原文未讨论这一点。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，元宝宣布「元宝桌宠」上线，PC 端更新至 2.87.10 及以上版本后，点击左下角头像中的「我的桌宠」进入设置界面，各项功能可分别开关。
2. 2.桌宠可放在桌面任意位置，用表情提醒任务完成或需要用户介入，也会提醒休息、打招呼，双击即可快速打开元宝。
3. 3.腾讯摘要称，把文件、图片、文字拖给桌宠就能快速总结，拖放时它会张大嘴巴；复制一段英文，桌宠会自动弹出翻译气泡，可直接查看或复制译文。

扩展解读 / READ

该条关联页仅有转载说明、无原文正文，以下判断只基于腾讯研究院摘要。这条的产品逻辑是把 AI 入口前移到桌面层：不打开对话框，直接把文件拖过去就总结，复制英文就弹翻译。提醒任务完成与需要介入，说明它同时充当后台任务的状态灯。各功能可分别开关、位置随意，是把打扰控制交给用户的设计。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，DevEco Studio、DevEco Code 与 DevEco CLI 于 10 月 8 日同步开启鸿蒙 PC 版公测，分别承担可视化 IDE、端到端 Agentic 开发、向外部 Agent 输出鸿蒙开发能力。
2. 2.Studio 基于华为自研 BitFun 底座并集成 DevEco Code，无需安装模拟器即可秒级启动、调试手机与平板版应用，支持多窗口并行；Code 设 Goal、Plan、Build 模式，可自主编译、运行。
3. 3.腾讯摘要称，CLI 把 HarmonyOS 工具集、官方知识库和 70 余项 Skills 封装为命令行接口，一行 init 命令即可装入本机多个 Agent 工具；HarmonyOS 6、7 终端规模已突破 9000 万。

扩展解读 / READ

智东西原文补充了报道时点：10 月 10 日报道，工具于 10 月 8 日开启公测，并给出背景——HarmonyOS 6 与 7 的硬件终端规模已突破 9000 万，市场对优质应用与智能 Agent 应用的需求在上升。三件工具分工清楚：Studio 是人的 IDE，Code 是 Agent 的端到端开发环境（Goal/Plan/Build 三模式，可自主编译运行），CLI 则把鸿蒙能力以 70 余项 Skills 的形式输出给外部 Agent。第三件是这次最有战略意味的动作：让别的 Agent 也能开发鸿蒙应用。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，TestingCatalog 10 月 10 日注意到，OpenAI API 价格页「生命科学模型」一栏出现未正式发布的 gpt-rosalind-discovery，文档页返回 404，用途与增益均未公开。
2. 2.定价与已公开的 gpt-rosalind-research 相同：每百万 Token 输入 5 美元、缓存输入 0.5 美元、输出 25 美元。
3. 3.腾讯摘要称，网络安全模型 gpt-5.6-cyber 输出价为 75 美元，是 Rosalind 的数倍。

扩展解读 / READ

DeepTech 原文的落点是「想当药企的工具供应商」，并确认价格页出现的时点是当地时间 10 月 10 日，两个 Rosalind 型号定价完全一致。判断依据目前只有价格页与缺失的文档页：文档 404 意味着能力描述、上下文长度、合规适用范围全未知，因此「生命科学专用」只是分类栏目给出的定位，不是已验证的能力。把它与网络安全模型 75 美元的输出价对比，能看出 OpenAI 在按行业分档定价。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，OpenAI 10 月 6 日在 GitHub 公开的首批 722 篇数学手稿中，一篇 175 页，论证一般四维挂谷集合的 Hausdorff 维数为 4。
2. 2.此前维数下界停在 3.059，王虹与 Zakharov 今年 9 月的满维结果；另一篇 97 页瞄准三维挂谷极大函数猜想，强于王虹与 Zahl 2025 年 2 月以 127 页论文解决的集合版。
3. 3.腾讯摘要称，两稿均用到 Guth、王虹与 Zahl 的集合估计等既有成果；论证尚需独立检验；即便成立，四维极大函数版仍未解决，五维及以上也只得到「维数至少为 4」，不能推出各自满维。

扩展解读 / READ

原文的标题把它挂在王虹的三维挂谷成果之后，这个位置本身就是判断：新稿建立在既有结果之上。最需要保守表述的是「解决」二字——腾讯摘要明确列出了边界：四维的情形是集合版，极大函数版仍未解决；五维及以上只得到维数下界，推不出满维。稿件尚待独立检验，175 页与 97 页的篇幅也意味着核验成本极高。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，陶哲轩在加州理工学院以「Math 2.0」为题演讲，称数学因客观可验证、高度可数字化、高质量数据充足而最先受 AI 冲击，正从证明匮乏时代转入证明充沛时代。
2. 2.他用战机弹孔图提醒幸存者偏差：公开的只是 AI 解出的一小部分，前沿绝大多数核心问题仍悬而未决；解题只是替代指标，目标是人类理解，过早「撞上灯塔」会失去沿途的经验与工具。
3. 3.腾讯摘要称，Math 2.0 的实践包括为晦涩定理寻找更易懂的证明、实验数学与消融实验，等式理论项目已判定超 2200 万个命题的真伪；他称最大瓶颈是人类自身的想象力。

扩展解读 / READ

这场演讲值得完整读一遍的原因在于它同时给了乐观与克制：一边说数学建立在证明稀缺之上的时代结束了，一边用二战战机弹孔图提醒幸存者偏差——公开的只是被解出的一小部分。他把「解题」定位为替代指标，真正的目标是人类理解，并警告过早抵达终点会失去沿途积累的经验与工具。等式理论项目判定超 2200 万个命题，是 Math 2.0 已落地的具体形态。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，Science 创始人、Neuralink 联创 Max Hodak 在 No Priors 访谈中称，脑机接口不应止于「大脑键盘」，恢复视觉、听觉、平衡与运动更值得优先。
2. 2.PRIMA 视网膜假体今年 7 月获欧洲商业销售批准，芯片植于视网膜下方、配激光投影眼镜；患者视野窄且只有黑白画面，但已能做数独或填字游戏，现版本在欧美面对的患者约数十万。
3. 3.腾讯摘要称，他认同有争议的柏拉图表征假说，称 AI 与大脑表示概念的几何结构相似，AI 并未撞上天花板，研究神经科学最有希望的方式可能是研究 AI；更远的方向是「载体独立性」。

扩展解读 / READ

原文明确了一个时间节点：2026 年 7 月，Hodak 创办的 Science 的 PRIMA 视网膜假体获欧洲监管批准，可进入商业销售。他对优先级的判断是，恢复视觉、听觉、平衡与运动，比提高人机交互效率更具变革性——这与「大脑键盘」路线形成对照。需要保留的限定是效果现状：视野窄、只有黑白画面，但已能让患者做数独或填字，说明它解决的是可用性而非正常视觉。关于 AI 与大脑表征几何相似的看法，他本人也承认有争议。

腾讯摘要 / SOURCE SUMMARY

1. 1.腾讯摘要称，2022 年加入 OpenAI 参与创造 ChatGPT、后执掌后训练团队的 Liam Fedus 在播客对谈中称，要造 AI 科学家就必须真做科学。
2. 2.他创立的 Periodic Labs 2025 年获 3 亿美元种子轮；他认为 ChatGPT 靠更强的预训练基座与 RLHF，但偏好训练出的奖励模型对正确性不敏感；编程突破靠测试时计算加可验证奖励。
3. 3.腾讯摘要称，材料领域网上数据噪声大、常缺细节，几乎没有负面结果；Periodic 把语言模型推理、计算物理模拟与高通量实验室结合，从材料发现切入，新型超导体是重要目标；他预计实验室将「轻松达到几十个」，商业化核聚变「未来七年左右似乎非常有可能」。

扩展解读 / READ

原文标题的意思很直接：数学之后，AI 该去实验室了——背景是 OpenAI 一次性放出 722 篇数学手稿、覆盖 17 个领域，其中一部分附了可机器核验的 Lean 证明。Fedus 的解释正好对上这个差别：编程与数学有可验证奖励，可以靠测试时计算放大；材料领域网上数据噪声大、缺细节、几乎没有负面结果，所以奖励信号不可靠。他的解法是把语言模型推理、计算物理模拟与高通量实验室三者接起来，让实验本身成为验证环节。