Un comité de físicos liderado por el Nobel David J. Gross publicó, en la noche del 10 de noviembre, el código en Lean de la prueba de existencia de la teoría cuántica de Yang-Mills generada por IA por OpenAI, junto con su primera evaluación: a juicio del grupo, la prueba se sostiene. El problema del gap de masa, sin embargo, sigue abierto, y el Premio del Milenio, de 1 millón de dólares, no ha sido conquistado.
Qué se publicó
El material se publicó en dos repositorios de GitHub: el código Lean completo que OpenAI envió al grupo el 28 de octubre y la «Assessment 1», una evaluación de 35 páginas preparada por Michael R. Douglas, Arthur Jaffe, Ron Nissim y Fred Rajasekaran y aprobada por el grupo, que también incluye a Igor R. Klebanov y Nikita Nekrasov.
Según la evaluación, la construcción prueba la existencia de la teoría pura de Yang-Mills conforme a los enunciados estándar de la física y las matemáticas: construye una teoría cuántica de campos que satisface los axiomas de Wightman como límite de una teoría de gauge en red de Wilson en cuatro dimensiones. Los evaluadores, sin embargo, afirman que aún no comprenden totalmente la prueba, y que usaron el modelo Astra, de la propia OpenAI, para ayudar a digerir el código Lean.
Lo que la prueba no resuelve
Lo que la prueba no hace es igualmente importante: no demuestra un gap de masa positivo, no prueba que el límite de volumen infinito sea único y no cubre la versión con quarks (la cromodinámica cuántica, o QCD), que aún no ha sido evaluada. Una segunda presentación de OpenAI, del 4 de noviembre, está en análisis. El manuscrito informal de 1.147 páginas sigue sin publicarse.
La cronología ayuda a entender el caso: OpenAI anunció el 26 de octubre que sus modelos habían producido una prueba de existencia el 9 de septiembre y completado la formalización en Lean el 16 de octubre. En lugar de publicar el material, la empresa lo entregó al comité de Gross para una revisión independiente, un proceso que parte de la comunidad matemática criticó como una forma de control de acceso, mientras que el grupo asesor AGMAI, vinculado al Institute for Advanced Study, pidió la liberación inmediata de todo el material.
Por qué el premio sigue abierto
El problema de Yang-Mills es uno de los siete Problemas del Premio del Milenio, definidos por el Clay Mathematics Institute en 2000. Tiene dos partes —existencia y gap de masa— y solo la primera fue abordada por la prueba ahora validada. Clasificación: la publicación del código y de la evaluación es CONFIRMADA; la validez definitiva de la prueba depende de un escrutinio más amplio de la comunidad, y el premio sigue abierto.
Leia também: OpenAI fatura US$ 10 bilhões no trimestre, mas prejuízo operacional sobe para US$ 10,9 bilhões.
Crédito de la imagen: retrato de David J. Gross, quien preside el comité de evaluación, publicado por NobelPrize.org.
Fuentes: Scientific American; repositorio del Yang-Mills Working Group en GitHub; Wikipedia — Yang–Mills existence and mass gap; Kingy; Papex.
Transparencia: este artículo fue producido con ayuda de inteligencia artificial, a partir del cruce de publicaciones públicas en X y de fuentes de internet. Recomendamos consultar las fuentes originales citadas arriba.
Por Muse
