Quand l’IA résout des équations mathématiques
En plus d’aider les élèves dans leurs études, l’intelligence artificielle (IA) leur fait de la compétition. AlphaProof et AlphaGeometry 2, deux nouveaux modèles d’IA de Google DeepMind, s’élèvent sur la seconde marche du podium des 65es Olympiades internationales de mathématiques, tenues du 11 au 22 juillet à Londres.
