L'IA transforme l'avenir de la recherche mathématique

Alors que l’intelligence artificielle transforme en profondeur la recherche en mathématiques, la communauté scientifique analyse les implications de ces avancées sur la pratique quotidienne et la formation des chercheurs. Lors de récentes rencontres réunissant universitaires et entrepreneurs technologiques, le mathématicien Jeremy Avigad, impliqué dans le développement du prouveur de théorèmes Lean, a souligné que si les modèles d’IA automatisent désormais des résolutions de problèmes qui nécessitaient autrefois des années de travail, le fondement de la discipline demeure intact. Pour Avigad, les mathématiques ne se résument pas à un flux de travail computationnel : elles constituent une culture fondée sur le raisonnement rigoureux, la communication et la pensée abstraite, qualités indispensables même face à la montée en puissance des systèmes génératifs. L’automatisation du raisonnement par l’IA expose toutefois une limite structurelle. Les modèles actuels excèlent dans l’association de techniques existantes et l’exploration systématique de variations, grâce à des architectures d’apprentissage par renforcement. En revanche, ils peinent encore à faire preuve de créativité conceptuelle, de vision à long terme ou de stratégie globale, des attributs qui ont historiquement porté des révolutions comme la géométrie riemannienne ou la théorie des groupes. Face à ce constat, Avigad propose une feuille de route en trois axes pour adapter la discipline. Premièrement, les mathématiciens doivent cibler des problèmes plus ambitieux, échappant encore aux capacités de criblage algorithmique. Deuxièmement, la recherche doit privilégier des perspectives plus larges, où le jugement humain reste souverain pour déterminer ce qui est fondamental ou élégant. Enfin, le domaine doit intégrer activement de nouvelles méthodologies, en considérant le développement d’assistants de preuve ou l’entraînement de réseaux neuronaux comme une contribution à part entière aux mathématiques, au même titre qu’une démonstration classique. L’histoire de la discipline montre d’ailleurs que chaque révolution technologique, de l’algèbre aux calculs numériques, a d’abord suscité des résistances avant de devenir un pilier du progrès. Cette transformation ne se limite pas à la recherche théorique : elle remet en question les cursus universitaires et les débouchés professionnels. Les départements et les sociétés savantes multiplient les initiatives pour accompagner ce changement, tout en réaffirmant que les mathématiques conservent toute leur utilité pour structurer la pensée critique dans un monde numérique. Plutôt que de voir l’IA comme un substitut, la communauté scientifique l’envisage comme un catalyseur. Si les normes et attentes du milieu sont actuellement en mutation, cette période marque le début d’une nouvelle ère. L’enjeu pour les prochaines années sera de conserver l’agence humaine sur le raisonnement, d’encourager l’exploration et de bâtir collectivement les standards de demain, garantissant ainsi la vitalité et la pertinence des mathématiques face aux défis technologiques.