Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个由多个 LLM 智能体组成的形式化验证框架，并用它证明了 Signal 协议实际代码的关键安全属性。
推荐理由：DeepMind 用多智能体框架在四周内完成 Signal 协议代码的形式化验证，并公开了验证产物。
#论文/研究
Google DeepMind精选AI 评分8282 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 的翻译层设计与两组内核实测数据，可看跨平台内核经验迁移的具体做法。