Comment Google a fait d'AlphaGeometry un champion des mathématiques