But yeah, this is a good step.
Homework is also becoming obsolete at this point. If they can't do it with pen and paper in class, there's no reliable way to evaluate work anymore.
That felt like a very natural solution to me. Of course, worst case scenario, they just blindly generate and memorize the proofs without thinking. But I think the follow ups will catch them in that case. Moreover, I choose to believe that >90% of my students are willing to at least put in the work of scrutinizing those proofs which is honestly not bad exercise in its own right.
I would love to do oral exams directly, the logistics with the number of students I have just make that hard. I know we're trialing it with the less populated special topics courses.
But worthless for assessments and assigning grades.