À qui appartiennent les mathématiques ? En deux ans à peine, les mathématiques semblent être passées du statut de frontière de l’IA à celui de territoire de l’IA, du statut d’idéal cognitif servant à tester les capacités de raisonnement des modèles d’IA, à celui d’infrastructure de connaissance, productive et mobilisable de façon en partie automatisée. C’est en tous cas le message envoyé par OpenAI (e.g. Contre-exemple à la conjecture d’Erdős), Anthropic (e.g. Contre-exemple à la conjecture jacobienne), Google DeepMind (e.g. AlphaProof) ou encore la DARPA avec le programme ExpMath. Si le moment se veut historique, la suite n’est pas écrite pour autant. La communauté mathématique se prépare et s’interroge : À quel endroit faut-il résister ? Et à quel autre faudrait-il plutôt s’adapter ? À quelles conditions ? Comment souhaitons-nous voir se dessiner les trajectoires de l’IA et de la recherche mathématiques ? L’équipe Inria SIRA, le LFPC et le collectif Automath invitent la communauté mathématique élargie à se saisir collectivement de ces enjeux lors d’une journée de workshop (ai4sciencecontroversy.com)

 

Comme en témoigne la Déclaration de Leiden [1.] ou le formule Terence Tao dans une publication récente [2.] : « How should the mathematical community respond to the advent of modern AI technologies, and their real and/or claimed capabilities to perform mathematical tasks? (…) It is a metamathematical question. »