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

El modelo de inteligencia artificial de OpenAI ha demostrado la mitad del problema de Yang-Mills, recibiendo el apoyo de un panel de revisión encabezado por el premio Nobel David Gross. La prueba relacionada se publicó por primera vez el 26 de octubre, y el modelo completó el trabajo en septiembre. Los miembros del panel de revisión incluyen a Arthur Jaffe, quien coescribió la declaración oficial del problema. La prueba se ha formalizado utilizando el lenguaje de programación verificable línea por línea, Lean. El problema de Yang-Mills es uno de los siete problemas del milenio establecidos en el año 2000, cada uno con un premio de 1 millón de dólares. Hasta ahora, el único que se ha resuelto fue completado por Grigori Perelman, quien se negó a aceptar el premio. Para ganar este 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. Los físicos han podido manejar la teoría cuántica de campos y la teoría cuántica de Yang-Mills a nivel empírico, pero carecen de una formalización matemática que explique por qué esta teoría es válida.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.