We are still going to be interested in teaching people to think. We are still going to be intrinsically interested in mathematics. Many (most?) of us here have gotten immense pleasure and growth out of solving a problem, or understanding something well enough to explain. Even though the answer was known or someone else could explain it better. AI doesn't change that, really. So we have to find new ways to assess students. It doesn't mean anything fundamental about education. I don't even think it's such a fundamental challenge to math. Most of these things we are trying to prove are, to an engineer, either irrelevant or known empirically already. People want and need to try to understand. They will continue to.