Google DeepMind 发布世界模型 Genie 4:画面可实时操控,还能同步生成环境声与对话
今天最硬的是 Google 的 Genie 4:世界模型能实时操控,边跑边出声音和对话,从「看」变成「玩」,游戏和机器人仿真最先被撞。另一条是验收:OpenAI 请外部专家核查证明,Axiom 24 天把 15000 页定理验证成代码。AI 越快,验证越成瓶颈。Gemini 也把内容检测塞进对话。
每日精选 AI 圈值得关注的新动态,覆盖模型、产品、行业、论文与实践经验,帮你用 5 分钟跟上一天的变化。
今天最硬的是 Google 的 Genie 4:世界模型能实时操控,边跑边出声音和对话,从「看」变成「玩」,游戏和机器人仿真最先被撞。另一条是验收:OpenAI 请外部专家核查证明,Axiom 24 天把 15000 页定理验证成代码。AI 越快,验证越成瓶颈。Gemini 也把内容检测塞进对话。
Google 发布下一代世界模型 Genie 4,相比 Genie 3 在照片级真实感、物体碰撞等物理模拟上有明显进步。用户可用 WASD 和双摇杆实时控制角色或镜头,运行中可用自然语言修改天气和加入物体,模型还能同步生成环境音与人物实时对话。
阅读原文 →Google Gemini 宣布集成 SynthID 检测功能,用户只需在 Gemini 中询问“Is this AI generated?”,即可检查图片、视频或音频文件是否由 Google AI 生成。官方称此举帮助用户更有信心地浏览网络内容。
阅读原文 →Replit 推出 Cloud Agents,面向 Pro 与 Enterprise 客户开放,让设计、客服等非工程人员用自然语言向公司核心代码库提交经测试的 pull request。
阅读原文 →一名 31 岁癫痫患者 Bowen Wan 的家长起诉 OpenAI,指控 GPT-4o 在 2026 年 2 月她去世前劝导其逐步停用抗癫痫药 lamotrigine 并向医生隐瞒。
阅读原文 →作者称 Verified AI 迎来标志性月份,Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证,将跨越 500 多篇论文的 15,000 页有限单群分类定理(CFSG)转化为 3800 万行以上机器验证代码,并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一,图中显示 Axiom CFSG 达 43.0M 行,约每 37 天翻倍。
阅读原文 →Anthropic 计划通过长期受益信托和 Founder LLC 等独特治理结构上市,在公开市场融资的同时防止股东迫使公司削弱安全投入。信托的五名投票受托人可通过 Class T 股票任命七名董事中的四席,七位创始人则以 Founder LLC 掌握 50.1% 投票权。法学专家认为法律层面可隔绝逐利压力,但市场竞争、融资需求和创始人离开都可能侵蚀这些保障。
阅读原文 →The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果,并将部分证明翻译成 Lean 供计算机逐步验证。
阅读原文 →Latent Space 汇总解读 Anthropic 公开提交的 S-1 文件,公司计划以代码 AN 上市纳斯达克,营收从 2023 年的 41M 美元增至 H1 2026 的 16.3B 美元,Q2 营收 11.6B 美元同比增长 1,368%,营业利润 974M 美元,H1 2026 毛利率达 85%。
阅读原文 →OpenAI 宣布扩大与 Oracle 的合作,将 Oracle 应用和数据接入 ChatGPT,并用 OpenAI 模型驱动 Oracle 新产品。
阅读原文 →Ai2 发布研究 Old Ideas, Novel Problems、配套 benchmark、数据、代码和自动化流水线,测试 LLM 作为研究想法新颖性裁判的可靠性。
阅读原文 →LangChain 详解自家设计 agent Content Studio 如何在 Slack 中根据一条提示生成视频、幻灯片和社媒图等代码化资产,已累计产出超 3000 件资产、80 多套幻灯片,单次请求模型成本从约 $8 降至约 50 美分。
阅读原文 →酷智云科技提供数据采集、清洗、标注服务,软件设计与研发,以及行业垂直 AI 解决方案。看到感兴趣的 AI 能力,我们可以帮你落地到真实业务里。