看一线天馒头小苞 是《吻过千年的你》。

软件功能

�

刚刚，在延迟一个多小时后，马斯克发布了 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，可以在今年内实现科学新发现。“如果它今年没有发现新科学技术，我会感觉很意外的。”

�

•【超凡的推理与解决能力】Grok4在xAI的Colossus超级计算机上进行了训练，其训练量是Grok2的100倍。在强化学习(RL)方面，它投入的计算量比伙何其他模型都多出10倍。据称，该模型能够从第一性原理出发进行思考并纠正自身错误，在多项推理基准测试中表现出色。在通常用于测试人们推理能力的基准测试中，Grok4达到了博士水平。其多智能体版本Grok4Heavy在美国数学邀请赛(AIME25)中取得了满分。Grok4在所有学科的学术问题上都表现出优于博士水平的能力。xAI中强调Grok4的推理能力已达到超人水平。

软件亮点

7 月 8 号那天，娱乐圈又传来个坏消息，“钻石歌王” 林冲在 7 月 7 号晚上走啦，享年 92 岁。对不少 70 后来说，林冲这位歌手那可是不陌生。他主演的电影《大盗歌王》，承载了好多人的青春记忆呢，里头那首插曲《钻石》，更是成了他响当当的代表作。可能好多网友对歌手林冲不太了解，对他的作品也知道得不多。但打从 1956 年出道起，林冲就一直在舞台上活跃着。虽说在内地舞台上不咋常见他身影，可在东南亚、欧美那些地方的舞台上，他可是相当活跃，在台湾那也是资深的重要歌手。其实早前就有关于林冲身体状况的报道。他晚年患上前列腺癌第 3 期，还有心脏病、糖尿病这些毛病，可即便这样，他还是坚持上台演出。就在 5 月份的时候，林冲还露面唱了他的经典曲目《钻石》呢。据家属说，林冲是因为感染吸入性肺炎，又合并败血性休克，还有多重器官衰竭，最后才走的。听说啊，林冲是混血儿，他爸是台湾人，他妈是日本人，他在日本长大。小时候的林冲可厉害啦，擅长好几种舞蹈。1956 年，他靠着演《黄帝子孙》踏入演艺圈，这期间演了不少影视剧，可一直都没大火起来。直到 1968 年在香港登台表演，他那前卫的表演风格，加上时尚的穿搭，一下子就吸引了好多年轻人的目光，后来还跟邵氏电影公司签了约。哎，林冲这一走，真让人心里怪难受的，希望他在另一个世界能好好的，一路走好。

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

�

据新华社纽约7月9日电 9日，2025年国际足联俱乐部世界杯第二场半决赛在纽约大都会体育场举行，巴黎圣日耳曼队以4:0轻取皇家马德里队，将在决赛中对阵切尔西。双方此前8次交手，皇马4胜2平2负。上一次交手是在2022年欧冠联赛，当时皇马以3:1获胜。与上一场世俱杯比赛相比，“大巴黎”对首发阵容作出两处调整：登贝莱取代巴尔科拉出场，这是他本届世俱杯首次首发；贝拉尔多替代被禁赛的帕乔登场。皇马方面，姆巴佩和阿森西奥首发，主力边后卫阿诺德因大腿肌肉不适缺战。由于罹患急性肠胃炎，姆巴佩直到八分之一决赛才在本届世俱杯首次出场，此后又出战了四分之一决赛，但两次都是替补，且表现平平。姆巴佩曾在“大巴黎”效力7年，因欠薪风波与旧主产生龃龉甚至打起了官司，这是他离开“大巴黎”后首次对阵旧主。本场比赛原计划在当天下午3点开始，但因为交通拥堵，两支队伍抵达球场时间较晚，比赛因此被推迟10分钟。比赛第六分钟，“大巴黎”右路进攻，杜埃下底横扫门前没有产生威胁，但皇马中后卫阿森西奥停球失误送礼，登贝莱赶在皇马门将库尔图瓦之前上抢倒地回做，鲁伊斯跟进推射先拔头筹。仅仅3分钟后，皇马后防再次犯错，吕迪格回传失误，登贝莱单刀推射远角破门，“大巴黎”再下一城。第24分钟，阿什拉夫右路推进下底横传，两名队友在中路包抄，鲁伊斯面对巴尔韦德的追防冷静打门得手，将比分改写为3:0。下半场刚开场3分钟，杜埃破门，但因助攻的登贝莱越位在先进球无效。此后，皇马换上传奇中场莫德里奇，以及此前因伤缺阵数月的米利唐和卡瓦哈尔，然而收效甚微。这是39岁的莫德里奇在皇马的最后一役，效力的13年中，他帮助球队获得6次欧冠冠军、5次欧洲超级杯冠军和4次西甲冠军。第87分钟，巴尔科拉精彩拉球转身戏耍米利唐后横传，贡萨洛·拉莫斯轻松破门，进球后他向因车祸去世的葡萄牙国家队队友若塔致敬。“大巴黎”最终4:0大胜。整场比赛，“大巴黎”占据绝对优势，控球率一度达到70%，18次射门，8次射正。若不是库尔图瓦发挥出色，皇马恐将输得更难看。巴黎圣日耳曼将于13日与切尔西在决赛中一较高低。此前，他们本赛季已经赢得法国超级杯、法甲、法国杯、欧冠冠军。今年8月和12月，他们还将争夺欧洲超级杯和国际足联洲际杯冠军，换言之，“大巴黎”今年有望最多拿到7座冠军奖杯。（记者公兵、王浩明）编辑 李忆林子

推荐理由

4 Heavy——后者是该公司的“多智能体版本”，性能更强。

�

除了Grok 4和Grok

4 Heavy取得了44.4%的高分，超过了同样使用工具、得分为26.9%的Gemini

软件优势

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

“必须考上985，否则就不送我读大学”少年背着书包神情落寞地坐在楼梯口，只因高考成绩575分，他被父母拒之门外。这个分数已经超越了绝大多数考生，达到了一本线标准，是多少家庭梦寐以求的成绩。起初看到这种情况，不少人觉得这对父母实在太过严厉，难道不怕把孩子逼出心理问题吗？无奈之下，小凯只能求助媒体记者协助调解。但随着事情的深入，网友们却普遍站到了父母这一边：“不是找记者就有理，天下没有不爱孩子的父母，支持他们的做法”男孩名叫小凯，今年刚刚完成高考，物理类考出了575分。这样的成绩按理说已经相当不错了，然而他的父母却异常愤怒，甚至不愿与他见面。小凯在门外苦苦等待，父母却仿佛将他彻底遗忘。他尝试输入密码打开门锁，却发现所有密码都被更改了，完全没有给他留下一丝机会。刚高中毕业的小凯目前没有收入来源，只能联系媒体记者帮助自己与父母沟通。在记者协助下，他终于打通了父亲的电话，带着委屈质问：“我家门怎么打不开了，你这是什么意思？”对方却沉默无言，直接挂断了电话。小凯只好联系母亲：“我家门为什么进不去了？”母亲语气冷漠，毫无耐心地回应：“哦，我在外地出差，手机快没电了。”小凯紧接着追问：“那密码是多少？”母亲却装作不知情地说：“我不清楚啊。”随后更是借口有事匆匆挂掉了电话。万般无奈之下，小凯只能向记者倾诉这两天的经历，称父母完全把他当成了外人，丝毫不顾骨肉亲情。他在家作息时间比较晚，通常都是凌晨才入睡。这两天父母竟然把家里所有的空调都打开，连电暖炉也用上了，要知道这可是酷暑时节。直到家中电费耗尽，小凯才被迫出门，结果现在连家都回不去了。记者也是第一次遇到这种情况，疑惑地说道：“这不合常理吧，你可是四大名校的学生。”小凯也表示：“至少一本是没问题的。”后来记者带着小凯找到了他母亲所在单位了解详情。原来小凯就读于全国知名中学——长郡中学，这所学校被誉为长沙四大名校之一。在湖南这个教育资源丰富的省份，长郡中学汇聚了众多尖子生，一本上线率超过95%。截至7月6日，该校已有26名学生通过强基计划或保送等方式提前进入清北两校，预计全年清北录取总数将突破60人，连续多年领跑全省。其他城市的顶尖学生若不去长郡，他们学校还会主动联系邀请入学。学校的辉煌成绩并非因为师资特别突出，而是学生本身素质极高。小凯能从中部小县城安化考入长郡，说明中考时成绩非常优秀，在刚进入长郡时成绩也在上游水平。但在湖南省普通高中中都能上光荣榜的575分，在长郡却只是垫底的存在。后来了解到，小凯在校期间学习态度极差，沉迷手机游戏，严重影响了学业，这个成绩远远低于他的真实水平。你自己都不再努力，凭什么要求父母继续为你承担未来？母亲见到小凯本人后依然态度坚决：“别再来找我们，我们已经讲得很清楚了。”她对儿子私自联系媒体调解更是感到愤怒：“找谁都没用，你一点都没有悔改的意思，我们就各过各的吧。”而小凯的父亲也不打算继续供他上大学。他给小凯三个选择：在家就必须遵守规矩；要么就在县城找一份包吃包住的工作。如果觉得县城工资太低、发展空间有限，他愿意出车费让小凯去长沙打工。小凯则双手插兜一言不发，背靠墙壁，满脸写满失落。原本一些网友还对小凯的遭遇感到不解和同情，但得知他来自长郡中学后，纷纷理解了父母的做法：“很多孩子考575分家长会开心得睡不着觉，可对于长郡的尖子生来说，这就是自我放弃的表现，父母失望完全可以理解。”如今像这样父母意见统一、立场坚定的家庭真的不多见了，一般孩子一哭二闹三上吊，父母就妥协了。作为过来人，父母现在的决定其实是在为他好。沉迷游戏、在学校混日子，就算进了大学，四年之后可能还是找不到工作。真正让父母心灰意冷的，不是小凯没考好，而是他始终没有改正沉迷手机的习惯。他们希望通过社会现实让他明白读书的重要性，宁愿让他先尝生活的苦头。资料来源：

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

“必须考上985，否则就不送我读大学”少年背着书包神情落寞地坐在楼梯口，只因高考成绩575分，他被父母拒之门外。这个分数已经超越了绝大多数考生，达到了一本线标准，是多少家庭梦寐以求的成绩。起初看到这种情况，不少人觉得这对父母实在太过严厉，难道不怕把孩子逼出心理问题吗？无奈之下，小凯只能求助媒体记者协助调解。但随着事情的深入，网友们却普遍站到了父母这一边：“不是找记者就有理，天下没有不爱孩子的父母，支持他们的做法”男孩名叫小凯，今年刚刚完成高考，物理类考出了575分。这样的成绩按理说已经相当不错了，然而他的父母却异常愤怒，甚至不愿与他见面。小凯在门外苦苦等待，父母却仿佛将他彻底遗忘。他尝试输入密码打开门锁，却发现所有密码都被更改了，完全没有给他留下一丝机会。刚高中毕业的小凯目前没有收入来源，只能联系媒体记者帮助自己与父母沟通。在记者协助下，他终于打通了父亲的电话，带着委屈质问：“我家门怎么打不开了，你这是什么意思？”对方却沉默无言，直接挂断了电话。小凯只好联系母亲：“我家门为什么进不去了？”母亲语气冷漠，毫无耐心地回应：“哦，我在外地出差，手机快没电了。”小凯紧接着追问：“那密码是多少？”母亲却装作不知情地说：“我不清楚啊。”随后更是借口有事匆匆挂掉了电话。万般无奈之下，小凯只能向记者倾诉这两天的经历，称父母完全把他当成了外人，丝毫不顾骨肉亲情。他在家作息时间比较晚，通常都是凌晨才入睡。这两天父母竟然把家里所有的空调都打开，连电暖炉也用上了，要知道这可是酷暑时节。直到家中电费耗尽，小凯才被迫出门，结果现在连家都回不去了。记者也是第一次遇到这种情况，疑惑地说道：“这不合常理吧，你可是四大名校的学生。”小凯也表示：“至少一本是没问题的。”后来记者带着小凯找到了他母亲所在单位了解详情。原来小凯就读于全国知名中学——长郡中学，这所学校被誉为长沙四大名校之一。在湖南这个教育资源丰富的省份，长郡中学汇聚了众多尖子生，一本上线率超过95%。截至7月6日，该校已有26名学生通过强基计划或保送等方式提前进入清北两校，预计全年清北录取总数将突破60人，连续多年领跑全省。其他城市的顶尖学生若不去长郡，他们学校还会主动联系邀请入学。学校的辉煌成绩并非因为师资特别突出，而是学生本身素质极高。小凯能从中部小县城安化考入长郡，说明中考时成绩非常优秀，在刚进入长郡时成绩也在上游水平。但在湖南省普通高中中都能上光荣榜的575分，在长郡却只是垫底的存在。后来了解到，小凯在校期间学习态度极差，沉迷手机游戏，严重影响了学业，这个成绩远远低于他的真实水平。你自己都不再努力，凭什么要求父母继续为你承担未来？母亲见到小凯本人后依然态度坚决：“别再来找我们，我们已经讲得很清楚了。”她对儿子私自联系媒体调解更是感到愤怒：“找谁都没用，你一点都没有悔改的意思，我们就各过各的吧。”而小凯的父亲也不打算继续供他上大学。他给小凯三个选择：在家就必须遵守规矩；要么就在县城找一份包吃包住的工作。如果觉得县城工资太低、发展空间有限，他愿意出车费让小凯去长沙打工。小凯则双手插兜一言不发，背靠墙壁，满脸写满失落。原本一些网友还对小凯的遭遇感到不解和同情，但得知他来自长郡中学后，纷纷理解了父母的做法：“很多孩子考575分家长会开心得睡不着觉，可对于长郡的尖子生来说，这就是自我放弃的表现，父母失望完全可以理解。”如今像这样父母意见统一、立场坚定的家庭真的不多见了，一般孩子一哭二闹三上吊，父母就妥协了。作为过来人，父母现在的决定其实是在为他好。沉迷游戏、在学校混日子，就算进了大学，四年之后可能还是找不到工作。真正让父母心灰意冷的，不是小凯没考好，而是他始终没有改正沉迷手机的习惯。他们希望通过社会现实让他明白读书的重要性，宁愿让他先尝生活的苦头。资料来源：

软件评价

外界对Grok 4的期望很高。xAI这款最新的AI模型将直接对垒OpenAI即将推出的GPT-5，后者预计将在今年夏末发布。