Tech blitz: AI for math