Résumé - Gemini 2.5 Pro capable de remporter l'or à l'IMO 2025

Gemini 2.5 Pro capable de remporter l'or à l'IMO 2025

2025-07-21 17:59:49

{"Yichen Huang","Lin F. Yang"}

{cs.AI}

L'article présente une nouvelle méthode utilisant le modèle Gemini 2.5 Pro de Google pour résoudre des problèmes de l'International Mathematical Olympiad (IMO) 2025. Les auteurs ont réussi à résoudre 5 des 6 problèmes, soulignant l'importance de trouver la manière optimale d'utiliser des modèles puissants comme Gemini 2.5 Pro. L'article met en avant les défis auxquels font face les grands modèles de langage (LLM) pour résoudre des problèmes de niveau olympique, qui nécessitent un raisonnement en plusieurs étapes, une abstraction et une innovation. Les auteurs proposent une approche de conception de pipeline et d'ingénierie de prompt pour tirer parti des capacités de Gemini 2.5 Pro. Le pipeline se compose de trois étapes : la génération initiale des solutions, l'amélioration continue et la vérification. Le modèle est invité à générer des solutions initiales, qui sont ensuite examinées et améliorées itérativement. L'étape de vérification implique un vérificateur qui contrôle les erreurs et les lacunes dans les solutions. Ce processus est répété jusqu'à obtention d'une solution de haute qualité. L'article montre l'efficacité de l'approche proposée en résolvant 5 des 6 problèmes de l'IMO 2025. Les auteurs reconnaissent les limites de leur approche, telles que le budget de pensée du modèle et la nécessité de continuer à explorer différentes méthodes. Ils mentionnent également l'annonce récente d'OpenAI ayant atteint un niveau de performance d'Or sur l'IMO 2025, soulignant les progrès continus dans le domaine de l'IA et du raisonnement mathématique. Dans l'ensemble, l'article fournit des insights précieux sur les capacités et les limites des LLM pour résoudre des problèmes mathématiques complexes et montre le potentiel de Gemini 2.5 Pro dans ce domaine.