I think that person is the owner of the website discussing it too. He was cited https://the-decoder.com/leading-openai-researcher-announced-a-gpt-5-math-breakt

I think that person is the owner of the website discussing it too. He was cited https://the-decoder.com/leading-openai-researcher-announced-a-gpt-5-math-breakthrough-that-never-happened/ https://the-decoder.com/leading-openai-researcher-announced-... Where a while back OpenAI made a misleading claim about solving some of these problems.