Nvidia 发布 GR00T 2 世界-动作模型，可从人类视频学习机器人动作
Nvidia 在新研究报告中介绍 GR00T 2，这是一个世界-动作模型（WAM），能同时预测下一步动作和未来短片画面，从而把人类视频中的动作迁移到机械臂上。
#论文/研究
The DecoderAI 评分7171
Google DeepMind精选AI 评分8282 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个由多个 LLM 智能体组成的形式化验证框架，并用它证明了 Signal 协议实际代码的关键安全属性。
推荐理由：DeepMind 用多智能体框架在四周内完成 Signal 协议代码的形式化验证，并公开了验证产物。
OpenAI NewsAI 评分4242 OpenAI 与 Upwork 研究：AI 对自由职业工作的影响
OpenAI 与 Upwork 的新研究发现，自由职业市场需求正在发生变化，AI 相关项目出现新的技能组合，预算更高、工时更长。
GitHub Blog · AI & MLAI 评分5858 GitHub 发布 AI 代码审查开放基准 ReviewBench
GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布构建，包含 19 种语言的 219 个公开 PR 和带严重程度与类别标注的多来源黄金集。
Berkeley AI Research精选AI 评分6262 从 CUDA 到 MLX：K-Search 如何把内核优化经验迁移到 Apple Silicon
IBM Research 基于 UC Berkeley Sky Lab 的 K-Search 框架新增 MLX 后端，并设计结构化 CUDA-to-MLX 翻译层，让已有 CUDA 内核作为知识库被改写为 Apple Silicon 内核。
推荐理由：原文给出了从 CUDA 到 MLX 的翻译层设计与两组内核实测数据，可看跨平台内核经验迁移的具体做法。