Contexte du désalignement IA‑mathématiques
Vingt‑cinq lauréats de la médaille Fields ont signé la lettre “A Severe Misalignment of AI in Mathematics”, dénonçant un écart entre les objectifs des entreprises d’IA et ceux de la communauté mathématique. Cette prise de position a été déclenchée par l’annonce d’OpenAI d’une solution au problème d’existence et de régularité des équations de Navier‑Stokes, problème classé parmi les sept problèmes du Millénaire. La communauté a immédiatement souligné l’absence de démonstration vérifiable, rappelant que la validation mathématique repose sur un processus de revue par les pairs et sur la reproductibilité des arguments.
Exigences de validation mathématique
En 1958, Olga Ladyzhenskaya a publié une preuve d’existence et d’unicité globale pour les équations de Navier‑Stokes en deux dimensions, en s’appuyant sur l’inégalité qui porte désormais son nom. Cette contribution, largement citée, illustre le niveau de rigueur requis : chaque étape doit être justifiée, chaque hypothèse explicitée, et les résultats doivent résister à des décennies d’examen. Le problème en trois dimensions reste ouvert, et aucune prétendue solution ne peut être acceptée sans une démonstration formelle, un audit de code (le cas échéant) et une publication dans une revue reconnue. L’accélération des annonces d’IA, souvent présentées sous forme de « demo », contourne ces exigences et crée un fossé entre rapidité de diffusion et solidité théorique.
Barrières institutionnelles dans la communauté mathématique
Les anecdotes historiques montrent que la communauté n’a pas toujours favorisé la transmission des idées. Juliusz Schauder, docteur depuis 1923, a été exclu des postes universitaires à cause d’antisémitisme, contraint d’enseigner au lycée tout en poursuivant des recherches, avant d’être assassiné en 1943. Olga Ladyzhenskaya, malgré son résultat fondamental en 1958, a été écartée du Fields Medal, le comité privilégiant d’autres candidats. Karen Uhlenbeck, première femme à recevoir le prix Abel en 2019, a subi des refus d’embauche sous prétexte de « nepotism rules » qui n’existaient pas réellement. À Berkeley, Julia Robinson a été interdite d’enseignement pendant 35 ans, ne retrouvant un poste qu’après son élection à l’Académie nationale des sciences en 1976, et a dû rendre compte quotidiennement de son travail. Ces faits quantitatifs (25 médaillés, 1958, 2019, 35 ans) illustrent des mécanismes de sélection qui limitent la diversité des voix et la diffusion des idées.
Implications pour l’alignement de l’IA
Un environnement où les jeunes chercheurs ne bénéficient pas d’un mentorat structuré ou d’un accès équitable aux ressources réduit la capacité du secteur IA à intégrer des perspectives mathématiques rigoureuses. Les entreprises d’IA, motivées par la visibilité rapide, peuvent publier des résultats avant que la communauté ne les ait validés, aggravant le désalignement signalé par les lauréats du Fields. Pour réduire cet écart, il faut instaurer des protocoles de revue similaires à ceux des revues mathématiques, garantir un financement qui soutient la formation et la diversité, et encourager les institutions à publier les processus de validation de leurs modèles. Sans ces mesures, les annonces spectaculaires resteront isolées, tandis que la compréhension conceptuelle et la robustesse des solutions demeureront fragiles.
