Ако изкуственият интелект сам решава сложни задачи, какво ще правят математиците