研究突破
11月12日星期四AI 前沿，先闻其声。
正在连接灵网
研究突破
RSS
11/12
RoboScript 用仿真试错学任务，平均成功率 83.4%
Dingkang Liang 介绍 RoboScript，通过仿真排练和执行反馈积累上下文经验。作者称，每项任务仅需一次演示、无需梯度更新，即可在 RoboTwin 2.0 全部 50 项任务上取得 83.4% 的平均成功率。
11/12
pre-QED 用智能体生成验证桩，建模 API 合法用法
Abhik Roychoudhury 介绍 NUS 团队的 pre-QED，通过智能体工作流自动生成可执行验证桩，为 AI 形式化验证提供环境规格。团队提出将 API 的合法用法纳入验证，使证明覆盖符合使用约束的客户端。
11/11
DeepMind 称完成 Signal 协议代码级安全证明
Google DeepMind 宣布，使用 AlphaProof Code 框架验证 Signal 协议的密码系统，并称 AI 首次在代码层面对该协议的安全性给出数学证明。
11/11
模型最后一层，开始给自己打草稿：百度 ECHO 加速线索
小互介绍百度的多 token 预测方法 ECHO，称其复用模型最后一层预测后续 token，经过完整模型验证后，一轮可以输出多个 token。
11/11
Agent 开始读蓝图、读科学图表：DeepMind 推出 MKA 基准
Google DeepMind 与 Artificial Analysis 联合介绍 Multimodal Knowledge Agent 基准，关注 Agent 处理视觉复杂专业任务的能力。
