A new benchmark pitting AI against previously unseen maths problems shows that systems still fall short of top human expertise. Artificial intelligence has undergone its most scrupulous maths test yet ...