Googles nya AI-system har nått matematisk milstolpe