Ce que peut — et ne peut pas — faire le nouveau groupe mathématique d’OpenAI

OpenAI a répondu aux critiques suscitées par sa revendication sur Navier–Stokes en soutenant un nouveau Groupe consultatif sur les mathématiques et l’intelligence artificielle, hébergé par l’Institute for Advanced Study (IAS), à Princeton. Cette structure offre à des mathématiciens reconnus un canal formel pour conseiller OpenAI sur l’évaluation et la diffusion de résultats produits par IA. Mais il s’agit d’un organe consultatif : ni une revue scientifique, ni une autorité indépendante de vérification des preuves, ni un régulateur des recherches d’OpenAI. 332

Pourquoi ce groupe a été créé

Le 8 septembre, OpenAI a publié un manuscrit de 166 pages ainsi qu’une formalisation dans Lean, affirmant qu’un écoulement tridimensionnel de Navier–Stokes initialement lisse, soumis à une force lisse, peut développer une singularité en temps fini. L’entreprise présente ce travail comme une solution au problème d’existence et de régularité de Navier–Stokes. 6

La formalisation Lean fournit un objet vérifiable par machine, tandis que le manuscrit reste l’exposé destiné aux lecteurs humains. Après la publication, des articles ont relevé que la preuve demandait du temps à démêler et que l’annonce du groupe répondait aux inquiétudes sur la façon dont des résultats mathématiques majeurs générés par IA sont examinés puis rendus publics. 2

Un autre différend porte sur le crédit scientifique et la priorité. Tristan Buckmaster et Levent Alpöge ont publié, à peu près au même moment, des résultats vérifiés dans Lean sur des problèmes apparentés d’équations des fluides. Leurs publications ont donné lieu à une controverse publique sur l’attribution. Cette question est distincte de la validité formelle de la preuve d’OpenAI : elle concerne l’origine des idées, l’accès aux travaux et le crédit académique approprié. 1

Les neuf membres fondateurs

Le panel initial réunit :

• François Charles ;
• Camillo De Lellis ;
• Timothy Gowers ;
• Martin Hairer ;
• Nikhil Srivastava ;
• Ulrike Tillmann ;
• Ravi Vakil ;
• Edward Witten ;
• Melanie Matchett Wood. 26

Le groupe est hébergé par l’IAS, mais il est présenté comme indépendant d’OpenAI. 33

Ce qu’il est habilité à faire

OpenAI indique que le groupe conseillera l’entreprise sur l’évaluation et la communication de nouveaux résultats mathématiques : leur importance, leur diffusion coordonnée et les normes académiques et professionnelles pertinentes. 1733

Son indépendance annoncée repose notamment sur plusieurs garanties :

• ses membres ne sont pas rémunérés par OpenAI ;
• ils peuvent formuler des avis qu’OpenAI ne leur a pas demandés ;
• ils peuvent commenter publiquement l’impact d’OpenAI sur les mathématiques ;
• ils peuvent rendre leurs recommandations publiques ;
• ils peuvent modifier eux-mêmes la composition du groupe. 33

Ces dispositions leur donnent une possibilité de contredire publiquement OpenAI, au lieu de se limiter à des échanges privés. Elles ne rendent toutefois pas leurs avis contraignants. 33

Ce qu’il ne peut pas faire

Le panel ne possède aucun pouvoir de décision sur l’orientation ou le calendrier des recherches d’OpenAI. L’entreprise précise explicitement que le groupe ne conseillera pas OpenAI sur la vitesse de ses travaux internes en mathématiques. 332

Concrètement, il ne peut pas :

• suspendre une annonce de recherche ;
• obliger OpenAI à publier une preuve, un modèle ou les documents internes associés ;
• imposer une modification de la stratégie de publication de l’entreprise ;
• décider qu’une affirmation mathématique est officiellement acceptée par la communauté scientifique ;
• trancher seul un différend passé sur la priorité ou l’attribution.

La nuance est déterminante. Le groupe peut recommander des normes et exposer publiquement ses objections, mais OpenAI conserve la maîtrise de ses modèles, de ses procédures internes, des éléments de preuve qu’il publie et de l’adoption — ou non — des recommandations. Il faut donc y voir un pont entre un laboratoire d’IA et la communauté mathématique, pas un substitut à l’examen indépendant par les pairs. 332

Des interrogations persistantes sur l’indépendance et la représentation

La charte d’OpenAI laisse au groupe une réelle liberté de parole et de publication. Son efficacité dépendra cependant de la volonté de ses membres d’employer cette liberté, et de celle d’OpenAI de répondre à leurs avis. L’absence de pouvoir sur le rythme de la recherche est particulièrement notable, car les annonces rapides et très médiatisées ont alimenté les critiques adressées aux laboratoires d’IA sur leurs revendications mathématiques. 233

La réputation des membres fondateurs donne au groupe une forte crédibilité. Mais neuf personnes ne peuvent pas, à elles seules, représenter toutes les perspectives utiles : spécialistes des méthodes formelles, chercheurs des sous-domaines directement concernés, mathématiciens en début de carrière ou communautés extérieures aux institutions représentées dans le panel initial peuvent avoir des attentes différentes en matière d’évaluation, d’accès, de crédit et de normes de publication. Des questions ont également été soulevées sur la manière dont les membres ont été sélectionnés. 37

L’absence de rémunération peut renforcer la séparation avec OpenAI. Elle signifie aussi que la capacité du groupe à mener un examen approfondi et contradictoire dépendra du temps disponible pour ses membres et de leur accès aux matériaux sous-jacents.

Ce que cela change — ou non — pour Navier–Stokes

La vérification avec Lean est importante : elle permet de contrôler mécaniquement qu’un théorème découle des définitions, axiomes et lemmes formalisés dans la preuve. Mais une formalisation vérifiée par machine ne rend pas automatiquement l’argument intelligible pour les humains, ne démontre pas à elle seule que chaque choix de modélisation correspond exactement à l’énoncé informel visé, et ne résout pas les questions de portée ou d’explication.

Le nouveau groupe ne modifie pas cette répartition des rôles. Il pourra conseiller sur la manière d’évaluer et de présenter un résultat ; des mathématiciens indépendants devront toujours examiner le manuscrit, les artefacts formels, les hypothèses et le lien entre le théorème formulé et le problème d’origine. 332

De même, la création du groupe ne règle pas en elle-même le différend d’attribution lié à Buckmaster. Une résolution crédible exigerait un processus fondé sur des éléments vérifiables — chronologie, contributions, accès aux idées et crédit scientifique — plutôt qu’une simple recommandation consultative. 1

Le vrai test : les plus de 100 résultats supplémentaires revendiqués

OpenAI affirme que son modèle interne a résolu plus de 100 autres problèmes de mathématiques ouverts, et le groupe consultatif devrait participer à l’organisation d’une publication responsable de ces résultats. 3633

Pour rendre cette procédure plus crédible, le groupe pourrait notamment encourager :

1. Des énoncés précis. Une liste publique devrait distinguer théorèmes établis, solutions revendiquées, extensions et résultats connexes.
2. La publication de preuves lisibles et d’artefacts vérifiables. Les preuves humaines expliquent l’intérêt d’un résultat ; les fichiers formels permettent à d’autres de reproduire la vérification mécanique.
3. Un examen par domaine. Un résultat en mécanique des fluides, algèbre, géométrie ou logique doit être étudié par des spécialistes du champ concerné, et non par un panel généraliste seulement.
4. Une documentation de la provenance et des contributions. Ces archives sont cruciales lorsque la priorité, l’accès au modèle ou l’utilisation de travaux antérieurs non publiés sont contestés.
5. Une séparation nette entre découverte et validation. Une IA peut proposer une preuve prometteuse ; l’acceptation par la communauté repose sur un examen ouvert et sur une communication scientifique durable.

Le panel constitue donc une expérience de gouvernance significative, mais pas une réponse définitive à la controverse. Sa valeur se mesurera à la publicité de ses avis, à la quantité d’éléments qu’OpenAI mettra à la disposition des mathématiciens extérieurs et à la place accordée, lors des prochaines publications, à l’examen et à l’attribution — autant qu’à l’annonce elle-même.