Maya passe chaque nouveau modèle au banc d'essai — les chiffres d'abord, jamais le battage.
Recevez chaque semaine les meilleures actus IA et art IA dans votre boîte mail — sélectionnées, concises, gratuites.
Gratuit. Désabonnement à tout moment.
Choisissez un compagnon et découvrez son avis sur cette histoire
Vingt-cinq mathématiciens de premier plan ont signé une lettre ouverte accusant les laboratoires d'IA d'exagérer les capacités de leurs systèmes — et, ce faisant, de saper la crédibilité de la recherche mathématique elle-même.
L'élément déclencheur immédiat a été l'annonce d'OpenAI selon laquelle ses agents IA auraient résolu le problème d'existence et de régularité des équations de Navier-Stokes — l'un des sept problèmes du millénaire, chacun assorti d'une récompense d'un million de dollars décernée par le Clay Mathematics Institute. L'affirmation s'est répandue rapidement. Le contrecoup des mathématiciens en activité s'est répandu encore plus vite. Les experts ont souligné que la preuve supposée n'avait pas été soumise à l'examen par les pairs, que des étapes clés étaient contestées, et qu'OpenAI n'avait pas publié la dérivation complète pour un examen indépendant. Charmloop a couvert l'affirmation initiale et la controverse qu'elle a suscitée au fur et à mesure des événements.
Cet épisode semble avoir été le moment fédérateur à l'origine de la lettre ouverte. Selon TechCrunch, les signataires soutiennent que les laboratoires d'IA ne commettent pas simplement des erreurs honnêtes — ils surestiment systématiquement les résultats d'une manière qui déforme la compréhension du public quant à ce qui constitue une preuve mathématique.
L'argument central de la lettre porte sur les normes épistémiques, et non sur un scepticisme général envers l'IA. Les signataires ne prétendent pas que l'IA n'a aucun rôle à jouer en mathématiques — plusieurs d'entre eux utilisent eux-mêmes des outils computationnels. L'objection est plus étroite et plus tranchante : lorsqu'un laboratoire annonce un problème « résolu » sans preuve soumise à l'examen par les pairs, il emprunte le prestige des mathématiques tout en contournant le processus de vérification qui donne leur sens aux résultats mathématiques.
Pour les chercheurs, les enjeux pratiques sont bien réels. Les comités de financement et les administrateurs universitaires citent de plus en plus les annonces sur les capacités de l'IA lorsqu'ils décident où orienter les ressources. Si l'IA est perçue comme ayant « résolu » des problèmes sur lesquels travaillent des départements entiers, cette perception — même erronée — influe sur les recrutements, les financements et la justification publique du soutien à la recherche mathématique humaine.
« L'intégrité des mathématiques repose sur la preuve, non sur la proclamation. »
— Signataires de la lettre ouverte, tels que rapportés par TechCrunch
Pour les créateurs d'art par IA, ce conflit peut sembler lointain, mais il pointe vers un problème structurel qui touche l'ensemble de l'écosystème de l'IA : l'écart entre ce que les fournisseurs annoncent et ce qui a réellement été validé. La même dynamique se manifeste dans la génération d'images — les affirmations sur le photoréalisme, la fidélité aux prompts ou la précision stylistique dépassent régulièrement ce que les tests indépendants confirment. Lorsque les laboratoires définissent eux-mêmes les critères de leur propre succès, les utilisateurs et les créateurs se retrouvent à calibrer leurs attentes sur des argumentaires marketing plutôt que sur des benchmarks reproductibles.
La lettre des mathématiciens est inhabituelle parce qu'elle émane d'un domaine doté de critères de réussite particulièrement clairs. Une preuve résiste à l'examen ou elle n'y résiste pas. La plupart des domaines de capacités de l'IA — production créative, qualité du raisonnement, cohérence artistique — manquent de cette clarté, ce qui rend les déclarations excessives des fournisseurs plus difficiles à contester et plus faciles à maintenir.
Le Clay Mathematics Institute, qui administre les prix du millénaire, dispose de son propre processus d'examen : une solution proposée doit être publiée dans une revue à comité de lecture, puis survivre à deux ans d'examen par des experts avant qu'un prix soit décerné. Aucune preuve générée par IA n'est entrée dans ce processus pour l'un quelconque des sept problèmes. C'est ce chiffre qui compte, et c'est celui qui tend à être enseveli sous les titres des annonces.
Pour les créateurs qui évaluent des outils d'IA — que ce soit pour la génération d'images ou toute autre application — la résistance des mathématiciens est un rappel utile de dépasser les annonces de lancement pour s'intéresser à ce qui a été testé, reproduit et vérifié par des parties n'ayant aucun intérêt dans le résultat. La lettre ouverte ne résoudra peut-être pas le conflit, mais elle a imposé une reddition de comptes publique à laquelle l'industrie de l'IA est rarement confrontée de la part d'une communauté jouissant d'une telle légitimité technique.
