At the lower undergrad level, there was already no point in grading homework a decade ago because Wolfram Alpha existed.

At the graduate level maybe this problem is solved by doing Moore-style classes where the students present (on the chalkboard, not slides) and the professor critiques. Students could still have AI generate proofs and print them out or hand copy them, but maybe that's fine.

Upper undergrad level is tricky, because students are expected to prove things, but maybe don't have the maturity for full-on Moore-style.