Mathematicians want proof OpenAI didn’t use their work  | AI Sec Watch