Is AI better at maths than humans?