La révolution de l'IA mathématique prend son envol

La DARPA a lancé son initiative « Exponentiating Mathematics » (expMath), une initiative audacieuse visant à accélérer les découvertes mathématiques à l'aide de l'IA. L'objectif : créer des « coauteurs » 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 des modèles linguistiques à grande échelle, l'apprentissage par renforcement et la synthèse de programmes afin de faire progresser le raisonnement symbolique en mathématiques. La feuille de route est modulaire : une piste cible le développement de l'IA lui-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 raccourcir considérablement les délais de recherche, ce qui aurait un impact sur la cryptographie, la science des matériaux, la dynamique des fluides, etc. 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 dans le domaine de la recherche mathématique approfondie.