Science
Conjecture KLS: Microsoft researcher and Zhao Song solve 31-year-old geometry problem, with AI agents for calculations
Xinzhi Zhang and Zhao Song demonstrate a constant terminal for Kannan-Lovász-Simonovits conjecture. AI was used as a computational and verification assistant, with humans keeping their hands on the strategy.