OpenAI afirma que sus modelos demostraron la conjetura de suavizado local, refutaron la hipótesis del tiempo exponencial y demostraron la existencia de Yang–Mills

OpenAI anunció tres resultados en matemáticas, informática y física obtenidos por sus modelos. Todo lo que sigue es una afirmación de la propia OpenAI; aún no se ha verificado de forma independiente ninguno de los resultados, y OpenAI dice que se comprobaron en Lean.

• Matemáticas (análisis armónico). OpenAI afirma que sus modelos demostraron la conjetura de suavizado local en todas las dimensiones, lo que, según la empresa, también resuelve la conjetura de Kakeya y la conjetura de restricción de Stein en todas las dimensiones, mediante una novedosa ecuación diferencial parcial auxiliar. Publicó la exposición en lenguaje natural de los modelos y una demostración en Lean en su repositorio público de GitHub openai/math, siguiendo el enfoque de su publicación del 6 de octubre.
• Informática. OpenAI afirma que su sistema refutó la hipótesis del tiempo exponencial (ETH), una conjetura sobre la complejidad de la satisfacibilidad de fórmulas booleanas, y que la refutación se verificó en Lean. Ryan Williams dirigirá un grupo junto con Russell Impagliazzo y Ramamohan Paturi (quienes propusieron la ETH con Francis Zane) para verificarla y explicarla. A petición del grupo, OpenAI hizo pública la demostración en lenguaje natural y su formalización en Lean.
• Física. OpenAI afirma que sus modelos produjeron una demostración rigurosa desde el punto de vista matemático de la existencia de ciertas teorías cuánticas de campos interactuantes en cuatro dimensiones, con campos gauge y fermiones, entre ellas QCD y una compleción unificada del Modelo Estándar; como subproblema, demostraron la existencia de la teoría pura de Yang–Mills, que forma parte del problema del Premio del Milenio del Clay Mathematics Institute. La empresa dice que las demostraciones se verificaron formalmente en Lean. Un grupo dirigido por David Gross, con Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov, supervisará el trabajo, y OpenAI dejará en sus manos la decisión sobre la publicación de los materiales.

OpenAI describe los manuscritos como «datos de investigación en bruto» y dice que pidió a expertos externos que actuaran como supervisores, quienes recomendaron una estrategia de publicación distinta para cada resultado. Indica estas fechas para el trabajo: el resultado sobre suavizado local se obtuvo el 18 de octubre (y se formalizó en Lean al día siguiente), la refutación de la ETH, el 16 de octubre (formalizada el 17 de octubre), y la demostración de la existencia de Yang–Mills, el 9 de septiembre (QCD, el 18 de septiembre; la formalización en Lean de Yang–Mills se terminó el 16 de octubre). El grupo de física pide que las comunicaciones se envíen a una dirección de correo electrónico exclusiva y ha decidido reservar los materiales producidos por la IA mientras redacta su propio trabajo.

OpenAI dice que las colaboraciones se rigen por cuatro principios: transparencia (sin acuerdos de confidencialidad), OpenAI no busca crédito académico, reconocimiento para los grupos e independencia (la participación es voluntaria y no remunerada, y los miembros hablan solo en nombre propio). La empresa dice que financiará una conferencia sobre el resultado de la ETH y señala su reciente contribución de $5 millones a la Simons Foundation para talleres y programas sobre resultados producidos por IA. También hizo pequeños cambios en el repositorio de GitHub, detallados en su archivo de historial. El hilo del anuncio en X tenía 405 puntos y 30 comentarios en X la noche del 26 de octubre.