L'IA face aux grands problèmes du monde · Mathématiques · Microsoft Research · 2026-10-21
Résoudre un défi majeur des mathématiques vieux de 31 ans – la conjecture KLS
Titre original: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Des chercheurs ont résolu la conjecture de Kannan–Lovász–Simonovits (KLS), proposée en 1995 et largement considérée comme l'une des questions ouvertes centrales de la géométrie en grande dimension. La démonstration est issue d'un processus agentique dirigé par l'humain, dans lequel des systèmes d'IA exploraient les possibilités mathématiques tandis que les chercheurs évaluaient, élaguaient et redirigeaient la recherche. Le résultat établit que de simples coupes plates capturent, à un facteur fixe près et quelle que soit la dimension, les goulets d'étranglement les plus étroits des distributions log-concaves ; il a été confirmé par des chercheurs indépendants, puis par une vérification formelle contrôlée par machine.