The whole "OpenAI uses mathematicians' prompts to claim their models solved maths problems" seems to be a pattern...

(Article title: Mathematicians want proof OpenAI didn’t use their work)

https://www.theverge.com/ai-artificial-intelligence/993263/where-does-openai-get-mathematics-training-data