Why do you think mathematicians should engage with OpenAI at all after what happened / is still happening?
Why do “we” mathematicians need to give them input?
Feels like talking with the schoolyard bully about “our problems and how to resolve them”.
I think we also have the option to ignore them. Let them dump their 100 theoremoids on the Arxiv or their homepage and then we’ll see.
This is how science works. Anybody can post anything and then peer review and so on…