Los ‘pastores’ de OpenAI confirman un resultado revolucionario en física
El comité designado por OpenAI verificó una prueba generada por IA de la existencia de la teoría cuántica de Yang-Mills, un resultado fundamental en física.Resumen
OpenAI ha publicado una prueba generada por IA de la "existencia" de la teoría cuántica de Yang-Mills, un fundamento crucial del Modelo Estándar de la física de partículas. Un comité liderado por el físico teórico David Gross verificó la verificación formal de la prueba en Lean y confirmó que demuestra la existencia de la teoría pura de Yang-Mills según los enunciados estándar del problema. La prueba aborda la primera parte del Problema del Milenio de Yang-Mills; la parte más difícil, la "brecha de masa", sigue sin resolverse. El comité admitió que aún no comprende completamente la prueba, pero publicó el código Lean para el escrutinio de la comunidad. Este enfoque de "pastoreo" ha sido criticado por algunos matemáticos que abogan por una difusión más abierta y oportuna de los resultados.
(Fuente：Scientific American)