The investment was separate from the $100 billion funding round that OpenAI is finalizing, according to a source.