Recientemente, OpenAI anunció oficialmente que sus modelos de inteligencia artificial han logrado tres importantes descubrimientos científicos en los campos de las matemáticas, la informática 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 original de vanguardia en una verdadera comprensión científica, OpenAI intentó de manera innovadora un nuevo modelo de colaboración profunda con la comunidad académica externa y estableció estrategias de publicación diversificadas para los resultados de los distintos campos.
En el campo del análisis armónico, el modelo logró proporcionar una prueba de la conjetura del suavizado local (local smoothing) en todas las dimensiones, resolviendo así directamente, en todas las dimensiones, la conjetura de Kakeya y la conjetura de restricción de Stein de la comunidad matemática. La nueva prueba se basa en una novedosa ecuación en derivadas parciales auxiliar. OpenAI ya ha publicado en un repositorio público de GitHub el informe generado por el modelo con salida en lenguaje natural de IA, así como las pruebas en Lean.
En el campo de la informática, el sistema demostró que la hipótesis del tiempo exponencial (ETH), considerada verdadera durante mucho tiempo, es falsa; esta conjetura está estrechamente relacionada con el célebre problema P vs. NP y, con anterioridad, había sido ampliamente utilizada en cientos de artículos para derivar dureza computacional condicional. Este resultado también fue verificado en Lean. Este trabajo fue entregado a un equipo de expertos de primer nivel liderado por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams para su verificación y orientación, y los resultados correspondientes junto con las pruebas formales en Lean ya están disponibles públicamente en un repositorio de GitHub.
En el campo de la física, el modelo proporcionó pruebas matemáticamente rigurosas de existencia para ciertas teorías cuánticas de campos interactivas en cuatro dimensiones que incluyen campos de gauge y fermiones (incluida la cromodinámica cuántica QCD y la completación unificada del modelo estándar de la física de partículas), incluyéndose como subproblema la prueba de la existencia de la teoría pura de Yang–Mills, que también forma parte de los Problemas del Premio del Milenio del Clay Mathematics Institute. Este complejo trabajo fue impulsado conjuntamente por un grupo de físicos liderado por David Gross (que incluye a Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov); las comunicaciones relacionadas pueden enviarse al correo electrónico designado: YANGMILLS4D@gmail.com.
Con el fin de apoyar plenamente la revisión independiente y la discusión profunda de estos resultados innovadores por parte de la comunidad académica, OpenAI ya había realizado una donación de 5 millones de dólares a la Simons Foundation, destinada a financiar seminarios, congresos y proyectos especiales relacionados. Esta serie de medidas no solo demuestra el enorme potencial de la IA en la investigación de frontera de las ciencias básicas, sino que también marca una aceleración de la física teórica y las matemáticas modernas hacia ámbitos de mayor rigor y estándares más altos.