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

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

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

7月12日， 中信证券 ( 27.790, 0.13, 0.47%) 最新研报指出，Grok-4在算力消耗层面的指数级增长，多项测评指标层面实现SOTA，以及年内清晰的产品路线图（编程、多模态、视频生成）等，对当前全球AI产业影响明显，包括算力基建和应用落地等层面，相应体现在：科技巨头在前沿模型领域的“军备竞赛”、推理&scaling ...

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

7月9日消息，英伟达股价达到一个里程碑，今日，这家人工智能计算AI公司股价再度刷新记录新高，日内上涨2.5%，报163.9美元/股，总市值达4万亿美元，这超过了英、法、德等国家的股票总市值。英伟达股价较4月低点已上涨89%。英伟达股价受益于市场对其在 ...

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

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

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

2025年7月9日，埃隆·马斯克的xAI公司在上海推出了其最新旗舰模型Grok 4，标志着人工智能技术的重要进展。在发布会上，华人科学家吴宇怀和Jimmy Ba作为核心创始成员亮相，展示了他们在AI领域的卓越成就。吴宇怀是xAI团队中最年轻的核心成员，曾在多伦多大学攻读机器学习博士，师从深度学习之父杰弗里·辛顿，而Jimmy ...

陈白/文 硅谷如今最抢手的是什么？答案可能超出所有人的想象——不是AI项目，也不是芯片算力，而是华人软件工程师。 比如就在7月10日，在埃隆·马斯克旗下AI公司Grok ...

Grok-4将应用于特斯拉车辆，最迟将在下周实现。此外，Grok-4还将在生物医药、金融等跨领域带来突破，重塑商业AI范式。