Les technologies d’intelligence artificielle continuent de repousser les limites, s’illustrant désormais dans des domaines considérés comme le fleuron de l’intellect humain : les mathématiques. Cet été, plusieurs systèmes d’IA ont accompli une prouesse remarquable en obtenant l’équivalent d’une médaille d’or aux Olympiades internationales de mathématiques, une compétition prestigieuse réunissant les jeunes prodiges du monde entier.
Ces programmes, parmi lesquels Gemini de Google, un logiciel développé par OpenAI, ainsi que Seed-Prover de ByteDance (connu pour TikTok) et Aristotle de la startup américaine Harmonic, ont résolu cinq problèmes sur six. Leur succès est d’autant plus significatif que ces systèmes ont travaillé directement à partir des énoncés en langage naturel, sans traduction préalable en langages formels, et ont respecté la contrainte de temps de 4h30 imposée aux participants humains. Les correcteurs de l’Olympiade ont salué la clarté et la précision de leurs solutions.
Un seul exercice combinatoire de pavage d’un plan a résisté aux IA, n’étant résolu que par quatre concurrents humains. Cette performance historique marque une avancée majeure dans les capacités de raisonnement des modèles d’intelligence artificielle, ouvrant des perspectives prometteuses pour la recherche scientifique et bien au-delà. L’approche adoptée par Gemini Deep Think, par exemple, repose sur une « pensée parallèle », explorant simultanément plusieurs pistes pour synthétiser la solution la plus pertinente. Cet exploit soulève des questions fascinantes sur l’avenir de l’IA et son potentiel à égaler, voire surpasser, l’intelligence humaine dans des tâches complexes.
