Le fait
OpenAI a publié le 26 octobre 2026 un texte intitulé « Working with academic communities to build scientific understanding ». L’entreprise y annonce trois résultats obtenus par ses modèles internes, en analyse harmonique, en théorie de la complexité et en théorie quantique des champs, et la façon dont elle compte les remettre aux chercheurs.
Les trois résultats
En mathématiques, un modèle aurait démontré en toutes dimensions la conjecture du lissage local, proposée par Christopher Sogge en 1991, qui décrit la concentration des ondes. Ce résultat entraîne deux autres grandes conjectures de l’analyse, celle de Kakeya et celle de restriction de Stein. La preuve a été produite le 18 octobre, formalisée en Lean (un langage où un ordinateur contrôle chaque étape d’une preuve) le 19, puis publiée sur GitHub.
En informatique théorique, un modèle aurait réfuté l’hypothèse du temps exponentiel (ETH), une conjecture sur la difficulté du problème de satisfiabilité des formules logiques, très liée à la question P contre NP. Des centaines d’articles s’appuient sur elle. La réfutation, trouvée le 16 octobre et formalisée en Lean le 17, sera examinée par un groupe mené par Russell Impagliazzo et Ramamohan Paturi (université de Californie à San Diego), qui ont eux-mêmes proposé l’ETH, et Ryan Williams (MIT). OpenAI financera une conférence sur le sujet.
En physique, un modèle aurait produit une preuve mathématique rigoureuse de l’existence de la chromodynamique quantique (la théorie de l’interaction forte). Elle inclut l’existence de la théorie de Yang-Mills pure, qui fait partie de l’un des problèmes du millénaire de l’institut Clay. Un groupe mené par le prix Nobel David Gross, avec Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov, examine le travail et a choisi de ne pas publier tout de suite les documents produits par l’IA.
Les règles posées par OpenAI
L’entreprise pose quatre principes : transparence sur les collaborations, aucun crédit académique revendiqué pour ses modèles, reconnaissance du travail des groupes d’experts, et indépendance de ces groupes, bénévoles et non rémunérés. Ces collaborations s’ajoutent à une contribution de 5 millions de dollars à la Simons Foundation, annoncée plus tôt.
Contexte
Ce mois-ci, OpenAI avait déjà annoncé 722 manuscrits mathématiques produits par un modèle interne (notre billet).
Pourquoi ça compte
Si ces résultats tiennent, un modèle d’IA aurait tranché en quelques jours des questions ouvertes depuis des décennies. OpenAI reconnaît aussi un risque : choisir les premiers experts crée une asymétrie d’information sur des résultats majeurs.
Lecture Neurone21
Une preuve vérifiée en Lean est une garantie forte, à condition que l’énoncé formalisé soit bien celui que les mathématiciens visent. Pour l’ETH, une réfutation remettrait en cause une partie de la théorie de la complexité : c’est le résultat le plus extraordinaire, et il exige donc les vérifications les plus poussées. La relecture par les communautés concernées n’a pas encore été rendue publique.