The entire controversy was that researchers were about to release their proof which OpenAI claimed to simultaneosululy discover. The proof is the researchers in question.