Microsoft dice que investigadores resolvieron la conjetura KLS tras 31 años

Microsoft dice que dos investigadores, incluido Xinzhi Zhang, de Microsoft Research, demostraron la conjetura de Kannan–Lovász–Simonovits (KLS), propuesta en 1995 y considerada un problema central de la geometría de alta dimensión. Según la compañía, el resultado establece que los cortes planos pueden capturar los cuellos de botella más estrechos de las distribuciones log-concavas dentro de un factor fijo, sin importar el número de dimensiones. La conjetura tiene implicaciones para la probabilidad, la estadística, la optimización, los algoritmos y el muestreo en alta dimensión.

Microsoft afirma que la demostración surgió de un proceso de investigación con agentes de IA, en el que los sistemas exploraron posibilidades mientras los investigadores evaluaban, filtraban y redirigían las ideas. La compañía dice que varios investigadores independientes validaron el trabajo y que una verificación formal revisada por una máquina confirmó su criterio central. La publicación no presenta todos los detalles técnicos de la demostración.