I find it highly ironic that many people here seem to believe mathematicians should just accept LLM proofs, but software projects shouldn't accept LLM code.

I really don’t think those are the same people. Goomba fallacy, etc.