Mathematical exploration and discovery at scale