AI早报 | 马斯克旗下SpaceXAI发布Grok 4.7模型；OpenAI宣布数学与AI顾问组成立，将独立运作