Given that Tristan has said that the proofs that LLMs come up with are mostly "slop" and not up to the standard that human written papers achieve, maybe OpenAI needs an expert like him more than you think to get the result published?
Now maybe LLMs can also simplify arguments and make sense of them for humans, but we haven’t seen that yet (unaided).
(I haven’t looked at it, personally.)
They don't need any help publishing.