Mathematicians want proof OpenAI didn’t use their work

Another researcher is challenging OpenAI about the data driving its increasingly impressive array of mathematical discoveries.