L'IA de Google DeepMind a obtenu des résultats impressionnants aux Olympiades internationales de mathématiques, remportant la médaille d'argent et ratant la médaille d'or d'un seul point. Ses systèmes AlphaProof et AlphaGeometry2 ont répondu correctement à 4 questions sur 6. Parmi elles, AlphaGeometry2 a résolu une question de géométrie en 19 secondes, avec une rapidité et une précision dépassant de loin celles des meilleurs mathématiciens humains. Cette avancée a non seulement choqué la communauté mathématique, mais a également attiré une large attention dans l'industrie. Des mathématiciens de premier plan tels que Tao Zhexuan et Luo Boshen en ont fait l'éloge et ont exprimé leurs attentes quant à son potentiel de développement futur.
Dans le temple des mathématiques, Google DeepMind a une nouvelle fois démontré les capacités extraordinaires de son IA. Récemment, Google AI a remporté la médaille d'argent à l'Olympiade internationale de mathématiques (OMI). Cette réussite a non seulement choqué la communauté mathématique, mais a également rempli les gens d'une imagination illimitée sur l'avenir de l'IA.
AlphaProof et AlphaGeometry2 de Google ont réalisé des performances impressionnantes lors du concours IMO2024. Ils ont répondu correctement à 4 questions sur 6 et ont raté la médaille d'or d'un seul point. Ce qui est encore plus étonnant, c'est qu'AlphaGeometry2 a résolu un problème de géométrie en seulement 19 secondes. Une telle vitesse et une telle précision sont difficiles à égaler, même pour les meilleurs mathématiciens humains.
Le PDG de Perplexity AI a même prédit avec audace que si Google continue de se plonger dans le domaine des mathématiques de l'IA, il pourrait créer un « IA Terence Tersu » à l'avenir. Terence Tao lui-même est plus préoccupé par la manière dont l'IA et les mathématiques peuvent se développer ensemble. Il estime que les progrès de l'IA dans le domaine des mathématiques contribueront à automatiser les mathématiques formelles et à promouvoir les progrès de la recherche mathématique.
Le parcours de recherche et développement de DeepMind est cette fois très intelligent. Ils s'appuient davantage sur l'apprentissage par renforcement que sur de grands modèles de langage. Cette méthode hérite dans une certaine mesure de l'esprit d'AlphaGo. Grâce à des méthodes formelles, l’IA est capable de résoudre des problèmes géométriques au niveau de l’OMI qui étaient auparavant inimaginables.
Le professeur Luo Boshen estime que les puissantes capacités mathématiques de l’IA posent de nouveaux défis aux méthodes pédagogiques. La structure éducative existante doit évoluer rapidement pour s'adapter aux besoins de l'ère de l'IA. Il a souligné que chacun doit apprendre à résoudre de nouveaux problèmes jamais rencontrés auparavant, sinon il ne sera pas en mesure de suivre le rythme de l'IA.
Les performances de Google AI à l'OMI ne constituent pas seulement une avancée technologique, mais aussi une profonde révélation de la sagesse humaine. Avec les progrès continus de la technologie de l’IA, nous avons des raisons de croire que la recherche et l’enseignement mathématiques futurs connaîtront des changements bouleversants. Attendons avec impatience de voir comment l’IA continuera à créer des miracles dans le domaine des mathématiques.
Les performances exceptionnelles de Google AI à l’OMI indiquent que l’IA aura des perspectives d’application plus larges dans le domaine des mathématiques et qu’elle apportera également de nouvelles réflexions et de nouveaux défis à l’enseignement des mathématiques. Il s’agit non seulement d’un bond en avant dans la technologie de l’IA, mais aussi d’un événement marquant dans l’exploration humaine de zones inconnues. À l’avenir, la coopération entre l’IA et les humains favorisera le développement vigoureux des mathématiques et d’encore plus de disciplines.