导语:本轮最值得关注的事件有四个。DeepMind 发布 AlphaProof Code,在复杂软件的形式化验证方面取得突破,标志着 AI 开始真正解决「证明代码正确性」这一硬核问题。八个国家与 OpenAI、Anthropic、Microsoft、Mistral AI 等顶级实验室签署「巴黎 AI 安全与安保呼吁」,承诺建立关机机制、独立审计和风险披露——这是 AI 安全治理从自愿承诺走向多国协调的重要一步,但协议缺乏约束性制裁。OpenAI 发布 Control Room,可在 35 秒内强制停止任意研究模型负载,为前沿模型的安全运行提供了实际可用的紧急制动能力。此外,Anthropic Fable 5.2 已能完成 41% 的真实零工任务(一年前仅 2.5%),AI 对劳动力市场的冲击正在加速。
产业与商业
OpenAI 发布 Work at the Frontier 研究:AI 对零工经济的影响
OpenAI 发布 Work at the Frontier 研究,分析 AI 对自由职业和零工工作的影响。
来源:OpenAI
Anthropic Fable 5.2 完成 41% 的真实零工任务,一年前仅为 2.5%
Anthropic Fable 5.2 在真实零工任务中的完成率从一年前的 2.5% 跃升至 41%,AI 对劳动力市场的替代能力正在加速。
来源:THE DECODER
NVIDIA 在韩国 MSIT-NVIDIA AI 创业伙伴论坛上宣布新投资计划
NVIDIA 在韩国 AI 创业伙伴论坛上宣布对韩国初创企业的新投资计划,扩大其全球 AI 生态系统布局。
来源:NVIDIA
学术与前沿
DeepMind 发布 AlphaProof Code:复杂软件形式化验证的突破
Google DeepMind 发布 AlphaProof Code,在复杂软件的形式化验证方面取得突破,AI 开始真正解决「证明代码正确性」这一硬核问题。
openJiuwen 发布 TTSE 双轨自演进框架:Agent 同时记住怎么做和世界是什么样
openJiuwen 发布 TTSE 双轨自演进框架,让 Agent 同时学习经验和世界观,推动 Agent 自演进进入新阶段。
来源:量子位
工具与产品
Google DeepMind 发布 Gemini Robotics 2.5:真实世界通用灵巧操作
Google DeepMind 发布 Gemini Robotics 2.5,在真实世界通用灵巧操作方面取得进展,在 Mercedes-Benz 装配试点中金属零件分拣成功率达 96%。
Gemini 4 Carbon 在 Cursor 编码基准测试中以一半价格登顶
Google Gemini 4 Carbon 在 Cursor 编码基准测试中登顶,且成本仅为竞品的一半,性价比优势显著。
来源:AlphaSignal
NVIDIA GR00T 2:通过观看人类视频来想象自己作为机器人
NVIDIA GR00T 2 通过观看人类执行任务的视频,想象自己作为机器人如何完成相同任务,为机器人学习提供了新范式。
来源:THE DECODER
NVIDIA 与合作伙伴在 CoRL 展示机器人在仿真中排练精细操作
NVIDIA 与合作伙伴在 CoRL 展示机器人如何在仿真环境中排练精细操作,提升真实世界的执行能力。
来源:NVIDIA
Hugging Face 发布 Decision Models
Hugging Face 发布 Decision Models,面向决策场景的专用模型,扩展了 AI 在决策支持领域的应用。
来源:Hugging Face
政策与治理
八国与顶级 AI 实验室签署「巴黎 AI 安全与安保呼吁」
八个国家与 OpenAI、Anthropic、Microsoft、Mistral AI 等顶级 AI 实验室签署「巴黎 AI 安全与安保呼吁」,承诺建立关机机制、独立审计和风险披露,但协议缺乏约束性制裁或时间表。
来源:THE DECODER
OpenAI 发布 Control Room:35 秒内可强制停止任意研究模型负载
OpenAI 发布 Control Room,可在 35 秒内强制停止任意研究模型负载,为前沿模型的安全运行提供了实际可用的紧急制动能力。
来源:OpenAI
观点与思考
OpenAI 发布帮助护理人员在日常生活中使用 AI 的指南
OpenAI 发布关于帮助护理人员在日常生活中使用 AI 的指南,推动 AI 在照护领域的应用。
来源:OpenAI
OpenAI 发布关于弥合教育领域 AI 指导差距的研究
OpenAI 发布关于弥合教育领域 AI 指导差距的研究,探讨 AI 如何帮助缩小教育中的指导鸿沟。
来源:OpenAI