Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Erdos 281 solved with ChatGPT 5.2 Pro. Parent comment
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.
There are no comments on this comment yet.
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.