Microsoft Research· Xinzhi Zhang·· 2 hsélectionAI Score88
Microsoft Research résout la conjecture KLS vieille de 31 ans
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI Introduction
Des chercheurs dont Xinzhi Zhang de Microsoft Research ont prouvé la conjecture KLS.
Raison de la recommandation
La démonstration d'une résolution assistée par agents avec élagage humain offre une méthode transférable pour la recherche mathématique.
Source :Microsoft Research · microsoft.com