AI is now appearing to take steps towards solving some math problems that have eluded the best human minds for decades. The ...