El modelo de OpenAI completa la mitad de la prueba del problema de Yang-Mills

ChainCatcher informa que, según un publicación de MTS, el modelo de inteligencia artificial de OpenAI ha demostrado la mitad de un problema del Premio Millenium de un millón de dólares en física, con el respaldo de un panel de evaluación liderado por un ganador del Premio Nobel. MTS indica que el problema en cuestión es la conjetura de Yang-Mills. OpenAI anunció por primera vez esta demostración el 26 de octubre y afirmó que su modelo completó este trabajo en septiembre. El panel de evaluación está presidido por el ganador del Premio Nobel David Gross e incluye a Arthur Jaffe, quien coescribió la declaración oficial del problema del Premio Millenium. La demostración se ha formalizado en el lenguaje computacional Lean, que permite verificar línea por línea. La conjetura de Yang-Mills es una de las siete grandes dificultades del Premio Millenium establecidas en 2000, cada una con un premio de 1 millón de dólares; hasta ahora, la única resuelta fue la realizada por Grigori Perelman, quien rechazó el premio. MTS señala que, para ganar el premio, aún se debe demostrar la brecha de masa y cumplir con las reglas del Instituto Clay de Matemáticas sobre publicación y un período de reconocimiento de dos años. El usuario de X Theo Jaffee indicó que los físicos ya han podido manejar la teoría cuántica de campos y la teoría cuántica de Yang-Mills a nivel empírico, pero siempre les ha faltado una formalización matemática que explique por qué esta teoría funciona.