Un comité de physiciens se charge de vérifier la preuve Yang-Mills d'OpenAI

Le Kavli Institute for Theoretical Physics publie la déclaration d'un comité présidé par David Gross, avec Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov. OpenAI a demandé à Gross le 16 octobre de prendre en garde sa preuve de l'existence de la théorie quantique de Yang-Mills, couplage aux fermions compris, et de décider de sa publication. Le comité dit n'avoir aucune responsabilité envers OpenAI.

Il ne diffusera les 1 147 pages de preuve qu'une fois convaincu qu'elles sont correctes, en vérifiant d'abord que la formalisation Lean correspond aux définitions standard. Il rappelle que le confinement et le trou de masse restent des problèmes ouverts, et que la longueur des manuscrits demandera du temps.