Accelerating discovery with the AI for Math Initiative — Blankdot