Un investigador de Microsoft y Zhao Song demuestran la conjetura KLS
La demostración de octubre elimina la dependencia de la dimensión de una cota de 1995, después de que una búsqueda dirigida por humanos con IA ayudó a identificar el criterio matemático clave.
By Ryan Merket · Published · Updated
Primary source: Microsoft Research
Por qué importa
La demostración convierte una suposición ampliamente utilizada sobre el muestreo en alta dimensión en un teorema. Su contribución de la IA también es específica: la exploración guiada ayudó a los investigadores a encontrar un criterio útil, mientras que el juicio matemático humano dio forma y completó la demostración.
Una demostración publicada el 4 de octubre resuelve la conjetura Kannan-Lovász-Simonovits, un problema de 1995 sobre qué tan eficientemente las caminatas aleatorias pueden explorar distribuciones de probabilidad en alta dimensión. Microsoft Research anunció el resultado el 21 de octubre, acreditando al investigador de Microsoft Xinzhi Zhang y al colaborador Zhao Song.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.