Gowers : l'IA ne détruira pas les mathématiques
Le mathématicien et lauréat de la médaille Fields, Timothy Gowers, a annoncé qu'il ne signerait pas une lettre récente cosignée par 25 autres médailles Fields, qui met en garde contre l'impact rapide de l'intelligence artificielle sur la recherche mathématique. S'il partage l'inquiétude face à la crise en cours, Gowers propose une analyse nuancée, rejetant l'idée qu'il faille limiter le développement des modèles ou privilégier exclusivement la compréhension conceptuelle au détriment de la résolution de problèmes. Pour Gowers, la communauté mathématique aborde la relation entre résolution de problèmes et compréhension conceptuelle selon un spectre de tempéraments divers. Imposer une approche unique reviendrait à marginaliser des générations de chercheurs. Il reconnaît que l'arrivée massive de démonstrations générées par l'IA dépassera rapidement la capacité humaine de les assimiler, mais estime que les risques sont surévalués sur le fond et surestimés sur la forme. Les preuves fournies par l'IA, bien que parfois mal rédigées, restent compréhensibles et reposent sur des travaux humains existants. La digestion des résultats pourrait se faire grâce à la spécialisation des chercheurs et à des outils numériques facilitant l'exploration des nouvelles découvertes. Le véritable danger, selon lui, n'est pas technique mais social et structurel. La prolifération automatisée des théorèmes pourrait compromettre le système d'attribution des crédits académiques, déjà en mutation, et saper la motivation des jeunes chercheurs qui s'orientent traditionnellement vers la résolution de problèmes célèbres. Si le rêve de trouver une preuve par soi-même disparaît, la transmission de la tradition mathématique aux nouvelles générations risque de s'affaiblir, avec des conséquences directes sur le financement et la reconnaissance du métier. Gowers insiste sur le caractère inéluctable de cette transition. Les modèles capables de résoudre des problèmes mathématiques complexes seront bientôt publics, rendant toute tentative de restriction ou de ralentissement artificiel vain. Au lieu de chercher à freiner les entreprises de technologie, la communauté devrait se concentrer sur l'adaptation : repenser les mécanismes de validation, réinventer les parcours de formation et démontrer la valeur stratégique des experts humains dans l'interprétation, la contextualisation et la transmission des connaissances. Accepter ces changements pour en atténuer les effets secondaires apparaît, à ses yeux, comme la stratégie la plus pragmatique pour préserver l'écosystème mathématique face à l'ère de l'IA.
