In the spirit of understanding the "opposition"

Mathematicians are total gatekeepers, but it's helpful to understand their motives. They are not (all) just petty luddites. TLDR: the economics of academic research is insane, and mathematicians are freaking out because the bottom is falling out of the math market. This is NOT an Anti argument. Do with this information what you will. Nobody pays mathematicians for their proofs. At least not directly. Math journals literally pay $0 for the right to publish a math paper. Problems with prizes are rare and hard and almost no one works on them. Hence the bounty put on their solutions. Mathematicians get paid for proofs in reputation points. These points come in the form of the credit they get for being the first to solve a hard problem. Harder problems are worth more points. (This is obviously an oversimplification but go with me.) So a journal article is really just an ad promoting the author's reputation for solving hard problems. Points are spent to get grants. The grant money goes to the university where they teach, to buy time away from teaching. They use that time to (try to) write proofs. Rinse and repeat. Yes, "math is beautiful," "solving problems advances human wisdom," yadaya