与 @xAI 团队整晚在 @Grok 上努力。进展不错。 将被称为 Grok 4。将在 7 月 4 日之后发布。需要再进行一次大型运行，以便为一个专业的编码模型。