Un défi mathématique vieux de 31 ans résolu : la conjecture KLS

Des chercheurs ont résolu la conjecture de Kannan-Lovász-Simonovits (KLS), posée en 1995, qui touche à la géométrie en grande dimension, aux statistiques, à l'optimisation et aux algorithmes. Le résultat établit que de simples coupes planes capturent les goulots d'étranglement les plus étroits des distributions log-concaves, à un facteur fixe près, quelle que soit la dimension. La percée est issue d'un processus agentique dirigé par des humains, validé par plusieurs chercheurs indépendants puis par une vérification formelle automatisée.