Google AI résout 84% des problèmes géométriques dans l'OMI, mais l'O1 n'est pas correct! Plus que les médailles d'or

La dernière IA mathématique de Google a résolu 84% des problèmes géométriques du concours de l'OMI 2000-2024.

Le papier Alphageométrie2 a été publié et 42 ont été complétés sur un total de 50 questions, 15 de plus que la génération de l'année dernière.

À titre de comparaison, le modèle de langue pure Openai O1 et Gemini Flash Thinking ne peuvent pas le résoudre.

La nature a commenté: DeepMind AI a brisé les problèmes mathématiques et atteint le niveau des médailles d'or, qui était comparable aux meilleurs joueurs humains.

Par exemple, la quatrième question de la compétition 2024, Alphageométrie2 ne prend que 19 secondes pour la terminer.

Comme le montre la figure, cette question nécessite une preuve que la combinaison de ∠kil et ∠xpy est égale à 180 ° (indiquée en bleu).

La ligne auxiliaire construite par alphageométrie2 est représentée en rouge.

L'auteur correspondant Thang Luong a partagé une question plus folle de l'OMI Shortlist 2009.

Selon l'entraîneur de l'OMI consulté par Google, ce problème n'était auparavant que des solutions numériques.

Mais Alpha...
[Courte citation de 8% de l'article original]