> Which other AI company can say their models powered a rocket launch?

Honestly, probably all of them. I imagine those coders are using all the tools they have available and are using Claude and ChatGPT as well as internal tools.