This page has moved to https://blog.oberbrunner.com/blog/ai-future-of-mathematics.