L'IA Capable de Battre les Champions des Olympiades de Mathématiques
AlphaGeometry de Google DeepMind a résolu des problèmes de géométrie des Olympiades au niveau médaille d'or le 17 janvier 2024.
Le 17 janvier 2024, Google DeepMind a annoncé AlphaGeometry—une IA capable de résoudre des problèmes de géométrie des Olympiades Internationales de Mathématiques au niveau médaille d'or.
Ce ne sont pas de simples problèmes de maths. Ce sont des défis qui déconcertent la plupart des mathématiciens professionnels.
La Performance
AlphaGeometry a résolu 25 problèmes sur 30 de géométrie des Olympiades issus de compétitions passées.
Pour le contexte :
- Moyenne médaillé d'or humain : 25,9/30
- Meilleure IA précédente : 10/30
- AlphaGeometry : 25/30
C'était la première IA à atteindre le niveau d'expert humain sur un raisonnement mathématique aussi complexe.
Pourquoi C'était Important
Le raisonnement mathématique a été le point faible de l'IA. AlphaGeometry a montré qu'avec la bonne approche, l'IA pouvait égaler les humains même dans des domaines logiques abstraits.
Cela avait des implications au-delà des mathématiques—pour tout domaine nécessitant un raisonnement complexe et des preuves.
Où en Sont-Ils Maintenant ?
AlphaGeometry a démontré que les capacités de raisonnement de l'IA progressaient plus rapidement que beaucoup ne s'y attendaient. Les techniques développées continuent d'influencer la recherche en IA.
Le 17 janvier 2024 a été la preuve que l'IA pouvait exceller dans le raisonnement pur, pas seulement la reconnaissance de motifs.