The Future of AI Maths May Be Deeply Weird | Dark Hacker News