Mathematical Exploration and Discovery at Scale | Dark Hacker News