OpenAI ha publicado 372 resultados matemáticos significativos, destacando la demostración de la Conjetura de Juegos Únicos (UGC) de Subhash Khot, un logro que la teórica de la complejidad Dana Moshkovitz había trabajado durante años. La prueba, respaldada por el grupo asesor de OpenAI que incluye a Timothy Gowers y Edward Witten, incluye un certificado formal en el lenguaje Lean, aunque los expertos señalan que la comprensión humana de estas demostraciones está en sus inicios. Moshkovitz describe el proceso como caótico y confuso, pero nota que la validación de la UGC resuelve un problema central de su carrera. Además de la UGC, los resultados incluyen la equivalencia entre el espacio logarítmico probabilístico y determinístico (L=BPL), mejoras en la complejidad de la multiplicación de enteros y la síntesis unitaria, así como separaciones de complejidad cuántica y clásica. Estos avances marcan un punto de inflexión en la intersección entre la inteligencia artificial y la investigación matemática pura.
Noticias agregadas con IA