当地时间周四，美国电动汽车制造商特斯拉的首席执行官埃隆·马斯克在X平台发帖称，Grok AI“最迟”将于下周在特斯拉汽车上推出。 这将标志着，特斯拉在车辆智能化方面迈出重要一步。 马斯克旗下人工智能初创公司xAI周三宣布推出了最新的旗舰人工智能（AI）模型Grok 4，称这是“世界上最强大的AI模型”。 尽管马斯克曾表示特斯拉汽车将搭载Grok，但他此前从未透露过时间表。 特斯拉尚未确认该聊天机器 ...

值得一提的是，马斯克在直播中提及，「Grok 4 Heavy」才是当前最强版本，在推理、编码乃至物理学原理的理解上都胜过通用版模型。但 Heavy 版本目前仍处于内测阶段，且暂未向公众开放。

VIENTIANE, July 12 (Xinhua) -- The weather bureau of Laos has warned the public, especially those living near riverbanks, to remain vigilant as heavy rain, occasional strong winds, and rising water ...

此次发布了两款模型（纯推理模型），Grok 4（单智能体版本）和Grok 4 ...

This flourishing orchard in Yuquan Town, Kunyu City in northwest China's Xinjiang Uygur Autonomous Region, has experienced a green transformation from barren sand. It echoes the success of the ...

智通财经APP获悉，中信证券发布研报称，Grok 4在专业学科和复杂任务上的推理能力突出，展现未来模型在长流程专业工作上的应用潜力，支持Agent落地高价值场景，结合后续多模态能力有望突破打开全新应用场景，行业落地对应带动AI ...

智通财经APP获悉，总部位于美国得克萨斯州，今年早些时候成功将机器人航天器送上月球的知名初创公司Firefly Aerospace于周五已向美国证券交易委员会 (SEC)递交首次公开募股 (IPO)申请。

《中时新闻网》前身为《中时电子报》，于1995年创立，是全台第一家且歷史最悠久的网路媒体，开启新闻数位时代。近来以最具影响力的政治新闻引领先驱外，首创娱乐、生活、社会专题式新闻报导，带起同业间仿效风潮；精辟的言论、财经、国际、两岸、军事、体育、网推频 ...

中信证券研报表示，北京时间7月10日，XAI发布新一代基座大模型Grok 4，包括Grok 4和Grok 4 Heavy两个版本。Grok 4在专业学科和复杂任务上的推理能力突出，展现未来模型在长流程专业工作上的应用潜力，支持Agent落地高价值场景 ...

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

通过发布会，看到 Grok 4 的每一项数据和演示似乎都印证了马斯克的话—— 它是目前全球最聪明的 AI 。从学术考试到复杂推理，从工具调用到实际应用，它在各个维度都实现了对现有水平的突破。