That AI was part of solving a pure mathematical problem 80 years after it was posed does not mean it is superintelligent. I was astonished to see in a...