OpenAI afirma haber resuelto tres problemas matemáticos complejos

OpenAI ha anunciado que uno de sus modelos internos ha demostrado la falsedad de la hipótesis del tiempo exponencial, una conjetura de los años noventa que sentó las bases de la teoría de la computación. La empresa atribuye además la demostración de la conjetura del suavizado local y la existencia matemática de la teoría de Yang-Mills. Estos hallazgos, descritos como datos de investigación en bruto, implican la refutación de problemas centrales de la informática teórica y la física de partículas, áreas donde se apoyan cientos de artículos académicos. El resultado sobre el tiempo exponencial roza el Problema del Milenio, específicamente el problema P frente a NP, formulado por Stephen Cook y Leonid Levin en 1971. Según OpenAI, el modelo identificó la refutación el 16 de octubre y la tradujo a Lean, un lenguaje de verificación formal, el día siguiente. Expertos como Russell Impagliazzo, Ramamohan Paturi y Ryan Williams se encargarán de revisar esta demostración. El segundo hallazgo, sobre ondas, resuelve la conjetura de Christopher Sogge (1991) y arrastra consigo otras dos conjeturas del análisis armónico, incluyendo la de Kakeya, planteada por Soichi Kakeya en 1917. El tercer resultado confirma la existencia de la teoría de Yang-Mills en cuatro dimensiones, una de las dos mitades del Problema del Milenio restante. OpenAI ha pedido a expertos externos que organicen grupos para verificar estos resultados, un anuncio que llega tras una reciente disputa por el crédito de una demostración de Navier-Stokes.