The 4-year-old startup just propelled SpaceX in the AI coding race.