If the main job is teaching, then AI being good at proving theorems should not make OP worry about his job. Only AI being good at teaching would threaten that.