中信证券研报表示，北京时间7月10日，XAI发布新一代基座大模型Grok 4，包括Grok 4和Grok 4 Heavy两个版本。Grok 4在专业学科和复杂任务上的推理能力突出，展现未来模型在长流程专业工作上的应用潜力，支持Agent落地高价值场景，结合后续多模态能力有望突破打开全新应用场景，行业落地对应带动AI Infra和算力需求，建议关注相关领域重点公司的投资机会，综合梳理以下投资主线：1 ...

【本报讯】本田汽车（Honda Prospect Motor / HPM) 公司在2025年6月环比（QoQ）增长，其中HR-V和BR-V车型是最畅销的车型。 日前，HPM销售、市场和售后总监Yusak ...

根据美国军方发布的讲话稿，科勒尔将军特别赞扬了东道主菲律宾在南中国海顶住中国的胁迫。他说：“虽然中国施加沉重压力，让菲律宾在主权和海洋权利问题上退让，但是菲律宾决定挺身而出，拒绝屈服。” ...

原因就在于，HLE的考题极难，比如下面这些题，分别是一道关于范畴论中自然变换的数学题、一道关于电环化反映的有机化学题，以及一道从希伯来语原文中区分闭音节和开音节的语言学题。

日前，斯巴鲁官方正式宣布，其全新纯电动 SUV——Uncharted，将于美国东部时间 7 月 17 日 19:30（北京时间 7 月 18 日 ...

得益于计算能力的增强、强化学习的训练，Grok 4 的推理能力相较于前代提升了 10 倍，因此也被称为“最强AI模型”。马斯克称，Grok 4 最强大的地方是其推理能力，它已经实现了超越人类的推理水平，不过，Grok ...

当然了，这事儿斯巴鲁也不是第一次干了，之前的SOLTERRA，不就是换了标的丰田bZ4X嘛。看来这哥俩是打算在“套娃”的路上一路狂奔了。 动力方面，外媒传的是双电机，综合功率有338马力，配个74.7千瓦时的电池组，续航大概在467公里左右。

马斯克旗下xAI公司于7月9日正式发布新一代人工智能模型Grok 4，宣称其为“全球最强AI”，并在多项基准测试中以显著优势超越OpenAI o3、谷歌Gemini 2.5 Pro等竞品，标志着AI技术进入全新竞争阶段。

由埃隆·马斯克（Elon Musk）创立的人工智能公司xAI，正式推出了其最新旗舰模型——Grok 4和Grok 4 Heavy。与此同时，公司还推出了迄今为止最高端的订阅服务——SuperGrok ...

7月10日，马斯克旗下人工智能公司xAI正式发布其最新一代大语言模型Grok 4，并同步推出多智能体协作版本Grok 4 Heavy。Grok 4定位为“全球最强大的人工智能模型”。马斯克宣称，Grok ...

接连数月，模型一个接一个轮番登场，一个比一个自称炸裂。就拿昨天的 Grok 4 来说，马斯克放话「这是地球上最聪明的 AI」，还没上线，就已经把话题度拉满了。

就在今天，马斯克旗下的xAI公司终于揭开了新一代大模型Grok 4的神秘面纱。这次发布的Grok 4系列包含两个版本：标准版Grok 4和进阶版Grok 4 Heavy。xAI官方宣称，Grok 4是目前“最新、最强大的旗舰模型”，甚至直接称其为“全球最强AI模型”。这一消息无疑在全球科技界引起了轰动。