La IA y los problemas difíciles del mundo · Matemáticas · Microsoft Research · 2026-10-21
Resolver un gran desafío matemático de 31 años – la conjetura KLS
Título original: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Investigadores resolvieron la conjetura de Kannan–Lovász–Simonovits (KLS), propuesta en 1995 y ampliamente considerada una de las principales cuestiones abiertas de la geometría en alta dimensión. La demostración surgió de un proceso agéntico dirigido por humanos, en el que sistemas de IA exploraron posibilidades matemáticas mientras los investigadores evaluaban, podaban y redirigían la búsqueda. El resultado establece que los cortes planos simples capturan los cuellos de botella más estrechos de las distribuciones logarítmicamente cóncavas dentro de un factor fijo independientemente de la dimensión, y fue confirmado por investigadores independientes seguido de una verificación formal comprobada por máquina.