微软研究院等证明31年悬而未决的KLS猜想
微软研究院张新志与Zhao Song证明1995年提出的KLS猜想，确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径，由研究者筛选方向并完成论证，另有独立团队同日给出完整证明，随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。
推荐理由：这篇论文证明了一个悬置31年的高维几何猜想，并展示了研究者如何引导AI智能体筛选上百条路径。
公司与模型
Microsoft / Copilot 最新动态
微软的 Copilot 系列产品、Azure AI 云服务，以及与 OpenAI 的合作动向。
2 条精选近 30 天 2 条共收录 13 条
更新
Microsoft / Copilot的精选
Microsoft Research精选AI 评分7878
Microsoft Research精选AI 评分6262 微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和后量子安全上同时推进。