Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says. “Will there be a superhuman AI mathematician?” asked theoretical ...