Google a réussi à placer ses IA AlphaGeometry 2 et AlphaProof à deux doigts de la médaille d'or des Olympiades Internationales de Mathématiques. Les deux programmes ont reçu une médaille d'argent et AlphaGeometry 2 a bluffé par l'élégance et la rapidité de sa solution.