I am basing on Terrence Tao comment here: https://news.ycombinator.com/item?id=46665168 https://news.ycombinator.com/item?id=46665168 It says that the OpenAI p

I am basing on Terrence Tao comment here: https://news.ycombinator.com/item?id=46665168 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.