Les annonces portent notamment sur l’analyse harmonique, une réfutation revendiquée de l’hypothèse du temps exponentiel en informatique et l’existence de certaines théories quantiques des champs. Les documents de mathématiques et d’informatique sont publiés ; ceux de physique sont confiés à un groupe de scientifiques chargé de les expliquer, selon OpenAI.
L’AGMAI estime que l’examen doit être ouvert à tous, sans accès privilégié. Ces annonces ne constituent pas un consensus scientifique. La vérification formelle annoncée dans Lean porte sur des énoncés encodés ; elle ne remplace pas l’évaluation de leur portée. Le résultat revendiqué sur l’existence de Yang-Mills ne règle pas à lui seul l’ensemble du problème du millénaire, qui exige aussi un écart de masse.