La conjecture KLS, énigme mathématique de 31 ans, résolue avec l’aide de l’IA
Microsoft Research a présenté le 21 octobre 2026 la démonstration de la conjecture de Kannan, Lovász et Simonovits, un problème de géométrie en grande dimension ouvert depuis 1995. Agents d’IA d’un côté, ChatGPT de l’autre : deux équipes ont fait de l’intelligence artificielle un véritable outil de recherche. Les preuves restent toutefois à valider par les pairs.





























































