Une première pour une IA : Google remporte une médaille d'or de mathématiques