生成式AI
一、Gemini 4新检查点Carbon曝光，据称编程接近Opus 5.5
1.据Business Insider报道，谷歌员工正在内部编程环境Jetski试用Gemini 4新检查点Carbon，消息来自多份内部文件与截图，有员工称其编程体验“感觉像是Opus 5.5”；
2.内部文件出现Argon、Barium、Carbon等代号，公开版Argon实为内部版本Barium-B；Carbon可能成为Argon的后续更新或单独发布，也可能始终留在内部；
3.TestingCatalog发现Antigravity测试版出现Argon入口及256K、512K、900K上下文配置，后两档额度消耗约为普通配置的1.3倍和1.8倍；“谷歌用模型研发下一代模型”仅是外界猜测。
https://mp.weixin.qq.com/s/6MmdDHKppjWYNVWxZ2zxmw
二、LeCun创业公司AMI开源H-JEPA，世界模型分层做规划
1.LeCun任董事长的AMI联合纽约大学、巴黎INRIA与布朗大学发表H-JEPA论文，推出面向视觉规划的分层世界模型，代码与预训练权重同步公开；
2.多个JEPA逐层堆叠，各层在自身表征空间预测不同时间跨度后的状态；高层先定粗略计划，把预测的中间状态作为子目标交给低层细化为动作，并沿用SIGReg避免表征坍塌；
3.Visual AntMaze仿真迷宫任务中，三层模型成功率73%，单层为18%；Push-T任务两层表现较好，增至三、四层成绩反降；AMI今年3月融资10.3亿美元，官网尚无面向公众的产品入口。
https://mp.weixin.qq.com/s/U8r0Nn9fT7eC7BAXx1ZUPQ
三、逆向工程项目REA登顶GitHub趋势榜，三天近8万星
1.开源项目REA（Reverse Engineer Anything）登上GitHub Trending当日榜首，文章称其第三天已接近8万颗星，OpenClaw爆发第三天累计新增6万；npm累计下载约4.4万次，Jev前三天为3.5万次；
2.REA基于MCP协议，把大模型与Ghidra、Hopper等逆向工具连通，Claude Code、Codex等Agent可按自然语言指令反编译、读汇编、找接口，再给出重构代码与依据；
3.对象涵盖App运行行为、原生二进制、安卓APK与硬件固件，作者正尝试逆向Office；文章预测抄袭将走向自动化、版权认定更难，厂商或加重代码混淆。
https://mp.weixin.qq.com/s/opomqvcruvmcQr4fzTT5Sg
四、元宝PC端上线桌宠功能，拖入文件图片即可总结
1.元宝宣布“元宝桌宠”上线，PC端更新至2.87.10及以上版本后，点击左下角头像中的“我的桌宠”进入设置界面，各项功能可分别开关；
2.桌宠可放在桌面任意位置，用表情提醒任务完成或需要用户介入，也会提醒休息、打招呼，双击即可快速打开元宝；
3.把文件、图片、文字拖给桌宠就能快速总结，拖放时它会张大嘴巴；复制一段英文，桌宠会自动弹出翻译气泡，可直接查看或复制译文。
https://mp.weixin.qq.com/s/MDZEgY8xJzIzu-DZ8lwSkA
五、鸿蒙PC版DevEco三款工具公测，原生支持智能体开发
1.DevEco Studio、DevEco Code与DevEco CLI于10月8日同步开启鸿蒙PC版公测，分别承担可视化IDE、端到端Agentic开发、向外部Agent输出鸿蒙开发能力；
2.Studio基于华为自研BitFun底座并集成DevEco Code，无需安装模拟器即可秒级启动、调试手机与平板版应用，支持多窗口并行；Code设Goal、Plan、Build模式，可自主编译、运行与验证；
3.CLI把HarmonyOS工具集、官方知识库和70余项Skills封装为命令行接口，一行init命令即可装入本机多个Agent工具；HarmonyOS 6、7终端规模已突破9000万。
https://mp.weixin.qq.com/s/zI-bPMC99kxCGR7ALGu68w
前沿科技
六、OpenAI价格页现未发布型号gpt-rosalind-discovery
1.TestingCatalog 10月10日注意到，OpenAI API价格页“生命科学模型”一栏出现未正式发布的gpt-rosalind-discovery，文档页返回404，用途与增益均未公开，面向药物发现只是外界猜测；
2.定价与已公开的gpt-rosalind-research相同：每百万Token输入5美元、缓存输入0.5美元、输出25美元；网络安全模型gpt-5.6-cyber输出价为75美元，是Rosalind的3倍；
3.GPT-Rosalind今年4月发布，10月5日起计费，仅向通过可信访问计划审核的机构开放且限内部研究；文章认为OpenAI定位为工具供应商，基本不插手药企管线。
https://mp.weixin.qq.com/s/ZD9N5qWP3FKfP5SWJerxBg
七、OpenAI手稿求证四维挂谷猜想，175页待独立检验
1.OpenAI 10月6日在GitHub公开的首批722篇数学手稿中，一篇175页，论证一般四维挂谷集合的Hausdorff维数为4；此前维数下界停在3.059，王虹与Zakharov今年9月的满维结果只覆盖“粘性”情形；
2.另一篇97页瞄准三维挂谷极大函数猜想，强于王虹与Zahl 2025年2月以127页论文解决的集合版；两稿均用到Guth、王虹与Zahl的集合估计等既有成果；
3.两篇论证尚需独立检验；即便成立，四维极大函数版仍未解决，五维及以上也只得到“维数至少为4”，不能推出各自满维。
https://mp.weixin.qq.com/s/Q-JyxVwrW3Rz2DLQxLuHvw
报告观点
八、陶哲轩加州理工演讲提出Math 2.0：证明不再稀缺
1.陶哲轩在加州理工学院以“Math 2.0”为题演讲，称数学因客观可验证、高度可数字化、高质量数据充足而最先受AI冲击，正从证明匮乏时代转入证明充沛时代；
2.他用战机弹孔图提醒幸存者偏差：公开的只是AI解出的一小部分，前沿绝大多数核心问题仍悬而未决；解题只是替代指标，目标是人类理解，过早“撞上灯塔”会失去沿途的经验与工具；
3.Math 2.0的实践包括为晦涩定理寻找更易懂的证明、实验数学与消融实验，等式理论项目已判定超2200万个命题的真伪；他称最大瓶颈是人类自身的想象力。
https://mp.weixin.qq.com/s/z8uh2PibmaNJBg8Eqavdsw
九、Neuralink联创Hodak：脑机接口应先恢复感官能力
1.Science创始人、Neuralink联创Max Hodak在No Priors访谈中称，脑机接口不应止于“大脑键盘”，恢复视觉、听觉、平衡与运动更值得优先；他提到大脑对外输出的有效速率约为每秒10比特；
2.PRIMA视网膜假体今年7月获欧洲商业销售批准，芯片植于视网膜下方、配激光投影眼镜；患者视野窄且只有黑白画面，但已能做数独或填字游戏，现版本在欧美面对的患者约数十万；
3.他认同有争议的柏拉图表征假说，称AI与大脑表示概念的几何结构相似，AI并未撞上天花板，研究神经科学最有希望的方式可能是研究AI；更远的方向是“载体独立性”。
https://mp.weixin.qq.com/s/TMYD9Qvhzm0kHpJA9-kCFg
十、ChatGPT共同创造者Fedus：AI科学家须进实验室验证
1.2022年加入OpenAI参与创造ChatGPT、后执掌后训练团队的Liam Fedus在播客对谈中称，要造AI科学家就必须真做科学；他创立的Periodic Labs 2025年获3亿美元种子轮，在门洛帕克建实验室；
2.他认为ChatGPT靠更强的预训练基座与RLHF，但偏好训练出的奖励模型对正确性不敏感；编程突破靠测试时计算加可验证奖励；材料领域网上数据噪声大、常缺细节，几乎没有负面结果；
3.Periodic把语言模型推理、计算物理模拟与高通量实验室结合，从材料发现切入，新型超导体是重要目标；他预计实验室将“轻松达到几十个”，商业化核聚变“未来七年左右似乎非常有可能”。
https://mp.weixin.qq.com/s/9Nnfu0rvcFLzJ7bYpXHOsA
👇加入AGI数据库，AI智能问答
👇订阅下方合集，获取每日推送