I am not familiar with the field, but any chance that the deepseek is just memorizing the existing solution? Or different.

https://news.ycombinator.com/item?id=46664976

▲

utopiah 16 hours ago | parent [-]

Sure but if so wouldn't ChatGPT 5.2 Pro also "just memorizing the existing solution?"?

▲

nsoonhui 16 hours ago | parent [-]

No it's not, you can refer to my link and subsequent discussion.

▲

utopiah 16 hours ago | parent [-]

I don't see what's related there but anyway unless you have access to information from within OpenAI I don't see how you can claim what was or wasn't in the training data of ChatGPT 5.2 Pro.

On the contrary for DeepSeek you could but not for a non open model.

	▲	nsoonhui 16 hours ago \| parent [-]
		I am basing on Terrence Tao comment here: https://news.ycombinator.com/item?id=46665168 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.