一旦实现，意味着特斯拉在智能化上迈出极其重要的一步。因为这不仅是马斯克首次为“Grok 上车”这个饼给出了准确的时间表，而且要上车的 Grok，还是马斯克口中的“地表最强 AI”： ...

马斯克又一次把汽车行业搅得天翻地覆，这次既非降价风暴收割用户，也不是发布新车蓝图吊人胃口，而是要把一个“行走的博士级大脑”塞进你的特斯拉。 就在xAI刚刚推出号称“全科碾压博士”的Grok ...

中信证券 研报称，英伟达将恢复H20销售，叠加下一代系统级算力快速发展为国内AI产业链发展注入更多信心。Kimi K2、Grok 4等模型进展不断，ChatGPT Agent引领应用创新，下一代模型应用进展可期。政策端支持有望加大，促进AI产业链持续繁荣。多重力量共振下，AI产业链有望持续加速，迎来新一轮投资机遇。

重点产业新闻：（1）Grok 4正式发布，对垒GPT-5和Claude 4 Opus；（2）英伟达将重启H20芯片对华供货；（3）上海数交所首提RDA；（4）谷歌未来两年将在美投资250亿美元，建设数据中心和AI基础设施；（5）OpenAI发布ChatGPTAgent：能主动思考、自选工具。

-你可以使用通用的定理和引理，但前提是它们必须是众所周知的。一个简单的判断标准是：如果该结果有名称，并且足够有名以至于有维基百科页面或类似的内容对其进行描述，则允许使用。任何来自论文的结果，如果它不会在高中或本科低年级数学课程中教授，则不应使用。任何 ...

财联社7月16日讯（编辑 史正丞）作为一个令业界感到震惊的转变，世界首富埃隆·马斯克的AI聊天机器人Grok短短几天内从口无遮拦惹出大祸的麻烦精，变成具有可爱形象且能实时互动的二次元女孩。

世界首富埃隆·马斯克的AI聊天机器人Grok在短短几天内从一个口无遮拦的问题角色变成了具有可爱形象且能实时互动的二次元女孩。这一转变与马斯克本人对二次元文化的热爱密切相关。 本周，Grok推出了基于Grok ...

快科技7月16日消息，本周，马斯克的AI大模型Grok平台正式上线基于Grok 4大模型的“伴侣”功能。 据悉，首批上线的两名角色是哥特风女孩形象Ani，以及卡通风格小熊猫“坏鲁迪”（Bad Rudy）。

7月10日，马斯克旗下的人工智能公司xAI正式发布了Grok 4。在将近1小时的发布会直播中，xAI发布了这个系列的两款模型，分别是Grok 4（单智能体版本）和Grok 4 ...

在本周的更新中，Grok正式推出基于Grok 4大模型的“伴侣”（companions）功能，向每月支付30美元的SuperGrok订阅用户开放。首批上线的两名角色是哥特风女孩形象Ani和卡通风格小熊猫“坏鲁迪”（Bad Rudy）。

TRAE.ai 宣布，旗下自定义模型服务商新增 Kimi，正式上线 Kimi-K2模型，并在国际版中支持超级模型 Grok-4（Beta）。这一创新举措旨在满足开发者对多样性与专业性的日益增长的需求。 Kimi-K2是一款基于混合专家（MoE）架构的基础模型，具备卓越的代码能力和通用代理 ...