Crazy take. Whatever justification existed before exists now. Why is generation of proofs justified but not understanding? What's the point of a proof if no one understands?

And anyway a mathematician's lifetime salary is basically nothing. I think total worldwide mathematics budget is less than a tenth of a percent of GDP. Meanwhile, openai cumulative loss stands at tens of billions?