Físicos liderados por David Gross validam a prova gerada por IA da OpenAI de que a teoria quântica de Yang-Mills existe
O comitê de cinco membros divulgou o código Lean e uma avaliação dizendo que ele prova a existência de Yang-Mills puro segundo os enunciados padrão; o gap de massa continua sem solução.
Por que importa
Yang-Mills é um dos cinco Problemas do Milênio do Clay ainda sem solução, cada um com prêmio de US$ 1 milhão, e tem duas partes: provar que a teoria existe e provar um gap de massa. A OpenAI reivindicou a parte da existência no fim de outubro, mas deixou a prova com um comitê de supervisores em vez de divulgá-la logo. O comitê diz ter usado o modelo Astra da OpenAI para digerir o código Lean e que ainda não entende totalmente a prova. Matemáticos como Scott Armstrong, da NYU, criticaram esse controle. Vale acompanhar verificações independentes do código Lean e qualquer avanço sobre o gap de massa.
Fatos principais
- Comitê: David Gross e quatro colegas
- Código Lean e avaliação publicados na noite de 10 nov
- Prova que Yang-Mills puro existe segundo os enunciados padrão
- O gap de massa continua sem solução
- Comitê: 'Não afirmamos entender totalmente a prova ainda'
- Yang-Mills é um de cinco Problemas do Milênio sem solução (US$ 1 mi cada)