I find somewhat funny and interesting the different posts on how the mathematics community should handle AI. I understand this is entirely new, but I do get a feeling that most of these posts "try to control" something that basically cannot be. How the world will use AI for mathematics is not something any small community of mathematicians can decide. It is a bit like trying to define how language should be used, when in practice, it will evolve whether the group want it to or not. For AI in mathematics, the new equilibrium will be build by a "market" of users, each preferring certain bits of using or not using AI. The attempt to formalize and orient this, like a centralized economy, is I believe doomed to failure. That does not mean people should probably share how they see it for themselves.