``proof assistant''

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

>>25

Computers are better at math than people are.

arithmetics != math.