Des physiciens menés par David Gross valident la preuve générée par l'IA d'OpenAI de l'existence de la théorie quantique de Yang-Mills
Le comité de cinq membres a publié le code Lean et une évaluation affirmant qu'il prouve l'existence de Yang-Mills pur selon les énoncés standard ; le trou de masse reste non résolu.
Pourquoi c’est important
Yang-Mills est l'un des cinq problèmes du millénaire de Clay non résolus, chacun doté d'un million de dollars, et il comporte deux volets : prouver que la théorie existe et prouver un trou de masse. OpenAI a revendiqué le volet existence fin octobre, mais a confié la preuve à un comité de bergers au lieu de la publier aussitôt. Le comité dit avoir utilisé le modèle Astra d'OpenAI pour digérer le code Lean et ne pas encore comprendre entièrement la preuve. Des mathématiciens comme Scott Armstrong, de NYU, ont critiqué ce filtrage. À surveiller : les vérifications indépendantes du code Lean et toute avancée sur le trou de masse.
Faits clés
- Comité : David Gross et quatre collègues
- Code Lean et évaluation publiés dans la nuit du 10 nov.
- Prouve l'existence de Yang-Mills pur selon les énoncés standard
- Le trou de masse reste non résolu
- Comité : « Nous ne prétendons pas encore comprendre entièrement la preuve »
- Yang-Mills est l'un des cinq problèmes du millénaire non résolus (1 M$ chacun)