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.
Publishing a math paper and then unpublishing it is not "irresponsible". It's just a math paper.
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?).
https://agmai.org/statement-oct6/
https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-o...
You can appeal to authority all you want, but you should actually read the opinion of the authority you're appealing to.
> If AI labs produce significant mathematical results, they should responsibly release the results, as outlined in this document, as soon as possible.
And
> only the mathematical community can undertake the assessment that is needed. Making this work public is a first step. This release is the beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledge.
This is precisely what I was saying.
What you suggested is however commensurate with some sort of personal animus.