微软研究院等证明 31 年未解的 KLS 猜想
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，证明高维对数凹分布下最佳超平面切割与任意形状最佳切割的差距不超过一个与维度无关的常数。
推荐理由：这条内容讲的是研究者如何用智能体并行探索上百条路径、人工筛选后完成证明，可了解人机协作做数学研究的实际流程。
#Microsoft
Microsoft Research精选AI 评分7171
Microsoft Research精选AI 评分7171 微软研究院推出基于证明的通用计算系统 Magnetar
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证约需 12 毫秒。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何同时兼顾通用性、速度与标准哈希函数安全性。
已经到底了