Right now the AI labs are the ones prompting and solving open problems because they are testing unreleased models. As soon as mathematicians get access to these models a lot of this discourse about the behavior of Labs will go away. Mathematicians will be the ones releasing incomprehensible lean proofs and GitHub dumps and it will be on them to follow whatever etiquette the research community decides is best.