SpaceXAI launches Grok 4.5: a coding/science AI with cheaper token pricing, 2x efficiency, benchmark results and U.S.