Reminds me of a quote from Tsoding

> “Programming is understanding. If you don't understand what you are doing, you are not programming. You are generating text.”

Perhaps a proof without understanding is just generating numbers.

programming is also solving problems

in medicine they use all kinds of drugs which they don't really understand how they work. anesthetics is a great example