The Future of AI Maths May Be Deeply Weird