女神被啪啪啪

女神被啪啪啪 是《科技巫师》。

软件功能

4和Grok

Heavy的每月300美元的订阅服务。该计划的订阅者将能抢先体验Grok

4 Heavy，xAI还推出了其迄今最昂贵的AI订阅计划、名为SuperGrok

此外，非营利组织Arc Prize表示，Grok在他们的ARC-AGI-2测试中取得了新的SOTA（State-of-the-Art，即当前最佳水平）分数——这是另一个高难度基准，由类似拼图的难题组成，需要AI识别视觉模式——得分率为16.2%。这几乎是排名第二的商业AI模型Claude

软件亮点

�

Grok 4的发布，恰逢马斯克旗下公司经历动荡的一周。周三早些时候，在X公司伙职约两年后，其首席执行官琳达·亚卡里诺 (Linda Yaccarino) 宣布辞职。目前，X尚未公布她的继伙者。

4 Heavy，并优先使用新功能。此计划与其他主要AI提供商如OpenAI、谷歌和Anthropic推出的超高端会员服务类似，但xAI目前提供了其中最昂贵的订阅选项。

(high)的21%。

推荐理由

中国女篮狂胜澳大利亚4分，两大神兵天降，三位悍将却面临被淘汰就在昨天晚上，中国女篮迎来了和澳大利亚的第二场热身赛，也是在亚洲杯开始之前的最后一场比拼，可以说非常重要，第一场比赛我们输的非常惨，这场比赛肯定要调整，虽然张子宇还是没能参加，但中国女篮的精神面貌焕然一新。呈现了非常强的竞争力，最终我们也是4分大胜对方，拿到了最后一场热身赛的胜利，可以说鼓舞士气，而此时两大神兵天将，第一个就是杨舒宇，虽然第一场热身赛很糟糕，但他迅速做出调整，本场比赛拿到了15分三篮板两助攻的全面数据。是中国女篮表现最出色的球员。他已经逐渐替代李梦，成为中国女篮最重要的锋线。第二人就是罗新玉，他拿到了12分7篮板，起到了非常关键的作用，虽然比较低调，但是能够连续入选大名单，也证明这位球员实力得到了认可，但此时却有三位老将面临被淘汰。第一个就是李梦，这已经成为事实，无法改变。即便球迷很不舍，第二伙就是李月汝，当然他的原因是征战海外联赛，继续提升实力，从长远来看，也是帮助中国女篮。而第三人就是老将黄思静，作为中国女篮曾经最顶级的4号位，黄思静为中国女篮立下了汗马功劳，世界杯，奥运会。亚洲杯和亚运会都有不错的发挥，但因为年龄和伤病的问题，黄思静已经逐渐掉队，所以这位老将也可能要被淘汰。

4，并推出了一项全新的AI订阅计划——每月300美元的SuperGrok

(high)的21%。

刚刚，在延迟一个多小时后，马斯克发布了 xAI 的新一代大模型系列——Grok 4 和 Grok 4 Heavy。总结下来，有以下看点：1.Grok 4 在“人类最后的考试”（HLE）中的表现远超其他 SOTA 模型。具体而言，在使用工具（with tool）的情况下，Grok 4 可以取得 38.6% 的成绩，Grok 4 Heavy 的分数提升至 44.4%，如果再加上测试时阶段的更多思考，这一分数最高为 50.7%。2.在 GPQA、AIME25、LCB (Jan-May)、HMMT25 和 USAMO25 等 benchmark 中，Grok 4 Heavy 均取得了 SOTA，甚至在 AIME 25 中取得了满分的成绩。3.在评估模型通用推理能力的超难基准 ARC-AGI 中，Grok 4 依然取得了 SOTA，在 ARC-AGI-2 上达到 15.9%，远超第二名的 8.6%。4.在 Vending-Bench中，Grok 4 的表现也超过了 Claude Opus 4 和人类，实现了 SOTA。5.根据 Artificial Analysis 分享的全套基准测试成绩，Grok 4 系列模型已经成为“当前领先的 AI 模型”，获得了 73 分的 SOTA 成绩，超过了 o3 的 70 分、Gemini 2.5 Pro 的 70 分、Claude 4 Opus 的 64 分和 DeepSeek R1 0528 的 68 分。此外，马斯克团队还展示了 Grok 4 在游戏方面的能力——只需 4 小时就可以制作一款 AI 可独立运行的游戏。在直播中，马斯克还自信地表示，Grok 4 已经是世界上最好的 AI，可以在今年内实现科学新发现。“如果它今年没有发现新科学技术，我会感觉很意外的。”

软件优势

7月9日上午消息，近日，喜茶logo换新，引发网友讨论，网友认为新版logo和旧版logo几乎是微调，很难看出差别，也有部分网友调侃这是让“大家来找茬”，还有网友发帖称“比小米换标还冤种”。　　喜茶官方客服回应称logo确实有更换，但未对此次调整进行更多说明。（罗宁）转自：新浪科技

今年暑假，南航推出一项新服务。即7月8日起，乘坐广州往返北京大兴的南航航班，旅客只需在航班计划起飞时刻前15分钟，抵达登机口，即可乘机。这一创新举措打破了国内机场一般提前30到40分钟截止值机的惯例。有网友感叹，只需提前15分钟，民航登机越来越高铁化啦。不过，也有网友表示，提前15分钟到登机口不是到机场，这跟提前三四十分钟截止值机差别不大。7月9日，现代快报记者致电南航客服，工作人员表示，如果有行李要托运，还得在航班计划起飞前30分钟办理好值机手续。如果前面有很多人排队办理的话，时间还得再提前。那么，广州往返北京大兴航班的登机口是否距离安检口较近，方便旅客快速抵达登机口呢？对此，南航客服表示，航班停靠登机口的位置，是由机场和塔台协调决定的，不是航空公司能控制的。网友评论：“可太好了”，“早该如此了”

SuperGrok Heavy的订阅者或许能提前体验到xAI计划在未来数月推出的一些新产品。该公司周三表示，一款AI编码模型将于8月问世，一个多模态智能体将于9月推出，而视频生成模型则定于10月。

xAI声称，Grok