Or Investors have just bought OpenAI for $8.3bn.