Chaque année depuis 1959, l’Olympiade internationale de mathématiques (IMO) rassemble les meilleurs jeunes cerveaux du monde, tous âgés de moins de 20 ans. Chaque pays y envoie une délégation de six candidats pour affronter, pendant deux jours, six problèmes réputés pour leur complexité algorithmique et leur exigence logique, à résoudre sans calculatrice ni aide extérieure. C’est un peu le mont Everest des compétitions académiques pour lycéens ; extrêmement exigeant, puisque seuls 10 % des participants y décrochent une médaille d’or.
L’an dernier, AlphaGeometry 2 et AlphaProof de Google ont réussi à s’en tirer avec un score plus qu’honorable, mais cette année, c’est OpenAI qui a raflé la mise.
Une IA décroche l’or aux JO des matheux : qui dit mieux ?
OpenAI a fait participer un modèle expérimental au concours, qui n’a jamais été présenté au grand public. Selon Alexander Wei, chercheur chez OpenAI, le modèle en question a résolu 5 des 6 problèmes de l’édition 2025 de l’IMO, avec un score de 35 points sur 42. En comparaison, seuls 67 candidats humains sur 630 ont atteint ce niveau cette année. Cela place donc cette IA… dans le top 10 % mondial. Rien que ça.
Le modèle a même réussi à produire des démonstrations mathématiques complètes et irréfutables, telles qu’un humain les réussirait. « Notre modèle est capable de raisonner de manière complexe et rigoureusement structurée, comme le feraient des mathématiciens de chair et d’os », a déclaré Wei sur X.
Sam Altman, PDG d’OpenAI, a précisé que ces capacités ne seraient pas encore intégrées dans ChatGPT-5, attendu, si tout va bien, pour cet été.
Une très belle performance (et certainement l’une des meilleures publicités pour l’entreprise) qu’on saluera, bien évidemment. Symboliquement, en revanche, OpenAI vient de démontrer que l’IMO, l’un des derniers « bastions intellectuels 100 % humain » à résister aux modèles génératifs, était parfaitement atteignable par leur puissance de frappe.
L’IMO rassemblait la jeune élite mondiale de la pensée abstraite, presque un rituel de passage pour des générations de prodiges. Voir une machine s’y hisser au niveau des meilleurs, c’est comme voir ChatGPT réussir le test de Turing : cela nous laisse pantois, mais cela entérine surtout l’idée que nous ne combattrions bientôt plus seuls sur ce terrain.
- Un modèle expérimental d’OpenAI a atteint le niveau des meilleurs lycéens mondiaux en résolvant la majorité des épreuves d’une compétition mathématique réputée : l’IMO.
- Cet exploit marque une avancée majeure dans la capacité des IA à raisonner de façon rigoureuse et créative, au-delà des simples calculs.
- Selon OpenAI, le futur ChatGPT-5 n’intègrera pas encore ces compétences.
📍 Pour ne manquer aucune actualité de Presse-citron, suivez-nous sur Google Actualités et WhatsApp.
