Mathematical exploration and discovery at scale | Not Hacker News!