Déclaration conjointe de 25 médaillés Fields : La semaine d'OpenAI et de la sphère mathématique

Suivi de l’actualité : Publications à la une × Jugement technique × Conseils pratiques. Auteur : 永亮

---

Ce qui s’est passé

Le 10 septembre, OpenAI a publié un rapport technique affirmant que son système d’IA (environ 10 000 agents collaborant, 88 heures de calcul, plusieurs millions de dollars dépensés) avait réalisé des progrès révolutionnaires sur le problème des équations de Navier-Stokes. Il s’agit de l’un des sept « Problèmes du prix du millénaire » de l’Institut de mathématiques Clay ; sa résolution formelle permettrait de remporter un prix d’un million de dollars et nécessiterait une vérification rigoureuse par la communauté académique. Les médias nationaux, en relayant l’information, ont utilisé les termes « annoncer la résolution » — mais au sens strict, la « résolution » (preuve certifiée par l’institut Clay) n’a pas eu lieu, et des mathématiciens de l’Université de New York ont déjà publiquement remis en question la validité des résultats.

Le problème ne se limite pas à la question de « savoir si c’est vraiment résolu ». Plusieurs mathématiciens accusent OpenAI d’avoir « scoopé » leurs recherches en cours sur Navier-Stokes — le titre d’un article du New York Times résume bien la situation : The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem. Certains chercheurs affirment que leurs échanges avec des laboratoires d’IA autour du même problème ont fini par servir de marchepied aux résultats de l’autre partie. The Economist, quant à lui, a utilisé un contraste percutant comme titre : Un an de travail de deux mathématiciens espagnols contre 88 heures et 15 millions d’euros pour OpenAI.

Cela a conduit à la déclaration conjointe du 11 septembre. Terence Tao, Deng Yu et 23 autres médaillés Fields (25 au total) ont signé ; la demande centrale est la suivante : les objectifs des entreprises d’IA et ceux de la communauté mathématique se désalignent — la pression concurrentielle entre les laboratoires est en train d’éroder la tradition d’ouverture séculaire des mathématiques. Presque simultanément, OpenAI a retiré son sponsoring du Mathathon du Caltech.

Pourquoi c’est différent cette fois-ci

L’impact de l’IA sur les mathématiques n’est pas une nouveauté. Ces dernières années, l’IA a résolu des problèmes olympiques, assisté des preuves et relevé des défis du prix du millénaire ; l’attitude dominante des mathématiciens était l’« accueil prudent ». Cette fois-ci, la brouille est due au fait que le point de friction est passé de « l’IA est-elle capable ? » à « comment les entreprises d’IA opèrent-elles ? ».

Le mot-clé de l’accusation est le « scooping » (publier avant les autres). La règle de la recherche mathématique est : problème ouvert, processus ouvert, mérite au prouveur. La logique de fonctionnement des laboratoires d’IA est : compétition en priorité, publication en priorité, narration en priorité. Lorsqu’un joueur disposant de 10 000 agents et de dizaines de millions de dollars de puissance de calcul entre en scène, il peut légalement « finir de calculer » une voie que d’autres gravissent à la main, puis annoncer l’ascension sous forme de conférence de presse — noms, remerciements, priorité, tout est compressé en une phrase d’un communiqué de presse. C’est précisément cela qui met en colère Terence Tao et ses collègues : même si le résultat technique est réel, la manière de l’obtenir brise les règles du jeu de cette discipline.

Il y a aussi une question plus froide : si l’IA résout tous les problèmes mathématiques, que feront les mathématiciens ? Un médaillé Fields chinois a plaisanté avec le South China Morning Post : « J’écrirai alors des romans d’amour. » Derrière la plaisanterie se cache une véritable angoisse existentielle — lorsque la fonction centrale du mathématicien, « résoudre des problèmes », est externalisée, où se trouve le point d’ancrage de la valeur de ce métier ?

L’autre moitié calme

Il faut aussi voir l’autre côté des choses. Que les résultats d’OpenAI sur Navier-Stokes atteignent ou non le standard de « résolution », leur poids technique ne devrait pas être effacé par l’émotion : le travail accompli par 10 000 agents en 88 heures aurait semblé de la science-fiction il y a deux ans seulement. Ces dernières années, l’IA assistée pour les preuves a effectivement aidé les mathématiciens à gérer des tâches fastidieuses comme la vérification des preuves (verified proof). Terence Tao lui-même est depuis longtemps un utilisateur et un défenseur des outils d’IA ; cette déclaration n’est pas anti-IA, mais anti « concurrence désordonnée » — elle cible le mode de comportement des laboratoires, pas la technologie elle-même.

De même, l’action de « retirer le sponsoring du Mathathon » peut être interprétée comme un « expulsion » par les mathématiciens, ou comme une mesure de stop-loss (limitation des pertes) de la part d’OpenAI pour éviter une escalade du conflit. À l’heure actuelle, OpenAI n’a pas officiellement répondu à la déclaration et aux accusations ; laisser la balle voler un peu plus longtemps est plus prudent que de se précipiter pour prendre parti.

Le véritable point à retenir

Ce conflit est en fait une répétition générale de la guerre de la propriété intellectuelle à l’ère de l’IA, sauf que le champ de bataille s’est déplacé du code et du contenu vers le territoire le plus abstrait de l’humanité. Il soulève trois questions, qui réapparaîtront inévitablement :

Premièrement, la priorité de calcul équivaut-elle à la priorité académique ? Une équipe passe un an à obtenir des résultats partiels, un laboratoire d’IA utilise 88 heures pour « vérifier et étendre », à qui appartient le résultat ? Les normes académiques actuelles n’ont pas de réponse.

Deuxièmement, lorsque la vérification ne suit pas la publication, comment compter les annonces ? Il y a un processus de certification de l’institut Clay entre « progrès révolutionnaire » et « résolution d’un problème du millénaire » ; cette distance disparaît souvent lors de la reprise par les médias — OpenAI a remporté une victoire au sens de la communication, même si la victoire au sens mathématique n’est pas encore acquise.

Troisièmement, la tradition ouverte peut-elle contraindre les laboratoires fermés ? Les mathématiques fonctionnent grâce à une tradition ouverte accumulée depuis des siècles, tandis que la compétition entre les grands laboratoires d’IA est décrite comme une « course aux armements de l’IA ». S’attendre à ce que ces derniers respectent les règles des premiers, il n’y a pour l’instant aucun mécanisme visible, seulement des lettres ouvertes répétées.

En publiant cette déclaration, Terence Tao et ses collègues utilisent essentiellement le crédit séculaire de leur discipline pour obtenir des règles pour les chercheurs futurs. On ne sait pas s’ils gagneront, mais le monde des mathématiques est probablement l’adversaire le moins sous-estimable — ce que ce cercle fait de mieux, c’est trouver des preuves à partir de problèmes qui semblent insolubles.

Références

• Rapport technique officiel d’OpenAI « On the Navier–Stokes Millennium Prize Problem » (2026-09-10)
• TechCrunch: OpenAI’s feud with mathematicians is only escalating (2026-09-11)
• The Economist: Top mathematicians are outraged by OpenAI’s methods；A year of work by two Spanish mathematicians versus 88 hours and €15 million
• The New York Times: The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem
• Reportages chinois sur la déclaration conjointe par Wall Stcn, Sina Tech, Zhixdong, etc. (2026-09-11/12) ; interview du médaillé Fields chinois par le South China Morning Post