Mathematical exploration and discovery at scale | AI Breakdown | Podwise