● 世界模型 · 官方
皮查伊详解 Genie 4 世界模型能力
实时操控环境、事件、镜头与动作，并生成与环境匹配的原生音频与角色对话。
谷歌 CEO Sundar Pichai 在同日发帖，为 Genie 4 补充了更细的能力清单：用户可实时操控动态环境，塑造事件、机位与动作；同时模型会生成与场景匹配的原生音频，从真实的背景声到能够对话的角色。多个开发者与创作者已提前体验，普遍认为其动态与音频质量明显优于上一代。
模拟中的模拟：Genie 4 把实时物理、推理与音频带进同一个可探索的世界。
Demis Hassabis
OpenAI 发布 GPT-6.1 Terra
主打更低价格下快速且能干的电脑使用能力，可理解屏幕内容并执行操作。
AI 用 24 天核对史上最长数学证明
Axiom 用数十个 AI agent 在 24 天内核对长达 1.5 万页、散落 500 多篇论文的数学证明，并发现和修补其中证明漏洞。
Claude 独立论文推翻指数时间假设
Anthropic 在 GitHub 发布论文，称内部研究版 Claude 独立找到核心算法，用 1400 万输出 token、无人类输入得出与 OpenAI 相同的 ETH 结论。
Axiom 完成有限单群分类证明验证
完成有限单群分类证明的计算机形式化验证，取代四色定理成为最大规模计算机验证数学证明。
● 行业 · 医疗
Anthropic 公布 Claude 新药研发进展
已与六家药物研发机构建立深度研究合作，并启动自有药物发现工作，探索 Claude 在研发各阶段的作用。
● 行业 · 政务
Anthropic 四折向美国政府提供 Claude
扩大与美国总务管理局合作，通过 OneGov 协议以 40% 折扣向联邦、州、地方、部落和领地政府提供 Claude。
● 行业 · 并购
Anthropic 收购一人制药公司 Mithril
创始人用 Claude 与 11 个外部实验室合作，18 个月内把一款肌肉萎缩症疗法推进到小鼠实验。
Replit Cloud Agents 可生成测试通过的 PR
把自然语言转成经过测试的拉取请求，工程师仍可审核最终代码；Replit 设计团队已借此安全提交超 25 万行代码。
LFM3 上线 Ollama，1GB 内存可跑
Liquid AI 的 LFM3 已登陆 Ollama，含文本、视觉、音频、全模态和决策模型；文本模型 4-bit 量化约 1GB，支持 256K 上下文。
LFM3-VL-2B 上线 LM Studio
1.92B 参数视觉语言模型，面向端侧图像和视频理解，支持推理、工具调用与 128K 上下文，占用约 1GB 内存。
Carbon-X 实现 DNA 理解前沿能力
首个在 DNA 理解上达到前沿智能的模型，能同时处理英语和 DNA 序列。
Sakana AI 宣布自研 LLM 与世界模型
将从事预训练 LLM 开发，并研发面向物理 AI 的世界模型及 Agentic Scientist 研究。
英伟达 Rubin NVL72 跑 Kimi K3 超 850 tok/s
SemiAnalysis 称 NVIDIA 首个 Rubin NVL72 的 Kimi K3 提交可达超过 850 tok/s/用户。
英伟达与 Meta 扩大 Muse 模型合作
双方将扩大 Muse 模型合作，以提升推理和训练性能。
Cursor 设计模式新增标注功能
可让智能体接收视觉提示，编辑元素、在页面上绘制并查看不同屏幕尺寸。
v0 支持生成可编辑 Artifacts
现在可生成报告、图表、示意图和交互式 HTML 页面，并支持在聊天中创建、编辑和发布分享。
● 论文与技术深潜
Lean 验证分词器解决训练推理错位
作者用 Rust 实现 tokenizer 并经 Aeneas 提取到 Lean，形式化证明 BPE 编码符合规范，并证明聊天模板可往返，以减少 agent harness 中的训练推理不匹配。
MiRL：纠正终端智能体错误行为
先定位终端智能体跨环境重复出现的错误行为，再从失败步骤开始强化学习；Qwen3.5-4B 上重复率平均降 43%—57%，Terminal-Bench Lite 达 51.8%。
InteractiveWorld 构建人机闭环交互基准
提出可验证的人机闭环交互环境与动态基准，让多模态模型指导人类完成物理任务；InteractiveBench 含六大类 120 个多轮任务。
StreamVibe 提出主动视频智能体框架
面向隐式、动态用户意图，提出评测集、流式主动模型和分层记忆 harness，响应时机与答案质量较基线提升 10.7%。
Snowflake 加码智能体强化学习
将加大对智能体 RL 的投入，重点是长程智能体训练配方、消除奖励黑客和协同设计。
专家使用 AI 智能体仍受其立场影响
Ethan Mollick 引用研究发现，专家与 AI 智能体协作时仍会被 AI 的立场影响，即使自认为独立判断。
英伟达 MotionBricks 实时生成机器人动作
SIGGRAPH 2026 发布，采用模块化潜在生成模型与 Smart Primitives，可实时生成逼真的人体与机器人运动，代码已开源。
MiniCPM-OCR 1.0 开源刷新 OCR 基准
OpenBMB 发布 1.3B 开源 OCR 模型，在 OCRBench v2、CHAOS-Bench 等基准上取得开源 SOTA，吞吐为 PaddleOCR-VL-1.6 的 1.49 倍。
AMD 与 vLLM 发布多模态路由模型
d3-ultra 支持逐答案概率、视觉定位和视频跟踪，在 AMD Instinct GPU 上训练与推理，权重以 Apache-2.0 开源。
SGLang 首日支持 LFM3
Day-0 支持 Liquid AI 的 LFM3，并介绍其三混合架构和统一多模态骨干。
腾讯混元语音翻译模型接入 SGLang
Hy-SimulMT 进入 SGLang Omni，支持中英流式语音翻译，单张 H200 上 BF16 推理。
百度 Unlimited OCR 2 单请求解析整本书
可在单次请求中解析整本书，并在数百页规模下保持解码延迟和内存平稳；SGLang 是其推荐服务路径。