Un problema matemático más antiguo que Google ha sido resuelto, con la IA haciendo gran parte de la búsqueda. Un investigador de Microsoft demostró la conjetura de Kannan–Lovász–Simonovits, de 31 años de antigüedad, después de que agentes de IA exploraran más de 100 enfoques.

Microsoft Research anunció el 21 de octubre de 2026 que la investigadora sénior Xinzhi Zhang y su colaborador Zhao Song han demostrado la conjetura de Kannan–Lovász–Simonovits, un problema central abierto de la geometría de alta dimensión planteado en 1995. Su artículo de 140 páginas "An O(1) Bound for the KLS Constant" (arXiv, 1 de octubre, revisado el 4 de octubre) establece una cota independiente de la dimensión, mediante un proceso de investigación agéntica dirigido por humanos en el que la IA exploró unas 100 trayectorias mientras los investigadores podaban y reorientaban la búsqueda. Por qué importa: KLS sustenta la teoría del muestreo en alta dimensión usada en estadística, optimización y algoritmos, y la prueba —ya corroborada por equipos independientes y verificada con Lean 4— marca un hito en el descubrimiento matemático asistido por IA.

• Rohan Paul2026-10-22 06:11