La nouvelle IA Google DeepMind, AlphaGeometry2, a atteint un niveau que peu auraient osé imaginer. Désormais, elle rivalise avec les plus grands génies des Olympiades internationales de mathématiques (IMO). Pire encore… elle les surpasse !
Pour commencer, laisse-moi vous rappeler que l’année dernière, DeepMind avait déjà stupéfié le monde avec AlphaGeometry. Cette IA, en réussissant à égaler les médaillés d’argent des IMO, avait montré un potentiel immense.
Cependant, cela ne suffisait pas. Aujourd’hui, sa version améliorée, AlphaGeometry2, va bien au-delà. En fait, elle se hisse au niveau des médaillés d’or et les dépasse même sur plusieurs points.
C’est vrai, cette nouvelle IA de Google DeepMind résout les problèmes des IMO avec précision
Pour infos, les IMO ne sont pas un simple tournoi de mathématiques. Ce sont des épreuves où les meilleurs jeunes esprits s’affrontent sur des problèmes redoutables.
Géométrie euclidienne, algèbre, combinatoire, théorie des nombres… Rien n’est laissé au hasard. Mais là où de nombreux participants échouent, AlphaGeometry2 brille avec une précision saisissante.
En effet, elle parvient à résoudre 84 % des problèmes de géométrie donnés aux IMO ces 25 dernières années. Notons que son prédécesseur atteignait à peine 54 %. Nul doute que cette avancée marque un tournant.
Comme l’a souligné Kevin Buzzard, mathématicien à l’Imperial College de Londres : « J’imagine qu’il ne faudra pas longtemps avant que les ordinateurs obtiennent la note maximale à l’IMO ».
Et comme nous le savons tous, les IA classiques fonctionnent en analysant des milliers d’exemples. AlphaGeometry2, en revanche, repose sur une approche plus sophistiquée.
Il s’agit d’un système neuro-symbolique, une technologie qui mêle intuition artificielle et raisonnement logique conçu par des experts humains.
En plus de cette architecture avancée, DeepMind a intégré Gemini, le modèle de langage de Google. Grâce à cet ajout, l’IA bénéficie d’une capacité de raisonnement encore plus fine.
Effectivement, elle évite les erreurs courantes des IA traditionnelles, comme les « hallucinations », ces réponses absurdes qui peuvent induire en erreur.
?ref_src=twsrc%5Etfw">February 7, 2025HUGE: Google's AI just solved 84% of the International Math Olympiad (IMO) problems from 2000-24 with Alpha Geometry 2!
— Deedy (@deedydas)
These are math problems most professors couldn't solve. pic.twitter.com/IAW6jCgmLO
De plus, AlphaGeometry2 ne se contente pas d’appliquer des formules. Elle interagit avec la géométrie de manière presque humaine.
Par exemple, elle peut déplacer des points, modifier la hauteur d’un triangle ou ajuster des équations linéaires pour tester différentes configurations. Cette souplesse lui donne un net avantage sur les humains, qui doivent effectuer ces manipulations mentalement.
Le but étant d’atteindre une rigueur absolue, elle vérifie systématiquement la validité de ses démonstrations avant d’annoncer un résultat.
AlphaGeometry2, bientôt imbattable en mathématiques
Pour le moment, cette nouvelle IA Google DeepMind ne peut pas encore concourir officiellement aux IMO. Les règles interdisent les intelligences artificielles, sinon elle aurait déjà une médaille d’or en poche.
Par ailleurs, une récompense de 5 millions de dollars, appelée AI Mathematical Olympiad Prize, est en jeu. Ce prix sera attribué à la première IA capable d’obtenir une médaille d’or aux IMO.
Cependant, ce concours impose une condition stricte : l’IA doit être open source. Hélas, pour l’instant, DeepMind ne remplit pas cette exigence.
Les chercheurs en intelligence artificielle attendent avec impatience la prochaine édition de l’IMO, qui aura lieu en Australie.
Une fois les épreuves dévoilées, AlphaGeometry2 pourra tenter de les résoudre en parallèle des humains. Même si elle ne peut pas concourir officiellement, ses performances seront scrutées de près.
Kevin Buzzard souligne néanmoins que l’IMO reste une compétition destinée aux élèves du secondaire. Selon lui, de nombreux défis restent à relever avant qu’une IA puisse rivaliser avec les mathématiciens de recherche.
Et vous, que pensez-vous de cette nouvelle IA de Google DeepMind ? Sera-t-elle capable de dépasser les mathématiciens professionnels avec ses progrès ?
- Partager l'article :