用离散数学知识对AI最难替代的职业进行数学建模，推导证明出最难被AI替代的职业是什么