微软研究院发布 Magnetar：基于证明的通用计算 zkVM
微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院公开 Magnetar 的设计与基准数据，读者可了解零知识证明在通用程序上的速度与安全取舍。
#部署/工程
Microsoft Research精选AI 评分6161
Google Research精选AI 评分6060 Google 发布基于 TEE 的联邦学习系统，Gboard 已采用
Google 宣布下一代联邦学习系统，利用可信执行环境（TEE）为数据匿名化提供可验证、可审计的保证，Gboard 已采用该系统并上线英语和日语下一词预测模型。
推荐理由：Google 公布基于 TEE 的新一代联邦学习系统设计，并给出 Gboard 已上线的实际效果，可了解隐私可验证训练的一种工程路径。
Microsoft Research精选AI 评分6262 微软研究：将物理 AI 推理卸载到边缘或云端可提升机器人性能与续航
微软研究院发布对物理 AI 机器人推理负载的系统性研究，认为把推理全部放在机器人自带 GPU 上会限制性能、续航和扩展性，卸载到边缘或云端 GPU 可带来明显收益。
推荐理由：微软对移动操作机器人推理负载的系统性测量，给出端侧与云端卸载在成功率、时延和续航上的量化对比。
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，以及翻译层对搜索结果的量化影响。
已经到底了