Tech blitz: AI for math Mikyung Shin Jun 13, 2024 Cite Part 1 Part 2 Part 3 Mathematics Artificial intelligence GPT 4 Open AI assistant