"we ask them to stop testing advanced mathematical problems on proprietary models" That won't happen. As a former academic mathematician I can understand where this set of recommendations is coming from: it's basically trying to have this new entity "AI labs" fit into the structure of academia. But what will happen is academia will be made to fit into the AI age. One of the things missing from this text is "AI labs" are just a small part of the incoming wave. Already most of the AI generated results are coming from amateurs or former mathematicians who enjoy thinking about particular problems or just like testing LLMs on math. More useful would be a set of recommendations for human mathematicians in the age of AI.