World Labs（李飞飞团队）发布 Atlas，号称全球首个可生成图像/视频帧、实现像素级相机控制并重建 3D 的多模态世界模型。它从零预训练多模态自回归扩散 Transformer，可用少量照片重建场景、生成任意轨迹的 RGB/深度，并用于机器人仿真；早期访问将在数周内开放。
7 大权威镜像天梯跑分与 29+ 款主流编程套餐横向比价测算
联动天梯榜跑分、独家套餐赠金与 IDE 定制规则
Google 与 DeepMind 为最新 Gemini 模型引入智能体视频理解：模型不再默认按每秒一帧静态扫描，而是结合字幕、音频与画面动态调帧，只抓取关键片段。该能力已通过 Gemini API 向 3.7 Flash、3.6 Flash 与 3.5 Flash-Lite 开放。
Google DeepMind 宣布最新 Gemini 模型具备智能体视频理解能力：不再扫描整段视频，而是结合转录、音频与画面推理，并动态调整帧率只抽取关键时刻。长视频效率提升最明显，Token 用量最高可降 88%；该能力正通过 API 向 Gemini 3.7 Flash、3.6 Flash 与 3.5 Flash-Lite 开放。
Anthropic 宣布 Claude 完成费马大定理的首份机器可验证形式化证明，专家原预计该工作需数年。该证明超过 1300 万行 Lean 代码，是迄今最大的 Lean 证明，并顺带形式化了证明所依赖的逾 2.9 万条定理。Anthropic 认为这标志着 AI 辅助数学核验进入新阶段，有望减轻日益增长的论文审稿负担。
讨论与评论
0登录后即可参与深度讨论
与广大 AI 开发者、工程师交流评测心得与前沿洞察