The success of machine mathematicians shows us how to be OK with AI

Many people who try using AI are disappointed with the results and feel they can’t trust a machine – but are there lessons we can learn from how AI is taking on mathematics?