L'IA accompagne les mathématiciens dans la recherche
L'essor des modèles d'intelligence artificielle soulève des questions fondamentales sur l'avenir de la recherche mathématique, notamment concernant la nature des démonstrations et la valeur des nouvelles connaissances. Jennifer Taback, professeure de mathématiques au Bowdoin College, analyse cet impact depuis la réalité d'un établissement d'enseignement libéral de petite taille. Dans sa pratique quotidienne, l'IA ne résout pas encore les conjectures complexes ou les problèmes de longue haleine. Toutefois, elle s'avère un partenaire de travail efficace. L'auteure utilise ces outils pour corriger des erreurs, restructurer des articles, identifier de nouvelles pistes de recherche et améliorer la clarté de ses écrits académiques. Les publications scientifiques interdisent formellement le statut de co-auteur pour les algorithmes, mais l'IA compense le manque de collaborateurs spécialisés présents sur les campus restreints. Elle stimule la réflexion, obligeant la chercheuse à formuler des questions plus précises et à synthétiser ses connaissances. Lorsque l'outil fait preuve d'imprécision, la vérification humaine reste indispensable, rappelant que les mathématiques demeurent une activité fondamentalement humaine. En classe, la présence massive de l'IA transforme rapidement les méthodes pédagogiques. À une époque où la charge d'enseignement est lourde et le soutien administratif limité, l'IA contraint les professeurs à revenir à des évaluations en présentiel et sous surveillance, au détriment parfois de la qualité de l'apprentissage. Taback souligne la nécessité d'élargir les débats sur la réforme de l'enseignement pour inclure non seulement les grandes universités de recherche, mais aussi les collèges d'arts libéraux. Paradoxalement, elle note une créativité remarquable chez certains étudiants, qui utilisent déjà les outils numériques pour visualiser et assimiler des concepts abstraits, comme la cryptographie historique. Au-delà de la recherche et de l'enseignement, l'avènement de l'IA interroge la carrière des jeunes chercheurs. Face à des critères d'obtention du titre permanent et de publication encore en évolution, une incertitude pèse sur les postes précaires. Taback plaide pour une discipline ouverte, qui tolère l'usage transparent de ces technologies sans jugement, tout en exigeant une validation rigoureuse et une explication claire par les chercheurs eux-mêmes. Elle encourage à ne pas abandonner des lignes de recherche par crainte d'une course technologique, notant que des preuves alternatives, qu'elles soient humaines ou algorithmiques, enrichissent souvent la compréhension des problèmes. En conclusion, bien que les contours futurs des mathématiques restent imprévisibles, l'auteure affirme que la discipline continuera d'être portée par des esprits humains. L'avenir résidera dans la capacité des chercheurs à maîtriser des outils nouveaux et parfois complexes, tout en restant focalisés sur la formulation de questions pertinentes. La formation des générations suivantes reposera sur cet équilibre entre innovation technologique et rigueur intellectuelle, assurant que la découverte mathématique progresse dans un cadre éthique et constructif.
