Mathematical Exploration and Discovery at Scale