OpenAI anuncia tres avances científicos impulsados por inteligencia artificial

OpenAI anunció tres avances fundamentales de sus modelos de inteligencia artificial en los campos de las matemáticas, la informática y la física, demostrando por primera vez la capacidad de la IA para descubrir de forma autónoma y demostrar rigurosamente teorías científicas complejas, superando ampliamente su uso habitual como herramienta de respuesta a preguntas o apoyo a la investigación. En matemáticas, el modelo logró demostrar la conjetura de suavidad local en dimensiones arbitrarias y, sobre esa base, resolvió simultáneamente la conjetura de Kakeya y la conjetura de restricción de Stein. En informática, refutó la hipótesis del tiempo exponencial, considerada durante mucho tiempo un supuesto fundamental, abriendo así nuevas vías para el diseño de algoritmos más eficientes. En física, construyó una demostración matemática rigurosa de la existencia de la cromodinámica cuántica y de la teoría de Yang–Mills —un problema incluido entre los siete «Problemas del Milenio» publicados por el Instituto Clay de Matemáticas. Según datos de JIN10, OpenAI ha utilizado la herramienta de verificación matemática Lean para formalizar y validar los resultados obtenidos en matemáticas e informática, y ha publicado públicamente todos los materiales de demostración.