Prova de Yang-Mills gerada por IA da OpenAI é validada por comitê de David Gross; prêmio segue em aberto
Catégories: Ciência
O comitê liderado pelo Nobel David Gross publicou o código Lean e a primeira avaliação da prova de existência de Yang-Mills gerada por IA pela OpenAI: a prova se sustenta, mas o gap de massa segue sem solução e o Prêmio do Milênio continua em aberto.
Lire la suite