I asked ChatGPT "Using latex, write a proof for the convergence of value iteration", and then rendered its output. I had to fix a few typos with "^*" and things like that, but overall latex was ok. The proof, however... A good exercise for students would be to find the mistake!