Human Mathematics is what lives in the head of all of humanity, not a serialized proof of a theorem or conjecture. Yes the other kinds maybe useful, may even pay the bills, but as long as humans enjoy mathematics the human side will survive.

People still go on runs although that's not what wins wars today.