Re:Erdos 281 solved with ChatGPT 5.2 Pro
by nsoonhui on Sunday January 18, 2026 @01:33AM
(#46665333)
No it's not, you can refer to my link and subsequent discussion.
[ Parent
| on HN ]
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.
Re:Erdos 281 solved with ChatGPT 5.2 Pro
by nsoonhui on Sunday January 18, 2026 @01:55AM
(#46665423)
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.