OpenAI annonce Navier–Stokes résolu et crée un comité de mathématiciens

Ce qu'OpenAI affirme

Le billet démarre par une phrase qui, si elle est confirmée, vaut à elle seule une décennie de couverture presse : un nouveau modèle interne, dont l'entraînement a commencé le 28 août, aurait résolu le problème du Millénaire portant sur les équations de Navier–Stokes. C'est l'un des sept problèmes dotés d'un prix d'un million de dollars par le Clay Mathematics Institute.

OpenAI ajoute que ce même modèle a depuis résolu « plus de 100 » problèmes ouverts de longue date, répartis sur la plupart des branches des mathématiques. L'entreprise précise que le rythme de cette progression a surpris ses propres mathématiciens.

Rien, dans le billet, ne vient étayer ces affirmations : pas de preuve, pas de prépublication, pas de liste des problèmes concernés, pas de nom de relecteur. C'est précisément le vide que le comité annoncé dans la suite du texte est censé combler.

Le comité, son mandat et ses limites

Neuf mathématiciens composent ce groupe consultatif indépendant : François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) et Melanie Matchett Wood (Harvard). Le casting est lourd : deux médailles Fields au moins, et des figures centrales de l'analyse, de la géométrie algébrique et de la physique théorique.

Leur rôle, tel que décrit : aider OpenAI à évaluer l'importance des résultats émergents, conseiller sur la coordination de leur diffusion, rappeler les standards académiques et professionnels de la recherche mathématique. Le groupe doit aussi orienter la manière dont les outils d'OpenAI peuvent servir la recherche et l'enseignement.

Les garanties d'indépendance sont explicites et inhabituellement précises : pas de rémunération par OpenAI, liberté de rendre les avis publics, liberté d'émettre des conseils non sollicités, liberté de commenter l'impact d'OpenAI sur les mathématiques, et contrôle de sa propre composition.

Une exclusion est posée noir sur blanc : le groupe ne conseillera pas OpenAI sur le rythme de ses progrès internes. Autrement dit, il peut parler de la manière de communiquer, pas de la décision d'accélérer ou non.

La lettre ouverte en arrière-plan

OpenAI cite elle-même la lettre ouverte « A Severe Misalignment of AI in Mathematics », dans laquelle des mathématiciens dénoncent les externalités négatives d'une pratique devenue courante : utiliser les problèmes ouverts comme benchmark de validation pour de nouveaux systèmes d'IA.

Le reproche n'est pas une coquetterie corporatiste. Un problème ouvert n'est pas un test unitaire : sa valeur tient à la construction collective, à la vérification par les pairs, à la lenteur assumée. Le transformer en score de leaderboard change la nature de l'activité, et peut inonder la communauté de prétendues preuves impossibles à relire à l'échelle.

OpenAI reconnaît que ces critiques « soulignent le besoin d'un engagement réfléchi des entreprises d'IA avec la communauté mathématique ». Le comité est présenté comme la réponse — et comme « une première étape ».

Ce que ça dit de la stratégie d'OpenAI

Structurellement, le billet est étrange : une annonce scientifique potentiellement historique sert d'introduction à une annonce de gouvernance. On peut y lire de la prudence — ne pas publier de résultats sans validation communautaire — comme une manière de faire circuler la claim tout en renvoyant sa vérification à plus tard.

La constitution d'un comité extérieur, non payé et libre de publier, est une concession réelle. Elle transfère à des mathématiciens reconnus une part de la crédibilité que l'entreprise ne peut pas s'attribuer seule sur ce terrain. C'est aussi un pari : si le comité conteste publiquement les résultats, OpenAI l'a lui-même armé pour le faire.

Reste la ligne rouge sur le rythme. Un groupe qui peut tout commenter sauf la vitesse à laquelle on va est un dispositif de communication autant qu'un contre-pouvoir. C'est l'axe sur lequel il faudra juger, dans les mois qui viennent, ce que vaut cette « première étape ».