Físicos dirigidos por David Gross validan la prueba generada por IA de OpenAI de que existe la teoría cuántica de Yang-Mills
El comité de cinco miembros publicó el código Lean y una evaluación que afirma que prueba la existencia de Yang-Mills puro según los enunciados estándar; la brecha de masa sigue sin resolverse.
Por qué importa
Yang-Mills es uno de los cinco Problemas del Milenio de Clay sin resolver, cada uno con un premio de un millón de dólares, y tiene dos partes: probar que la teoría existe y probar una brecha de masa. OpenAI reivindicó la parte de existencia a finales de octubre, pero dejó la prueba en manos de un comité de supervisores en vez de publicarla de inmediato. El comité dice que usó el modelo Astra de OpenAI para digerir el código Lean y que aún no entiende del todo la prueba. Matemáticos como Scott Armstrong, de la NYU, criticaron ese control. Habrá que ver las verificaciones independientes del código Lean y cualquier avance sobre la brecha de masa.
Datos clave
- Comité: David Gross y cuatro colegas
- Código Lean y evaluación publicados la noche del 10 nov
- Prueba que existe Yang-Mills puro según los enunciados estándar
- La brecha de masa sigue sin resolverse
- Comité: 'No afirmamos entender aún del todo la prueba'
- Yang-Mills es uno de cinco Problemas del Milenio sin resolver (1 M$ cada uno)