▌算力：马斯克Grok 4发布即领跑，应用与升级并进
　　7月10日，马斯克旗下的人工智能公司xAI正式发布了Grok 4。此次发布会上，其核心看点集中在一系列基准测试（Benchmark）成绩上。其中最引人注目的，当属“人类最终测试”（Humanity's Last Exam, HLE）的成绩。Grok 4的表现如下：基础能力方面，不借助外部工具时，其文本模型（Text-Only）取得26.9%的成绩；而在允许使用工具（如代码解释器）的情况下，成绩显著提升至41.0%。此外，在“重思考”模式下，Grok 4 Heavy成绩尤为突出，得分达到58.3%。从行业基准来看，此前Claude 4 Opus、Gemini 2.5 Pro及OpenAI的o3等模型在HLE测试中的得分普遍处于15%-25%区间，而Grok 4的这一表现，几乎将当前最佳水平（SOTA）的纪录提升了一倍多。
　　Grok 4的性能跃升并非偶然，其成功可归结为三大支柱：庞大的算力投入、最大化求真哲学，以及全新协作机制。
　　发布会后，xAI公布“SuperGrok”订阅计划及API定价：免费版（Basic）提供Grok 3体验；SuperGrok（300美元/年）支持Grok 4标准版，含128k上下文窗口及带视觉的语音模式；SuperGrok Heavy（3000美元/年）独家开放Grok 4 Heavy并可抢先试用新功能。
　　Grok 4当前在多模态能力（尤其图像理解）上存在短板，xAI正推进Foundation Model V7训练，预计几周内完成，届时将具备人类级视听能力。马斯克团队计划：今年推出AI生成的半小时电视节目，明年推出AI游戏及完整电影。其终极目标是成为科学发现与技术发明引擎。
　　▌AI应用：Kimi周平均停留时长环比+39.73%，高德地图推出小高智能体
　　7月7号，高德地图推出的小高智能体开启内测，将空间智能这一概念融入国民级APP。空间智能，即AI围绕时间和空间进行预测和推理的能力，可以应用于世界模型、落地在XR设备、改写自动驾驶和具身智能机器人的基础技术。此次更新带来的小高智能体能根据你所处的时空，实时应对各种复杂的出行/生活服务需求。
　　空间智能是打通数字与物理世界的必经之路。它要求AI不仅理解语言，更要感知时空。基于这样的逻辑，过去行业关注的焦点更多是在自动驾驶、具身智能以及VR/AR眼镜等企业。这不可否认，因为这些都是技术本身直接诱发的前沿产物，寄托了人们对于科技的想象。但是要谈落地、谈应用，高德可能是最快展现空间智能价值的玩家之一了。
　　此次升级预示着，空间智能不再悬浮于概念，而是成为普通人触手可及的日常。
　　▌AI融资动向：法国AI公司Mistral AI正洽谈10亿美元融资，推进AI云服务建设
　　7月9日，法国AI独角兽正在与投资方就高达10亿美元的股权融资进行谈判，其中包括阿布扎比的MGX基金（一个1000亿美元规模的政府支持AI基金）。据Bloomberg报道，Mistral还在与法国公共投资银行(Bpifrance SACA)等机构商谈数亿欧元的债务融资，这笔债务融资将用于支持在法国建设新的AI云服务平台Mistral Compute。
　　作为欧洲AI领域最重要的公司之一，Mistral专注于开放权重大语言模型(LLM)的研发，并推出了Le Chat聊天机器人。该公司迄今已完成11.9亿美元融资，最新估值达65.1亿美元。其最近一轮融资是在2024年6月完成的B轮。
　　这轮融资若成功达成，将进一步深化Mistral与MGX的合作关系。Mistral目前正与MGX和Nvidia合作，共同建设欧洲最大的AI数据中心园区。Mistral和Nvidia在上月表示，该数据中心是建设下一代云服务计划的重要组成部分，这也是法国推进AI主权的关键举措。
　　与此同时，阿联酋已承诺在法国投资500亿欧元用于AI项目，这也是法国总统马克龙推动AI主权战略的重要组成部分。在最近的Viva Tech 2025会议上，法国总统马克龙表示这一合作将成为法国科技独立的"游戏规则改变者"。Mistral CEOArthur Mensch也在会上透露，AI云服务将帮助公司扩展业务模式，从单纯开发大语言模型向垂直整合的AI云服务提供商转型。
　　Mistral近期发展势头强劲。公司相继发布了新一代Magistral推理模型、AI编程助手Mistral Code以及面向开发者的Agents API。据报道，Mistral去年营收超过3000万美元，目前估值已达60亿美元。
　　▌投资建议
　　Grok4屠榜验证Scaling law有效。Grok 4 Heavy在HLE考试中斩获44.4%的高分，远超此前排名第一的Gemini 2.5 Pro（26.9%），马斯克表示Grok 4在所有主要学科上的表现都已超越博士水平，虽然它目前尚不具备发明新理论或提出原创技术的能力，但这只是时间问题，他预言Grok有望在今年年底具备发明新技术的能力，到明年则几乎能够拥有发现新物理规律的实力。Grok4的训练基于xAI自建的超级计算机群，搭载超过20万张NVIDIAH100 GPU，训练计算量是前代Grok3的两倍、Grok2的100倍，验证了预训练、后训练和推理的Scaling La