Mathematicians want proof OpenAI didn’t use their work · Bharat Hunt