> But for math: what is the point of a proof if no one will read it and no one uses its result?

What is the point of writing software if nobody will run it?

> So mathematicians should feel free to use AI as much as you want, but in the end, they should've gained some understanding on what happened.

So they ask the AI to explain the proof.