OpenAI anuncia que sus modelos de inteligencia artificial han logrado tres descubrimientos científicos importantes en matemáticas, ciencias de la computación y física, que incluyen la demostración de la conjetura de Kakeya en análisis armónico, la refutación de la hipótesis de tiempo exponencial (ETH) en teoría de la complejidad computacional y la demostración rigurosa de la existencia de teorías cuánticas de campos en cuatro dimensiones (incluyendo QCD y el modelo estándar).Autor y fuente del artículo: AIBase
Recientemente, OpenAI anunció oficialmente que su modelo de inteligencia artificial logró tres descubrimientos científicos importantes en los campos de las matemáticas, la ciencia de la computación y la física, relacionados respectivamente con el análisis armónico, la teoría de la complejidad computacional y la teoría cuántica de campos. Para convertir estos datos de investigación originales y de vanguardia en comprensión científica real, OpenAI experimentó innovadoramente un nuevo modelo de colaboración profunda con la comunidad académica externa y estableció estrategias de publicación diversificadas para los resultados en cada campo.
En el campo del análisis armónico, el modelo logró demostrar la conjetura de suavidad local en todas las dimensiones, resolviendo así directamente las conjeturas de Kakeya y Stein de la restricción en matemáticas. La nueva demostración se basa en una ecuación diferencial parcial auxiliar novedosa. OpenAI ha publicado en el repositorio público de GitHub el informe generado por el modelo en lenguaje natural y la demostración en Lean.
En el campo de la ciencia de la computación, el sistema demostró que la hipótesis de tiempo exponencial (ETH), durante mucho tiempo considerada verdadera, es falsa. Esta conjetura está estrechamente relacionada con el famoso problema P vs. NP y previamente había sido ampliamente utilizada en cientos de artículos para derivar dureza computacional condicional. El resultado también se verificó en Lean. Este trabajo fue sometido a un equipo de expertos líderes dirigido por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams para su validación y orientación, y los resultados junto con la prueba formalizada en Lean ya están disponibles públicamente en un repositorio de GitHub.
En el campo de la física, el modelo proporciona una prueba matemáticamente rigurosa de la existencia de ciertas teorías cuánticas de campos interactivas en cuatro dimensiones que incluyen campos de gauge y fermiones (incluyendo la cromodinámica cuántica QCD y la unificación completa del modelo estándar de la física de partículas), donde como subproblema se incluye la prueba de la existencia de la teoría Yang–Mills pura, que también forma parte de los problemas del premio del milenio del Instituto de Matemáticas Clay. Este complejo trabajo fue impulsado por un grupo de físicos liderado por David Gross (que incluye a Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov).
Para brindar un apoyo integral a la revisión independiente y el estudio profundo de estos logros revolucionarios por parte de la comunidad académica, OpenAI ya ha donado 5 millones de dólares a la Fundación Simons para financiar seminarios, conferencias y proyectos especiales relacionados. Esta serie de iniciativas no solo demuestra el enorme potencial de la IA en la investigación前沿 de las ciencias básicas, sino que también marca que la física teórica moderna y las matemáticas están avanzando rápidamente hacia campos de mayor rigor.