Publié le 22 octobre 2026 Mis à jour le 22 octobre 2026
Un problème mathématique ouvert depuis 1995 vient de franchir une étape majeure. Zhao Song et Xinzhi Zhang, chercheur chez Microsoft Research, annoncent avoir démontré la conjecture de Kannan-Lovász-Simonovits, dite conjecture KLS. Leur travail porte sur la géométrie et les probabilités en très grande dimension.
Microsoft insiste sur l’usage d’outils d’intelligence artificielle pendant la recherche. Mais le raccourci « une IA a résolu seule un problème vieux de 31 ans » serait trompeur. Les chercheurs ont défini la direction mathématique, sélectionné les pistes, construit l’argument et vérifié la preuve. L’IA a servi d’outil d’exploration et de contrôle.
Que dit la conjecture KLS ?
Dans sa formulation technique, la conjecture demande si toute mesure de probabilité log-concave isotrope dans un espace à n dimensions possède une constante de Cheeger minorée par une constante universelle positive.
En version plus accessible, elle cherche à savoir si, pour certaines formes ou distributions en très grande dimension, la meilleure coupe plane reste toujours presque aussi efficace que la meilleure coupe possible, quelle que soit sa forme. Surtout, l’écart doit rester borné indépendamment du nombre de dimensions.
La question semble abstraite, mais elle touche aux méthodes d’échantillonnage, aux marches aléatoires, à l’optimisation et à certains algorithmes utilisés en informatique et en statistique.
Ce que la nouvelle preuve apporte
Le préarticle de Zhao Song et Xinzhi Zhang établit une borne universelle qui ne dépend plus de la dimension. C’est précisément le cœur de la conjecture formulée en 1995 par Ravi Kannan, László Lovász et Miklós Simonovits.
Le texte, intitulé An O(1) Bound for the KLS Constant, a été soumis à arXiv le 1er octobre 2026 puis révisé le 4 octobre. Microsoft Research a présenté le résultat au public le 21 octobre.
Selon Microsoft Research, plusieurs chercheurs indépendants ont examiné le résultat et une vérification formelle assistée par machine a également été menée. Comme pour tout travail mathématique récent, la lecture et la validation par la communauté restent néanmoins essentielles.
Quel rôle l’intelligence artificielle a-t-elle joué ?
Les outils d’IA ont aidé à explorer des approches candidates, mener des dérivations détaillées, préparer le manuscrit et effectuer des contrôles internes. Les auteurs ont conservé la responsabilité de la stratégie, du tri des idées et de l’assemblage de la preuve finale.
Cette distinction compte. Elle évite d’attribuer à un modèle un résultat dont la valeur dépend d’un long travail de formulation, de jugement et de vérification humaine. Le rôle décrit ressemble davantage à celui d’un assistant de recherche très rapide qu’à celui d’un mathématicien autonome.
Cette approche diffère aussi des usages opérationnels récents de Microsoft, comme la surveillance des agents IA considérés comme des initiés à risque ou leur isolation dans des Execution Containers sous Windows.
Une validation indépendante en parallèle
Le contexte renforce l’intérêt du résultat : une autre preuve de la conjecture a été publiée indépendamment le même jour par Pierre Bizeul, Boaz Klartag et Joseph Lehec, en s’appuyant sur une idée proche. Cette convergence ne dispense pas de la revue détaillée, mais elle réduit le risque que tout repose sur une unique chaîne d’arguments.
Microsoft précise par ailleurs que la version du 1er octobre améliorait déjà fortement les bornes connues sans résoudre complètement la conjecture. La révision du 4 octobre a supprimé la dépendance résiduelle au nombre de dimensions.
Pourquoi ce résultat dépasse les mathématiques pures
Les distributions log-concaves apparaissent dans de nombreux problèmes de statistiques, d’apprentissage automatique et d’optimisation. Contrôler la vitesse à laquelle une marche aléatoire explore ces distributions permet de mieux comprendre l’efficacité théorique de certains algorithmes.
Il ne faut cependant pas attendre une fonction magique dans Copilot ou OneDrive la semaine prochaine. Une avancée théorique peut mettre des années à produire des effets applicatifs visibles. Son importance immédiate est d’abord scientifique.
Ce qui est établi et ce qui reste à confirmer
Le préarticle affirme une borne universelle et Microsoft rapporte des validations indépendantes ainsi qu’un contrôle formel. La preuve est publique et peut être examinée. Sa reconnaissance définitive passera toutefois par l’analyse continue de la communauté mathématique et, le cas échéant, une publication évaluée par les pairs.
Le résultat illustre surtout une évolution crédible de la recherche assistée par IA : ni miracle automatique, ni simple gadget. Un outil puissant, dirigé par des spécialistes, sur un problème où chaque ligne doit encore résister aux spécialistes suivants.
Informations vérifiées le 22 octobre 2026.