Engaging with AI for serious maths research – Norman Wildberger | Dark Hacker News