微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，并返回可在约 12 毫秒内验证的简短证明。在 15 个基准程序上，它比同机最快的现有 zkVM 平均快 10 到 39 倍，在笔记本上每秒可证明 720 万至 870 万条 RISC-V 指令。其安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，不需要椭圆曲线、格假设或可信设置。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在通用性、速度与标准哈希安全之间同时取得进展。
Google Research 发布新一代联邦学习系统，借助可信执行环境（TEE）让数据匿名化过程可被远程验证和审计，并称隐私保证更强、模型精度更高。设备上传的加密训练数据只能在符合访问策略的 TEE 内解密处理，访问策略发布到公开透明日志 Rekor，KMS 与数据处理二进制可从开源代码复现构建。Gboard 已采用该系统上线英语和日语下一词预测模型，训练速度明显快于此前系统。
微软研究院实习生构建的机器学习流水线可为美国本土66,935座变电站生成30-60分钟前的空间天气风险预警，评估期内检出近80%的重大事件。系统结合AE与Dst指数预报、纬度、地质电导率与电网数据，Dst预测在2020-2026年活动高峰时段有62.2%的小时优于Burton方程。
METR 分析发现 AI 对网络安全漏洞发现的加速最明显，2026 年多个项目与 NVD、OSV 等漏洞库的报告速率较 2025 年大幅提升，对数学研究只有小幅加速，对 AI 研究本身则无可测量的加速。SPADE 让 LLM 交替扮演环境设计者与推理智能体，在 Qwen3-30B-A3B 上把游戏环境套件均分提升至 58.3，比基座高 8.1。
研究团队为 K-Search 增加 MLX 后端和结构化 CUDA-to-MLX 翻译层，让进化式内核搜索把已有 CUDA 内核当作知识库，在 Apple Silicon 上生成高质量内核。
推荐理由：原文给出从 CUDA 到 MLX 的结构化翻译层与两组内核实测数据，可看跨平台内核经验迁移的具体做法。