There might be a “proof motive” in math which one could argue will drive the full automation of theorem proving. But we must recognize that profit is more universally valuable (i.e. it has value outside the industry in which it was created), whereas proofs are only valuable inside the math community (at least the pure math proofs the labs have been publishing thus far).
Do rich people like opera? Yes. Is that a profit motive? No... but it's a shibboleth for wanting to be rich. Do you get it?
It's ridiculous to say, no profit motive in mathematics. It's like saying, no profit motive in LISP. But cmon, you think the Collison brother who took Math 55 and liked LISP: I know that in a pedantic sense what you mean. But in terms of academic departments where people say they are no interested in money and it turns out they want to become billionaires... Math Department ranks pretty highly. Always has.