实体
Xinzhi Zhang
Xinzhi Zhang
PulseAugur coverage of Xinzhi Zhang — every cluster mentioning Xinzhi Zhang across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
Microsoft AI代理帮助证明了31年前的数学猜想
Microsoft研究人员Xinzhi Zhang和Zhao Song声称已证明了1995年的KLS猜想，这是一个长期存在的数学难题。他们利用AI代理探索了100多个潜在解决方案，显著加速了发现过程。然而，这项工作尚未经过同行评审。
-
微软研究人员利用AI解决了长达31年的KLS猜想
微软研究院的研究人员（包括张新志）成功解决了长达31年的Kannan-Lovász-Simonovits (KLS) 猜想。这一重大的数学突破为对数凹分布建立了一个普适的几何原理，证明了无论维度如何，简单的平面切割都能有效地捕捉其最窄的瓶颈。该猜想的解决是通过一种新颖的人类指导的AI代理研究过程实现的，其中AI系统在人类研究人员的指导下探索数学可能性，并最终得到了一个形式上验证的证明。