Modelo da OpenAI conclui metade da prova do problema de Yang-Mills

ChainCatcher relata que, segundo postagem da MTS, o modelo de inteligência artificial da OpenAI demonstrou metade de um problema do Prêmio Millennium de um milhão de dólares na área da física, com apoio de um painel de avaliação liderado por um ganhador do Prêmio Nobel. A MTS afirma que o problema em questão é o problema de Yang-Mills. A OpenAI divulgou pela primeira vez a demonstração em 26 de outubro e afirmou que seu modelo concluiu o trabalho em setembro. O painel de avaliação é presidido pelo ganhador do Prêmio Nobel David Gross e inclui Arthur Jaffe, que coescreveu a formulação oficial do problema do Prêmio Millennium. A demonstração foi formalizada na linguagem computacional verificável linha a linha, Lean. O problema de Yang-Mills é um dos sete grandes problemas do Prêmio Millennium estabelecidos em 2000, cada um com prêmio de um milhão de dólares; até agora, o único resolvido foi pelo Grigori Perelman, que recusou o prêmio. A MTS aponta que, para ganhar o prêmio, ainda é necessário provar a lacuna de massa e atender às regras do Clay Mathematics Institute sobre publicação e período de reconhecimento de dois anos. O usuário do X Theo Jaffee afirmou que físicos já conseguem lidar empiricamente com teoria quântica de campos e teoria quântica de Yang-Mills, mas sempre faltou uma formalização matemática para explicar por que essa teoria funciona.