Окей-окей, ИИ решает математические задачи, а способен ли он к обратному процессу - придумыванию/постановке новых математических задач?