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

在性能表现上，Grok 4几乎刷新了所有主流基准测试的记录。在被誉为“人类最后考试”的HLE（Humanity's Last Exam）基准测试中，Grok 4在纯自主推理的情况下，准确率达到了38.6%； ...

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

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

当然，要用上“全能博士”级别的AI，也得付出相应的代价：xAI同比推出了公司迄今为止最贵的订阅计划——每月300美元的SuperGrok ...

埃隆·马斯克携xAI团队在北京时间7月10日中午，推迟了一个小时后，终于揭开了Grok 4全球发布会的序幕。尽管发布会略显仓促，但Grok 4系列模型公布的多项评测成绩依旧震撼了整个行业。马斯克在发布会上坦言：“我们快没有合适的问题来考验AI了。” ...

KUNMING, July 10 (Xinhua) -- Two of the five people who went missing amid torrential rain that hit Zhaotong, a mountainous city in southwest China's Yunnan Province, have been confirmed dead as of ...