Sujet
Tous les articles d’Actu.ai consacrés à Mathématiques : actualités, analyses et explications sur ce sujet lié à l’intelligence artificielle. 8 articles
L’IA générative ne rend pas le raisonnement humain superflu, elle le rend plus précieux. Pour formuler de bonnes demandes, contrôler une réponse ou concevoir des systèmes, les mathématiques apportent une méthode essentielle. Or la baisse des élèves formés en France pose un enjeu éducatif, économique et technologique majeur.
David Roe et Andrew Sutherland, du MIT, figurent parmi les premiers bénéficiaires du programme AI for Math. Leur projet veut connecter une immense base de données de théorie des nombres à mathlib, une bibliothèque de preuves vérifiables, afin d’aider humains et systèmes d’IA à explorer plus efficacement de nouvelles pistes mathématiques.
Google DeepMind affirme qu’une version avancée de Gemini Deep Think a atteint le niveau d’une médaille d’or à l’Olympiade internationale de mathématiques 2025. Avec 35 points sur 42 et cinq problèmes résolus, l’IA a surtout démontré sa capacité à rédiger des preuves complètes, au-delà de la seule réponse finale.
DeepSeek a mis en ligne Prover V2, une nouvelle version de son modèle spécialisé dans les démonstrations mathématiques formelles. Bâti sur la base de DeepSeek-V3 et son architecture en mélange d’experts, il vise à aider les chercheurs à formaliser et vérifier des théorèmes complexes, notamment dans l’environnement Lean 4.
LG AI Research dévoile EXAONE Deep, une famille de modèles conçus pour les problèmes de mathématiques, de sciences et de programmation. Son modèle phare de 32 milliards de paramètres est accompagné de deux versions plus légères annoncées en open source, afin d’élargir l’accès aux développeurs et aux chercheurs.
AlphaGeometry2, le système de Google DeepMind dédié à la géométrie, a résolu 42 problèmes sur 50 issus d’Olympiades internationales de mathématiques passées. Ce résultat dépasse le niveau moyen observé chez les médaillés d’or sur ce corpus précis. Il illustre les progrès du raisonnement neuro-symbolique, sans pour autant faire de l’IA un mathématicien universel.
Un master en mathématiques ne conduit pas uniquement vers l’enseignement ou la recherche théorique. Finance, industrie, santé, données et intelligence artificielle mobilisent aussi ses méthodes. Derrière un même diplôme, les spécialisations et les projets construisent des trajectoires professionnelles très différentes, fondées sur la modélisation, les statistiques et la résolution de problèmes complexes.
Microsoft Research Asia présente rStar-Math, un modèle de langage de petite taille spécialisé dans la résolution de problèmes mathématiques. Sa particularité : explorer plusieurs pistes de calcul grâce à une recherche arborescente, puis exposer une démarche en langage naturel et en Python. Une piste de recherche prometteuse, mais pas encore un outil éducatif prêt à l’emploi.
