DARPA veut accélérer la recherche mathématique grâce à l'IA

La DARPA, estimant que les progrès en mathématiques sont trop lents, a lancé le projet expMath pour accélérer la recherche à l'aide de l'IA. L'objectif est de créer un « co-auteur » IA capable de proposer et de prouver des abstractions mathématiques. Bien que l'IA excelle en mathématiques élémentaires, la résolution de concepts avancés représente un défi majeur. Le succès du projet dépend de la capacité à surmonter cette limitation, ce qui pourrait nécessiter des approches au-delà des modèles linguistiques actuels et l'exploration de méthodes alternatives comme l'entrée visuelle ou auditive.