L’IA expérimentale d’OpenAI atteint un niveau olympique en mathématiques

Image d'illustration. OpenAIADN
OpenAI vient de tester un modèle capable de résoudre les énigmes les plus ardues de l'International Mathematical Olympiad.
Tl;dr
- Un modèle expérimental d’OpenAI a atteint une performance de niveau médaille d’or à l’International Math Olympiad, en résolvant cinq des six problèmes.
- Cette prouesse marque un cap inédit : l’IA parvient désormais à produire des démonstrations complexes, proches du raisonnement créatif humain.
- OpenAI ne prévoit pas de rendre ce modèle public pour l’instant, et son intégration dans GPT-5 n’est pas encore d’actualité.
Un modèle expérimental au sommet des mathématiques mondiales
Depuis quelques jours, le monde de l’intelligence artificielle bruisse autour d’une prouesse signée OpenAI. Un de ses modèles expérimentaux vient en effet d’atteindre, selon les mots du chercheur Alexander Wei, une « performance de niveau médaille d’or » lors du prestigieux championnat international de mathématiques International Math Olympiad (IMO). Mais que cache réellement cette annonce qui fait frémir la communauté scientifique ?
L’exploit : cinq épreuves sur six réussies
Pour bien saisir l’ampleur de ce jalon, il faut revenir sur la difficulté redoutable des exercices proposés à l’IMO. Chaque année, plus de 600 jeunes prodiges venus du monde entier se penchent sur six problèmes d’algèbre ou de pré-calcul aux énoncés trompeusement simples mais nécessitant une créativité et une rigueur hors pair. Selon les chiffres avancés par Alexander Wei, le modèle testé par OpenAI aurait résolu cinq de ces six casse-têtes, récoltant ainsi un score total de 35 points sur 42 – un seuil synonyme de médaille d’or dans ce concours où seuls 10 % des participants décrochent cette distinction.
L’intelligence artificielle face à la créativité mathématique
Traditionnellement, les systèmes d’IA générative excellent dans le traitement massif de données ou l’exécution de tâches répétitives. Mais ils butent encore souvent sur des défis sollicitant véritablement la créativité ou un raisonnement complexe. Or, ce nouveau jalon marque un tournant : « Nous avons obtenu un modèle capable de rédiger des démonstrations complexes et irréfutables au niveau des mathématiciens humains », affirme ainsi Alexander Wei, relayant son enthousiasme sur le réseau social X.
Parmi les points notables révélés par cette percée :
- L’approche du modèle repose autant sur la logique que sur la capacité à innover dans la résolution.
- Aucun accès public immédiat n’est envisagé pour cette version avancée.
Bientôt un nouveau standard ? Pas tout à fait…
Si certains pouvaient espérer voir prochainement ces capacités intégrées au futur GPT-5, il faudra patienter. Le PDG d’OpenAI, Sam Altman, a précisé que cette technologie ne serait pas déployée avant plusieurs mois. En filigrane, cette annonce laisse entrevoir un avenir où les frontières entre compétences humaines et algorithmiques s’effritent peu à peu – mais pour l’heure, il semble que l’élite mathématique ait encore quelques récréations devant elle.