I have created a slide deck to summarize the progress of AI in mathematics in the last 12 months.