Panel de un Nobel valida la demostración de OpenAI sobre Yang-Mills

Un panel de cinco miembros presidido por el galardonado con el Nobel David Gross ha concluido que la demostración verificada por máquina de OpenAI demuestra la existencia de la teoría cuántica de Yang-Mills. El panel señaló también que el resultado no resuelve el problema del salto de masa, la parte que otorga el Premio del Milenio de un millón de dólares del Clay Mathematics Institute. El Grupo de Trabajo de Yang-Mills afirmó en su tercera declaración que el martes 10 de noviembre publicaría dos repositorios de GitHub. Uno contiene el código completo en Lean que OpenAI presentó el 28 de octubre. El otro contiene un informe de validación que concluye que la entrega "demuestra la existencia de la teoría pura de Yang-Mills según los planteamientos del problema estándar en física y matemáticas".kitp.ucsb.edu

Lo que halló el panel

La evaluación indica que la entrega demuestra "que una teoría cuántica de campos relativista que satisface los axiomas de Wightman puede construirse como un límite de escala de la teoría de redes de gauge de Wilson en cuatro dimensiones para cualquier grupo de gauge compacto simple", según FourWeekMBA, que citó el documento. Una reconstrucción limpia, una auditoría de axiomas y una comprobación con Comparador resultaron satisfactorias. Los revisores también escribieron que el trabajo "no prueba que el límite de volumen infinito sea único ni que exista un salto de masa". Un salto de masa significaría que una energía positiva mínima separa el vacío de los estados excitados de la teoría.indiatoday.in+1

El panel añadió su propia advertencia. Utilizó el modelo Astra de OpenAI para ayudar a revisar el código y afirmó que "aún no pretende comprender plenamente la demostración". La revisión no recurrió al manuscrito redactado independiente. El grupo también señaló que "actualmente no tiene relación con el Clay Mathematics Institute", por lo que su conclusión no constituye un fallo oficial del premio.fourweekmba.com+1

Cómo llegó la demostración a los revisores

OpenAI declaró que sus modelos produjeron una demostración escrita de la existencia de Yang-Mills el 9 de septiembre y una demostración sobre cromodinámica cuántica el 18 de septiembre. Completó la formalización en Lean del resultado de Yang-Mills el 16 de octubre. Ese mismo día, OpenAI pidió a Gross que asumiera la custodia de la demostración y gestionara su publicación. Gross es miembro permanente del Instituto Kavli de Física Teórica. Los demás miembros del panel son Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov.openai.com+2

Lean es un asistente de demostración en el que un software comprueba cada paso lógico. Su verificación por sí sola no puede confirmar que la declaración codificada coincida con el problema físico previsto. Por ese motivo, el comité comparó primero las definiciones con las formulaciones estándar.tokenpost.com

Qué sigue pendiente

La demostración completa de 1.147 páginas no se ha publicado. El comité afirmó que publicará las demostraciones junto con su evaluación "cuando estemos satisfechos con la calidad y la exactitud". Entre las cuestiones que el grupo mantiene abiertas se incluyen si el límite de volumen infinito es único, si existe un salto de masa uniforme y la ley del área de los bucles de Wilson. Una segunda entrega de OpenAI, con fecha del 4 de noviembre, figura como trabajo en curso.kitp.ucsb.edu+1