Informes de IA · Microsoft · 2026-10-21 · Blog / comentario
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
Un investigador de Microsoft y un colaborador han resuelto la conjetura de Kannan–Lovász–Simonovits (KLS), un problema de 31 años propuesto en 1995 que era ampliamente considerado como una de las preguntas abiertas centrales de la geometría de altas dimensiones. El resultado establece un principio geométrico universal para las distribuciones log-cóncavas, mostrando que simples cortes planos capturan sus cuellos de botella más estrechos dentro de un factor fijo independientemente de la dimensión. El avance surgió de un proceso de investigación agéntico dirigido por humanos, en el que los sistemas de IA exploraban posibilidades mientras los investigadores evaluaban y redirigían la búsqueda, y ha sido confirmado de forma independiente y seguido de una verificación formal comprobada por máquina.