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