La DARPA a lancé son initiative "Exponentiating Mathematics" (expMath), une initiative audacieuse visant à accélérer la découverte mathématique à l'aide de l'IA. L'objectif est de créer des "coauteurs" d'IA, c'est-à-dire des systèmes capables de décomposer des preuves complexes en lemmes gérables et de composer de nouveaux théorèmes. La DARPA recherche des propositions combinant de grands modèles de langage, l'apprentissage par renforcement et la synthèse de programmes pour faire progresser le raisonnement symbolique en mathématiques. La feuille de route est modulaire : une piste vise le développement de l'IA elle-même, tandis qu'une autre évalue l'IA par rapport à des défis mathématiques de niveau professionnel. En cas de succès, expMath pourrait radicalement raccourcir les délais de recherche et avoir un impact sur la cryptographie, la science des matériaux, la dynamique des fluides et bien d'autres domaines. Le programme vise également à démocratiser l'accès aux outils mathématiques avancés. L'ambition de la DARPA est claire : redéfinir la manière dont les humains et les machines collaborent à des recherches mathématiques approfondies.