Accelerating discovery with the AI for Math Initiative