Comment by WhyOhWhyQ

Gowers wrote about AI in the late 90's. He predicted a short golden age where mathematicians would still be useful to the AI. We are in that golden age now, apparently. The AI will soon eclipse all humans in mathematics and the art form of mathematics will cease in its present form.