微软研究院等证明 31 年悬而未决的 KLS 猜想
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明对数凹分布的最佳平面切割与任意形状最佳切割只差一个与维度无关的固定常数。
推荐理由：这项证明把困扰高维几何三十余年的猜想变为无条件结论，也展示了研究者如何筛选并引导 人工智能（AI，Artificial Intelligence） 的搜索方向。
内容类型
论文研究 最新动态
值得读的 AI 论文与研究成果：架构创新、训练方法、能力测量与理论进展。
3 条精选近 30 天 3 条共收录 305 条
更新
论文研究的精选
Microsoft Research精选模型评分8181
Microsoft Research精选模型评分6565 微软研究院发布 Magnetar：基于标准哈希函数的零知识虚拟机
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快的同类零知识虚拟机快 10 到 39 倍。
推荐理由：微软研究院把零知识证明的速度、通用性和后量子安全放在同一套系统里，读者可据此判断可验证计算离日常工程还有多远。
Microsoft Research精选模型评分6060 微软研究院发布 StudentSim，用个性化学生模拟器评估和改进 人工智能（AI，Artificial Intelligence） 辅导系统
微软研究院提出研究系统 StudentSim，用公开的去标识学习记录为每个学生训练个性化模拟器，在真实学习者测试之前评估和改进 人工智能（AI，Artificial Intelligence） 辅导系统。
推荐理由：微软研究院提出用真实学习记录训练个性化学生模拟器，在三个学科上给出可复用的评测协议和训练反馈路径。