XZ

Xinzhi Zhang

Researcher

Mathematics

Now Senior Researcher, Machine Learning and Optimization Group, Redmond · Microsoft Research

Latest on AI4S.fyi

TIMELINE · 2026-10-04

Zhao Song and Microsoft Research's Xinzhi Zhang post a proof of the 1995 KLS conjecture, working with AI tools they directed

Path

Microsoft ResearchSenior Researcher, Machine Learning and Optimization Group, Redmond

On the timeline

2026-10-04Zhao Song and Microsoft Research's Xinzhi Zhang post a proof of the 1995 KLS conjecture, working with AI tools they directed

Sourcesmicrosoft.com

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →