The ChatGPT maker is pushing ahead with a public offering after a judge dismissed Musk’s case against it