This type of sentiment is almost always motivated by fear over the potential negative personal economic impact from AI (e.g. losing employment).

Publishing a math paper and then unpublishing it is not "irresponsible". It's just a math paper.

Irresponsible is an adjective that means lacking a proper sense of responsibility, or acting without thinking about or caring about the potential consequences of one's actions.

They do not care if they waste everyone’s time or flood the common with slop. They did not spend their own time to verify that the Lean proofs correspond to the natural language proofs. They did not even spend their own time to verify that all of these proofs are well written.

They instead are mining the unrenewable resource of open math problems.

However, seeing it another way is easy if you are financially motivated by their upcoming IPO (see how easy it is to invent motivations for comments?).

It is irresponsible when nobody checked it for correctness first. They just copy pasted what the slop machine spit out.