Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分70
Microsoft研究员证明KLS猜想，解决高维几何31年难题
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
Microsoft Research的Xinzhi Zhang与同事证明Kannan-Lovász-Simonovits（KLS）猜想，解决高维几何中31年未解问题。
推荐理由
人类指导AI探索数学可能性并验证证明，解决了高维几何领域31年未解猜想，方法可迁移至其他形式化数学研究。
来源：Microsoft Research · microsoft.com