Quand l’IA décroche l’or en mathématiques: un tournant pour le raisonnement automatisé
- DeepMind (35/42) et OpenAI (34/42) au niveau médaille d’or à l’IMO 2025
- Deux approches : hybride symbolique vs LLM guidé
- Vers des IA capables d’assister la recherche scientifique avancée