Can AI find the greatest common divisor of two integers?