La IA de Google resuelve problemas de la Olimpiada Internacional de Matemáticas: ‘Un avance al razonamiento’