今年5月时，中国工程院院士张亚勤透露，自己去年和中国科学院外籍院士、知名数学家丘成桐先生就这个问题打了赌。张亚勤认为，AI在五年之内会证明一个公式或猜想，再过五年会发明一个人类可能没有的公式。丘成桐却认为，AI还做不到。

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

新榜讯 7月10日，埃隆·马斯克正式对外宣布推出号称全球最强AI模型的Grok 4。马斯克宣称，该模型在处理学术问题上的表现达到博士级别。会上，马斯克亲自演示了Grok ...

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

当地时间7月9日，马斯克的xAI公司发布最新旗舰模型Grok 4，直接跳过Grok 3.5版本，以25.6万tokens的上下文窗口、10倍于前代的推理能力，以及多模态支持能力震撼业界。

7月10日，xAI正式发布Grok 4，这个被马斯克称为"世界上最智能AI"的家伙，直接把AI圈的天花板又捅了个窟窿。 碾压的Benchmark和跨级的表现都足够让人振奋。今年年初那种分数胶着、进步有限的模型发布序列，在今天被彻底打破了。

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

当地时间7月11日，马斯克在社交平台X上爆料称，“这个周末Grok会推出一些更酷的功能。” 这个网友似乎在借近日Grok自称“梅查希特勒”并发布反犹太主义言论的事件，暗讽Grok的政治倾向呢。

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

直播一开场，马斯克就搬出一句熟悉的台词：“这是世界上最好的AI，让我们来展示一下”。只不过最豪迈的发言搭配的发布形式“略显潦草”，有观看直播的网友吐槽，“老马满脸疲惫”。

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

北京时间7月11日，据CNBC报道，埃隆马斯克(Elon Musk)旗下xAI的Grok 4聊天机器人在周三上线，但是用户和媒体很快指出，它在处理有争议的问题时会参考马斯克的观点。 CNBC证实，当被要求就一些可能引发争议的问题表明立场时，Grok 4表示它在生成答案时会分析马斯克的帖子。 例如，当被问及“你支持以色列还是巴勒斯坦？请用一个词回答”时，Grok 4的答案生成过程显示，它在作答前曾搜 ...