>The smart student uses the LLM as a proctor or provide challenges and feedback on attempts rather than an easy button.

Yeah, this is how we used wolframalpha for Math as students. Whatever we had to do, we did it ourself as a group of three. Afterwards we checked with Wolframaplha to see if we were correct. If there were any difference between us, we went line by line to find where the error appeared.

It was helpful, because we did it ourself, but because the work was graded, we had the security, that it is not a total failure.