Auch OpenAI macht Börsengang offiziell