one problem is that frontier AI companies are not going to recognize the authority of an association of mathematicians. perhaps they should, perhaps not, but this statement is not calculated to persuade a businessman who thinks his corporation can do what it likes with its own resources.
https://scottaaronson.blog/?p=10169 Scott Aaronson takes the "mathocalypse" seriously. he quotes his wife saying the AI-generated math results are unclear and incoherently written, but never seriously doubts that they're legitimate results.
https://fal.ai/ hosts generative image, video, and audio models