Les systèmes d'IA de Google DeepMind peuvent désormais résoudre des problèmes mathématiques complexes

1. Google DeepMind a développé deux systèmes d'IA, AlphaProof et AlphaGeometry 2, qui peuvent résoudre des problèmes mathématiques complexes impliquant une réflexion avancée. 2. Ces systèmes ont travaillé ensemble pour résoudre quatre des six problèmes de l'Olympiade Internationale de Mathématiques (OIM), remportant ainsi une médaille d'argent. 3. C'est la première fois qu'un système d'IA réussit à atteindre un tel taux de réussite dans ce genre de problèmes. 4. Les problèmes mathématiques impliquant une réflexion avancée sont difficiles pour les systèmes d'IA car ils nécessitent de former et de s'appuyer sur des abstractions, une planification hiérarchique complexe et la fixation d'objectifs intermédiaires. 5. AlphaProof est un système basé sur l'apprentissage par renforcement qui s'entraîne à prouver des énoncés mathématiques dans le langage de programmation formel Lean. 6. L'IA Gemini est affinée pour traduire automatiquement les problèmes mathématiques du langage naturel en énoncés formels, créant ainsi une grande bibliothèque de problèmes mathématiques formels. 7. Automatiser ce processus est un grand pas en avant pour la communauté mathématique, permettant une plus grande confiance dans la correction des résultats publiés et une collaboration plus étroite. 8. AlphaGeometry 2 a été optimisé pour résoudre les problèmes de géométrie et a été entraîné avec beaucoup plus de données synthétiques que son prédécesseur. 9. Deux mathématiciens renommés ont vérifié les soumissions des systèmes et leur ont attribué un total de 28 points sur un maximum de 42, ce qui vaudrait à un participant humain une médaille d'argent. 10. Créer des systèmes d'IA capables de résoudre des problèmes mathématiques encore plus complexes pourrait ouvrir la voie à des collaborations humain-IA passionnantes et nous aider à mieux comprendre comment les humains abordent les mathématiques.