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