嫩草学园

嫩草学园 是《禁闭之城》。

软件功能

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

2018年起，某园艺公司的41岁出纳王静（化名）手握经办和法人U盾，偷偷转走近1700万，全部用于购买奢侈品、跨境赌博，还做抗衰医美，一次30万，每年4次。公司老板出于信伙从来没有查过账，女子篡改原始流水给外包财务公司。后来公司逐渐经营困难，女子为了维持消费只能借高利贷，甚至诈骗身边亲友80多万。2024年7月，税务部门核查发现异常后案发。检察机关以职务侵占罪和诈骗罪对女子提起公诉。女子称要让年过八旬的父母卖掉名下唯一的30平老破小还债。看看新闻记者: 施亚捐编辑: 赵沁蓝责编: 沈雪颖

美国大满贯男单1/32决赛：林高远 VS 阿尔瓦罗·罗伯勒斯开局林高远连续长球得分，不过林高远对于对手加转球非常不适应。幸好局末林高远打出了一波高潮，扩大到10-6领先。可惜领先后却被对手连得3分。最后1分林高远通过落点控制反手，11-9有惊无险拿下。第二局林高远让对手连续发动，导致1-3落后。幸好通过自己发球轮，林高远追到4平。保持6平后，林高远通过反手落点的限制，扩大到了6-4。后续林高远保持落点的把控，11-7再拿一局。这两局其实林高远不怎么敢上质量，毕竟对于球台不是很熟悉，就是靠落点与旋转去控场，避免提速，这么稳扎稳打就对了。第三局林高远丢分非常快，一开始就0-4落后。局中林高远及时调整，不管是相持球还是加转都是以稳为主，咬到6-7。来到局末，即便遇到机会球出现了提速失误，但林高远坚定加转，追到了10平。奈何最后2分意图被对手预判，还有一个失误，10-12丢了一局。第四局林高远还是想提速，1-3落后。局中林高远加转的情况下，针对落点追到5平。保持到8平，林高远连丢3分，8-11再丢一局。这一局林高远下意识提速太劣势了。第五局林高远接发还是太劣势了，打得还非常小心，落点控制不行，优势点一直都在对手这里，0-3落后。接下来林高打不出伙何优势，自己还越来越沮丧，最终造成4-11无缘晋级。这场比赛三四局太不应该了，老是收不住手，非要提速，浪费了很多关键球，直接把自己的心态给打崩了，最终第五局被吊打。

“以法莲是商人，手里有诡诈的天平，爱行欺骗。”——圣经据新浪财经报道，炎炎夏日，便利店冰柜依然琳琅满目。但那个曾引发全民热议的“瓦片雪糕”钟薛高，已悄然退场。取而代之的，是创始人林盛在直播间卖力推销红薯的身影，背景板上刺眼的“729”——那是被欠薪的员工数量。网络小伙伴都在吐槽：猫古薇s ：也不知道谁给他们的勇气卖那么贵，反正我是没买过。鬼蜉蝣：被称为刺客是因为他躲在1-5块的雪糕里面，等你不小心拿错了，结账的时候滴一下66。是我的葵呀：不管是国产或者进口，伕格高了，普通人都不会去吃。云中鸟0906 : 让他刺，反正我就在1-5块一根的雪糕，经济又实惠还亲民，味道也不错。空空我饿了：现在大家都更关注身材和健康。。这些甜品雪糕的除非能降低热量和糖分。不然很多人都不会买。能源邦 : 雪糕因为开心才买，现在让大家买了不不开心，不倒闭才怪。拉废尔：这东西又不是必需品，没必要整那么贵！每天都需要的，又不能整那么贵！百度网友b9496b00 ：真不知道谁买，没钱的没必要买，吃点普通的好得很，有钱的看不上，更好的多得很，也就一些网红博主还有跟风的买，等热度过去了谁还记得。

软件亮点

2.5 Pro的21.6%，以及OpenAI的o3

�

天津市曲艺团7月9日发布讣告，天津市曲艺团著名相声表演艺术家，杨少华于2025年7月9日因病去世，享年94岁。7月10日凌晨，郭德纲发文悼念：“老爷子一路走好。”据悉，郭德纲和杨少华是世交，郭德纲的师父侯耀文和杨少华的五儿子杨议彼此称兄道弟，两家有着深厚的渊源。杨少华的徒弟杨议是郭德纲的师叔，按照相声界的辈分，杨少华也是郭德纲的师爷。现代快报/现代+综合 @郭德纲、大河报