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? Have you ever received an email and had a sneaking suspicion it was written by AI, rather than lovingly handcrafted? Mathematicians have been wrestling with similar feelings for half a century, and have some lessons for the rest of us. It all began in 1976, when Kenneth Appel and Wolfgang Haken announced a proof of the four colour theorem, which states it takes a maximum of four shades to colour any map so that no two adjacent regions match. The theorem's simplicity meant mathematicians were expecting an elegant proof revealing a greater mathematical truth. Instead, they got 60,000 lines of impenetrable computer code.