OpenAI might have stolen another major proof