今日概览

• 循环Transformer技术争议：GPT-6 Astra采用循环深度技术，以计算深度换参数规模；安全专家担忧隐藏状态不可读，OpenAI首席科学家回应；阿里两篇论文直指计算冗余问题
• 世界模型与物理世界：极端天气暴露大语言模型物理世界短板；世界模型被视为空间智能终局，AI下半场入场券；中国世界模型公司获硅谷老将投资
• 产品与开源动态：GPT-6分批开放，谷歌Gemini多线升级；xAI机器人市场上线，IFM开放K2 Horizon权重；腾讯WeMM-Embedding登顶，多项开源研究发布

资讯详情

AI产品

1. GPT-6 Astra分批开放，Pro用户已接入：OpenAI确认Astra上线，Pro用户先接入，Work、Codex与API同步可用，Plus和Business稍后开放。
2. 谷歌一周连发五项Gemini更新：Gemini Flash强化代码和代理流程，Cyber主攻漏洞检测补丁，Lyria、天气和视频理解同步升级。
3. xAI机器人市场上线，首批含69个机器人：xAI推出机器人市场，覆盖工程、销售和招聘，43名创作者参与，Haggle Bot首周省下10万美元。
4. QoderCLI联动通义模型复刻应用：QoderCLI通过Computer Use观察原界面，反复修正视觉和交互，成品接近原版体验。

开源项目

1. IFM开放K2 Horizon模型权重：IFM发布K2 Horizon，六档模型从0.9B到375B，覆盖腕表、手机和服务器，代码与数据配方同步开放。
2. 腾讯WeMM-Embedding登顶多模态榜单：腾讯开源WeMM-Embedding 9B模型，在MMEB-v2上排名第一，支持文字、图片和视频，音频暂未覆盖。

技术研究

1. Claude完成费马大定理形式化验证：Anthropic公布Lean证明，1300万行代码完成机器核验，依赖29000多个定理，完整代码已开源。
2. 腾讯提出环境进化训练法：腾讯团队在环境进化论文中提出新训练法，按计划提升任务难度，Qwen成绩最高提升18.0分。
3. 码本代理压缩通信结构，省三成词元：研究者提出多智能体拓扑压缩方法，2.4毫秒生成拓扑，平均84.6分且省三成词元。
4. EntangleCodec统一音频标记：论文提出语义声学纠缠的音频标记器，统一音频表示。
5. 循环Transformer因GPT-6走红，阿里早有布局：GPT-6 Astra采用循环深度技术，引发安全争议；阿里两篇论文直指计算冗余问题。

投融资

1. 硅谷老将投资中国世界模型公司：AI缺乏物理世界认知，世界模型成AI下半场关键；一家中国公司获押中SpaceX的硅谷老将投资。