OpenAI is said to have done so by a guy who leaked some very specific information that turned out to be accurate.