← 人物
研究者
数学
现任 高级研究员，机器学习与优化组（雷德蒙德） · Microsoft Research
时间线 · 2026-10-04
Zhao Song 与微软研究院的 Xinzhi Zhang 贴出 1995 年 KLS 猜想的证明，过程中由两人指挥 AI 工具
出处microsoft.com
这一页有错误或遗漏？告诉我，会更正或撤下。 联系 →
