Formally verifying OpenAI ten proofs