The Download: AI's role in math, and calculating its energy footprint