Rapports sur l'IA · Microsoft · 2026-10-21 · Blog / commentaire
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
Un chercheur de Microsoft et un collaborateur ont résolu la conjecture de Kannan–Lovász–Simonovits (KLS), un problème vieux de 31 ans, proposé en 1995 et largement considéré comme l'une des questions ouvertes centrales de la géométrie en grande dimension. Ce résultat établit un principe géométrique universel pour les distributions log-concaves, montrant que de simples coupes plates capturent leurs goulots d'étranglement les plus étroits à un facteur fixe près, quelle que soit la dimension. Cette percée est issue d'un processus de recherche agentique dirigé par l'humain, dans lequel des systèmes d'IA ont exploré les possibilités tandis que les chercheurs évaluaient et réorientaient la recherche ; elle a été confirmée de manière indépendante, puis suivie d'une vérification formelle contrôlée par machine.