``proof assistant''

Gödel didn't need a proof assistant, why do you? You'll never succeed in making maths entirely computable, automatable, never.

>>6
Computers can verify a proof a lot faster than a human, just like they can sum huge numbers a lot faster...

Computers are only good for arithmetic

They are good for any kind of computation, and the realm of computationally possible things is pretty big.