Sure but if so wouldn't ChatGPT 5.2 Pro also "just memorizing the existing solution?"?
On the contrary for DeepSeek you could but not for a non open model.
It says that the OpenAI proof is a different one from the published one in the literature.
Whereas whether the Deepseek proof is the same as the published one, I dont know enough of the math to judge.
That was what I meant.