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

Open in new window