Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

There is little debate that AI will revolutionize working practices, but there is less agreement about the best way to exploit this transformation. While 90% of CIOs are piloting AI or investing in ...