It is therefore disturbing to see the recent trend of proofs being abandoned at an intermediate stage of their developmental process, for instance by an individual or company using AI tools to first generate and then verify a proof, but then showing no inclination to contribute any further to its future development and maturation

wow i can't imagine people just generating stuff with AI and then letting it rot. god forbid!