OpenAI confie trois preuves par IA à deux comités extérieurs

OpenAI annonce trois résultats produits par ses modèles internes et en confie l'évaluation à deux comités académiques extérieurs, selon le billet publié sur openai.com. Les trois revendications: la réfutation de l'Exponential Time Hypothesis, une preuve de la local smoothing conjecture en toutes dimensions qui règle au passage Kakeya et la restriction de Stein, et une preuve d'existence pour Yang-Mills en quatre dimensions, incluant la chromodynamique quantique.

La réfutation de l'ETH serait tombée le 16 octobre et aurait été formalisée en Lean le 17, rapporte The Next Web. Russell Impagliazzo et Ramamohan Paturi, de UC San Diego, et Ryan Williams, du MIT, pilotent l'examen; Impagliazzo et Paturi avaient proposé la conjecture avec Francis Zane. Le trio ne signe aucun accord de confidentialité et n'est pas rémunéré par OpenAI.

Dans une lettre ouverte, les trois écrivent: «Our involvement should not be taken as certification of the claim. A result of this significance requires careful, independent scrutiny.»

Côté physique, un groupe mené par le prix Nobel David Gross, avec Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov, a préféré ne pas rendre publics les artefacts d'IA pour l'instant et rédigera lui-même l'exposé des travaux. La local smoothing conjecture, proposée par Christopher Sogge en 1991, avait été établie en deux dimensions en 2019 et Kakeya en trois dimensions en 2025.

OpenAI précise ne pas chercher de crédit académique pour ces découvertes et renvoie à un don de 5 millions de dollars annoncé le 15 octobre à la Simons Foundation pour financer ateliers et conférences autour des résultats produits par IA. L'entreprise avait déjà refusé le Clay Mathematics Institute Millennium Prize pour une preuve séparée de Navier-Stokes en septembre 2024.