2 ms·

Proof writing definitely requires lots of creativity and design choices in much the same way programming does. It's very challenging to automate.