Le 11 septembre 2026, vingt-cinq lauréats de la médaille Fields ont publié une lettre ouverte commune. Ils y dénoncent les entreprises d’intelligence artificielle qui réduisent la résolution de problèmes mathématiques à un simple étalon de mesure de leur puissance de calcul, une dérive qu’ils jugent en profond conflit avec la mission à long terme de la recherche académique. Six jours plus tard, Tim Gowers, lui aussi médaillé Fields, a publiquement expliqué pourquoi il refusait d’apposer sa signature, exposant au grand jour des dissensions jusqu’alors étouffées au sein de la communauté mathématique.
Image : Archives manuscrites d’Alexandre Grothendieck conservées dans les sous-sols d’une librairie du 6e arrondissement de Paris. Source : David Bessis, “The Fall of the Theorem Economy”
40 millions de dollars pour s’approprier un contre-exemple centenaire
Sous l’effet du dumping de puissance de calcul orchestré par les entreprises privées, résoudre des conjectures ouvertes s’est transformé en une transaction commerciale assortie d’un tarif bien précis. Des membres de la communauté MathOverflow ont récemment fait les comptes : pour s’emparer de la primeur du contre-exemple récemment découvert aux équations de Navier-Stokes, les grands acteurs industriels ont mobilisé des ressources informatiques vertigineuses. Capital&Compute a estimé le coût de ce calcul à 6,5 millions de dollars. TensorFeed a situé la fourchette entre 10 et 15 millions de dollars. Une indiscrétion relayée par Business Insider évoque même une facture atteignant 40 millions de dollars. Débourser plusieurs dizaines de millions pour s’assurer le droit de première publication sur un contre-exemple centenaire prouve à quel point la mainmise du capital sur les droits de découverte bouleverse les règles du jeu.
Les problèmes non résolus ne sont pas des ressources abandonnées tombées du ciel. Ils représentent la quintessence de la pensée humaine, patiemment décantée, simplifiée et partagée par des générations d’esprits d’exception. Pourtant, les laboratoires d’IA traitent ces questions fondamentales comme du code open source sur GitHub : une matière première bon marché pour éprouver la robustesse de leurs modèles. Les machines s’adjugent la gloire éclatante de la solution, abandonnant le monde universitaire à une friche stérile, privée de ses repères.
L’IA a transformé la démonstration mathématique en une denrée vendue en gros au prorata des heures de calcul. Par ricochet, la véritable ressource rare en mathématiques a cessé d’être la simple aptitude à forcer une preuve. Elle réside désormais dans deux compétences éminemment humaines : savoir poser les bonnes questions et comprendre véritablement la portée des réponses obtenues. Le problème fondamental est que, dans l’écosystème académique et économique contemporain, formuler des questions fertiles et parvenir à une compréhension conceptuelle profonde ne font l’objet d’aucune valorisation marchande ni métrique d’évaluation.
Le refus de signer d’un confrère révèle une fracture de valeurs
La lettre ouverte, intitulée A Severe Misalignment of AI in Mathematics, a suscité une onde de choc majeure dès sa parution. Sa thèse centrale affirme que la résolution d’exercices n’est qu’un instrument au service d’une compréhension conceptuelle globale, et qu’oublier ce principe à l’ère de l’IA risque de voir la machine anéantir les finalités intellectuelles ultimes de l’humanité. Toutefois, cette sacralisation de la compréhension conceptuelle face à la résolution concrète a provoqué une vive réaction de la part d’autres sensibilités mathématiques.
Tim Gowers a longuement explicité les motifs de son refus sur son blog personnel, avant que son texte ne soit repris sur le site de Terence Tao. Sur Hacker News, le sujet a cumulé 242 commentaires pour 186 votes favorables — un ratio supérieur à 1,3 commentaire par vote témoignant de l’âpreté des échanges. Si Gowers concède volontiers que la discipline traverse une crise existentielle, il conteste fermement l’idée que la théorie et la conceptualisation doivent être érigées en seule et unique voie légitime.
Gowers s’est appuyé sur son célèbre essai publié il y a vingt-cinq ans, The Two Cultures of Mathematics, pour étayer sa réfutation. Il rappelle que la communauté mathématique a toujours réuni deux tempéraments complémentaires : ceux dont le moteur est le défi de résoudre des énigmes, et ceux animés par l’édification de grandes théories structurelles. Selon lui, la formulation de la lettre ouverte relègue unilatéralement le goût de la résolution pure au rang de pratique intellectuellement inférieure. Dès lors que la force brute de calcul déprécie brutalement la valeur marchande des résolveurs de problèmes, la réaction d’autodéfense académique a dégénéré en une guerre de tranchées pour l’hégémonie culturelle.
Image : Capture de la lettre ouverte “A Severe Misalignment of AI in Mathematics” signée par 25 médaillés Fields. Source : mathandai.org
Le groupe de recherche de Cambridge contraint à une amère désillusion
La position défendue par Gowers ne relève pas d’une spéculation désincarnée ; elle s’ancre dans une pratique concrète. Le chercheur a fait toute la transparence sur ses relations avec OpenAI : en sa qualité d’expert extérieur, il bénéficie d’un accès anticipé aux nouveaux modèles ainsi que d’un abonnement Pro offert, tout en soulignant n’avoir jamais perçu le moindre financement de recherche de la part de l’entreprise. Quelques jours d’accès anticipé lui ont amplement suffi pour mesurer la puissance dévastatrice du progrès technique en cours.
À l’université de Cambridge, Gowers est à la tête d’une équipe dédiée à la démonstration automatique de théorèmes. Leur ambition originelle consistait à concevoir des outils informatiques pour épauler les mathématiciens humains dans l’exploration de nouvelles structures théoriques. Or, les modèles de pointe actuels contournent purement et simplement les raffinements conceptuels patiemment élaborés par son groupe, produisant des démonstrations par la seule force brute computationnelle. Gowers a reconnu avec lucidité que la raison d’être de son équipe s’était évanouie, contraignant chacun de ses membres à encaisser cette brutale leçon de réalité.
Les modèles mis à la disposition du public surpassent déjà la quasi-totalité des mathématiciens humains dans la résolution d’énoncés ciblés. Des démonstrations fleuves se déversent sur les écrans à un rythme qui excède de loin les facultés d’assimilation du cerveau humain. Face à une telle débauche de calcul, l’échange scientifique tend à se dégrader en un simulacre où l’utilisateur se contente d’écrire un banal « merci » à la machine. Le goulot d’étranglement biologique de la bande passante cognitive humaine se dresse désormais comme un mur physique qui entrave la diffusion d’une compréhension authentique.
Personne n’est prêt à financer la pure compréhension conceptuelle
La lettre ouverte renferme une argumentation particulièrement vulnérable : elle avance que, même si la découverte de preuves cesse d’être l’apanage des chercheurs, la société devra instaurer des mécanismes pour reconnaître la valeur d’un corps d’experts humains et pérenniser son financement. Cette ligne défensive a été méthodiquement mise en pièces dans les commentaires de Hacker News. Deux questions incontournables ont été soulevées par les contradicteurs : pourquoi la collectivité continuerait-elle d’allouer des fonds publics à une corporation qui ne produit plus de résultats tangibles ? Et selon quelles grilles d’évaluation la titularisation des jeunes chercheurs sera-t-elle désormais arbitrée ?
Le système universitaire traditionnel repose tout entier sur la publication d’articles et la résolution de conjectures ouvertes. Quand un doctorant consacre cinq années d’efforts acharnés à démontrer un théorème modeste pour découvrir qu’un modèle commercial y parvient en cinq minutes, la formation académique classique perd toute assise dans le réel. Il ne s’agit pas seulement d’une menace sur les débouchés professionnels des individus ; c’est le socle même de la transmission et de la formation des vocations qui se trouve ébranlé.
Faute d’un cadre normé capable de traduire la pure compréhension conceptuelle en critères d’évaluation concrets, le mécanisme d’attribution des bourses et subventions se retrouve paralysé. Gowers a lui-même formulé une expérience de pensée provocatrice : imaginer un traité international interdisant le déploiement de modèles plus avancés et confiant aux instances académiques le soin de dicter quels problèmes peuvent être confiés aux machines. Mais de telles rêveries réglementaires ne font qu’illustrer le sentiment de profonde impuissance qui étreint l’université face au rouleau compresseur du capital financier.
Cacher ses problèmes devient plus sûr que de les partager
La déstabilisation du système pousse inéluctablement les chercheurs vers des réflexes d’autoprotection. Un fil ouvert sur MathOverflow a rapidement franchi le cap des 5 000 consultations. L’auteur y partageait son inquiétude de voir la recherche mathématique régresser vers le secret médiéval. Dépouillés de leurs garanties professionnelles, les universitaires coupent instinctivement leurs attaches avec les réseaux d’échange ouvert.
L’histoire des sciences a déjà connu de telles périodes d’isolement jaloux. En 1510, le mathématicien italien Scipione del Ferro perça le secret de la résolution des équations du troisième degré et garda sa formule sous le sceau du secret le plus strict pendant deux décennies, ne la révélant qu’à l’article de la mort à son disciple Antonio Maria Fior. À cette époque, posséder une méthode de résolution exclusive constituait l’unique garantie de conserver son statut et de l’emporter lors des défis publics. Plus tard, les réticences d’Isaac Newton à divulguer ses découvertes sur le calcul infinitésimal et sa dispute acrimonieuse avec Gottfried Wilhelm Leibniz obéissaient aux mêmes ressorts. Quand partager le savoir menace la subsistance du chercheur, le verrouillage de l’information devient un bouclier.
Terence Tao a livré une analyse lucide de cette dynamique sur les réseaux sociaux : à ce jour, le véritable talent qui demeure rare consiste à identifier une conjecture ouverte porteuse d’un potentiel fécond. Or, dans le contexte actuel, dès lors que le bruit court qu’une équipe humaine commence à attaquer une conjecture, les laboratoires d’IA mobilisent aussitôt des clusters de calcul monumentaux pour la résoudre avant que le projet académique n’ait pu prendre corps.
Image : Fil de discussion sur MathOverflow demandant comment empêcher les mathématiques de sombrer dans le secret médiéval. Source : MathOverflow
La communauté tente de reprendre le contrôle sur le prix du travail intellectuel
L’irruption technologique a inversé l’ensemble des incitations de la recherche. Si soumettre un problème fécond ne sert plus qu’à inviter les machines à en confisquer la solution, la volonté de débattre publiquement des axes de recherche futurs se tarit complètement. Conserver ses meilleures intuitions sous clé au fond d’un tiroir s’impose comme l’unique parade pour préserver son investissement intellectuel, une dérive qui dynamite des siècles de tradition de science ouverte.
Face à cette dynamique prédatrice, les débats communautaires ont vu émerger deux contre-feux opérationnels. La première piste s’inspire du droit de la propriété intellectuelle pour exiger que seuls des êtres de chair et d’os soient habilités à signer des publications scientifiques. Toute publication ne pouvant faire la preuve d’un apport intellectuel humain tangible devrait obligatoirement être étiquetée comme issue d’une génération automatique, coupant court à la facilité avec laquelle les entreprises de la tech convertissent de la puissance de calcul en prestige académique.
La seconde initiative propose d’imposer à tout article co-signé la divulgation intégrale de sa méthodologie, y compris l’ingénierie des invites (prompts) et l’architecture des modules logiciels périphériques. Dans la mesure où ces infrastructures sont gardées comme de précieux secrets de fabrique par les géants du secteur, rendre leur transparence obligatoire alourdirait considérablement les coûts cachés liés à la captation des découvertes, décourageant les incursions opportunistes.
Le cri d’alarme poussé par les vingt-cinq médaillés Fields et la tentation du repli secret constituent deux facettes d’un même combat : la quête désespérée d’une juste valorisation du travail intellectuel humain. La controverse ne porte plus sur le degré de virtuosité avec lequel les algorithmes résolvent des équations, mais sur les règles collectives à inventer pour contenir l’assaut désordonné du capital technologique. Faute de garde-fous institutionnels, laisser le dumping de puissance de calcul détruire les parcours de recherche reviendrait à scier l’échelle d’apprentissage de toute une génération de savants.
Liens de référence :
- Lettre ouverte sur MathAndAI
- Billet de blog de Tim Gowers
- Fil de discussion MathOverflow
