Working in financial markets, I always thought that the stocks of products in a supermarket should have a dynamic price, with traders buying and selling it until the customer actually buys it. This would solve the "maturity" problem of foods in supermarket. But I guess the marketing department would not be happy with fluctuating prices from the moment you pick up on the shelf and you buy it at the counter :-).
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.