This appears to be a very bad faith post that intentionally misrepresents what is being said.
1. pertains to the quantity of output adding stress to review processes; LLMs can feasibly produce a million plausible but incorrect 'proofs' in the time that a human can produce one. We already see this effect in software development, with bug bounty programs shutting down and open-source software rejecting AI contributions or closing altogether because LLMs flood review channels with an amount of spam for which there is no sufficient amount of human bandwidth to handle.
2. is nothing about "following established traditions" but rather the general concept of crediting people for their prior work, unless you think that "not plagiarising" is a trifling established tradition.
3. is more or less accurate to the point they made, but "it has historically been this way" isn't a compelling justification for "it should always be this way and also it's okay if it gets worse"
4. An existing issue being made 100x more common is a point worth bringing attention to even if it already existed, actually
5. said nothing that could possibly be interpreted in the vein of "muddying the field with lots of unknowns" at all. Point 5 was actually about economic incentives and the risk of mathematic research becoming beholden to tech monopolies
I'm not sure it's constructive to explain our differences, point by point. eg
> 2. is nothing about "following established traditions"
> undermine the traditional system of attribution
Literally does.
Suffice to say, I find your interpretations to be surprising and disconnected and it has not changed my views.
>2. is nothing about "following established traditions" but rather the general concept of crediting people for their prior work, unless you think that "not plagiarising" is a trifling established tradition.
But that is the nature of establishment, when something is a sufficiently firmly established tradition, people see it as a truism.
Crediting people is a social convention. Plagiarism is a social construct. It can be useful, in many areas of science, to reference to support your arguments. This is less important in proofs, because a proof is a proof, but references aid in understanding.
These are all reasons to reference and attribute that benefit the writer, and could be done voluntarily. The notion of a duty to reference or attribute has no impact on the validity of the claims being made. It is a collective decision to proportion prestige.
Turning the duty to do so into an unquestioned truism means it has to be done regardless of whether it accurately represents any property of merit.
There are many instances where prestige delivered grossly mismatches what an impartial observer would consider a fair balance of effort and ability.
We should at least recognise that this is so because we have chosen to let it be this way.