Un problème de mathématiques plus ancien que Google a été résolu, l'IA ayant effectué l'essentiel des recherches. Un chercheur de Microsoft a démontré la conjecture de Kannan–Lovász–Simonovits, vieille de 31 ans, après que des agents IA ont exploré plus de 100 approches.

Microsoft Research a annoncé le 21 octobre 2026 que la chercheuse senior Xinzhi Zhang et son collaborateur Zhao Song ont démontré la conjecture de Kannan–Lovász–Simonovits, un problème central ouvert de la géométrie en haute dimension posé en 1995. Leur article de 140 pages "An O(1) Bound for the KLS Constant" (arXiv, 1er octobre, révisé le 4 octobre) établit une borne indépendante de la dimension, produit d'un processus de recherche agentique dirigé par l'humain dans lequel l'IA a exploré une centaine de trajectoires pendant que les chercheurs élaguaient et réorientaient la recherche. Pourquoi c'est important : KLS sous-tend la théorie de l'échantillonnage en haute dimension utilisée en statistique, optimisation et algorithmique — et cette preuve, déjà corroborée par des équipes indépendantes et vérifiée par machine via Lean 4, marque une étape majeure de la découverte mathématique assistée par l'IA.

• Rohan Paul2026-10-22 06:11