L'IA peut-elle résoudre des problèmes inédits d'olympiades internationales de mathématiques dans certaines catégories ?
DeepMind's AlphaProof + AlphaGeometry 2 a atteint un niveau de médaille d'argent à l'IMO 2024 et s'est approché de l'or d'ici 2025 en géométrie et en théorie de...