La frénésie de l’IA en 48 heures : percées, paris à un milliard de dollars et politiques audacieuses (22–23 juillet 2025)

L’IA s’attaque aux mathématiques avancées : Dans une étape majeure pour le raisonnement de l’IA, des modèles de Google et OpenAI ont obtenu des scores de médaille d’or à l’Olympiade internationale de mathématiques reuters.com. C’est la première fois que des systèmes d’IA franchissent le seuil de haut niveau de l’Olympiade, chacun résolvant 5 des 6 problèmes difficiles grâce à de nouvelles méthodes de « raisonnement généraliste » reposant sur la compréhension du langage naturel reuters.com reuters.com. « Je pense que le moment où nous pourrons résoudre des problèmes de raisonnement complexes en langage naturel permettra une collaboration potentielle entre l’IA et les mathématiciens, » a déclaré le professeur Junehyuk Jung de l’Université Brown, suggérant que l’IA pourrait bientôt aider à résoudre des problèmes de recherche non résolus en mathématiques reuters.com reuters.com. L’équipe d’OpenAI a révélé que leur modèle expérimental a augmenté la « puissance de calcul au moment du test », permettant à l’IA de « réfléchir » plus longtemps et en parallèle – un effort coûteux que l’entreprise a qualifié de « très onéreux » reuters.com. Google DeepMind, qui a travaillé directement avec les organisateurs de l’IMO, a utilisé un modèle généraliste Gemini Deep Think pour résoudre les problèmes dans la limite officielle de 4,5 heures entièrement en langage naturel reuters.com. Les experts des deux entreprises considèrent cela comme une percée laissant penser que la capacité de raisonnement de l’IA pourrait bientôt s’étendre aux frontières de la physique et d’autres sciences reuters.com.