4 ms·AI and Math State of the Art2 points by dawdler-purge 4mo agodawdler-purge 4mo agoI have created a slide deck to summarize the progress of AI in mathematics in the last 12 months.