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