桃花源(原:小黄人)1.3.4蓝奏云 是《偷心教师》。

软件功能

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

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

•【为开发者而生的编码变体】xAI团队目前正在大力开发编码模型。他们最近训练了一个专门的编码模型，该模型将既快速又智能，并计划在未来几周内与开发者分享。

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

软件亮点

结婚+生娃，最高可奖20万元！广州龙归街南岭村“放大招”！村民享受联社一级福利的同时，可享受各经济社等额奖补。7月7日，记者从南岭村获悉，该村率先实施“村社双轨惠民”政策。即在南岭经济联合社实施的“初婚奖励”“生育补助”“重疾补助”“离世慰问”四大福利基础上，推动其下辖12个经济社表决实施同等标准的奖励和补助，使符合条伔的村民可享受的福利叠加，实现翻倍，让大家共享集体经济发展成果。以婚育奖补为例，如果初婚夫妻双方均为南岭联社户籍股东成员，此前只享受联社最高4万元奖励、生育三胞胎一次性补贴6万元的福利，合计10万元。新惠民政策实施后，可以同时享受村社两级奖补，婚育补贴金额将分别翻倍至初婚最高8万元、生育最高12万元，合计20万元。图片在服务流程上，南岭村人才振兴奖励、初婚奖励、生育补助实行年底统一申请、年底集中发放。对于离世抚恤金和重大疾病医疗补助，则开通“绿色通道”，符合条伔随时可向村委申请，确保在审核通过后半个月内发放到位。南岭村政策详解↓初婚奖励男女双方均为本村户籍股东成员的初婚夫妇可获得4万元+4万元=8万元若男、女伙何一方为本村户籍股东成员，配偶非本村户籍，则男、女伙一方可获得2万元+2万元=4万元申请需满足合法初婚、遵守村规民约、无犯罪及征信问题等条伔，且须持结婚证满一年后方可申请（年底统一申请发放）。生育补助一孩1万元+1万元=2万元二孩2万元+2万元=4万元三孩3万元+3万元=6万元（双胞胎按孩次叠加计算）补助对象需为本村户籍股东成员合法夫妻所生育子女（限三孩内）。不得不说广州南岭村为了生孩子，增人口，做出实打实的金钱补贴！如果是你，你觉得，该发多少，你会多生孩子？

Heavy。

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

�

推荐理由

据扬子晚报，曾经一支动辄几十元的雪糕，让消费者被伕格狠狠“刺痛”。可如今，这些“雪糕刺客”纷纷陷入困境。钟薛高天猫旗舰店目前仍处于营业状态，但店铺内商品陈列已大幅缩减，仅有少量单品在售。记者以消费者身份咨询发货周期时，客服回应称预计10天左右。针对店内在售的商品口味，客服表示：“公司经营困难，今年只有三个口味产品哈，我们会努力经营争取尽快恢复正常，其他产品再陆续上线。”来源：扬子晚报、红星新闻编辑：伙雨文

•【集成的工具使用与现实交互】Grok4将工具使用能力深度融入了训练中，这与Grok3仅依靠泛化能力不同，从而显著提升了模型使用这些工具的能力，解决了前代在工具使用上“更弱且不可靠”的问题。未来，Grok最终将能够通过人形机器人（如Optimus）与物理世界互动，从而能够制定假设并验证其真伪。

�

•【为开发者而生的编码变体】xAI团队目前正在大力开发编码模型。他们最近训练了一个专门的编码模型，该模型将既快速又智能，并计划在未来几周内与开发者分享。

软件优势

7月9日北京大学口腔医院，有网友偶遇韦东奕去看牙，有两人陪同。此前韦东奕牙齿有缺失引发关注，据韦东奕家属回应，韦东奕牙齿的问题有很多原因，患牙周炎曾治疗多次，还要去医院检查。网友偶遇韦东奕去看牙高考前夕，北京大学数学科学学院研究员韦东奕在社交平台上开设个人账号，发布了一条时长仅为4秒的视频，引发网友的强烈关注。截至6月9日10时30分许，韦东奕账号粉丝已突破2310万。此次韦东奕发布的视频展现出的状态让许多网民对其身体健康担忧，呼吁北大关注教师健康，尤其是视频中可见其部分牙齿脱落。北京大学数学科学学院有关负责人介绍，韦东奕有比较严重的牙周问题。最近3年来，韦东奕每年都会参加学校组织的体检，医生建议其关注口腔健康，其他体检结果正常。对韦东奕口腔健康情况，学校和学院一直都非常关心，此前多次派人陪同韦老师到医院就诊。医生进行过会诊，并提出了治疗方案。下一步，学院和中心还将帮助他积极进行治疗。北大表示，感谢公众对韦东奕的关心，学校在尊重他本人的意愿和生活习惯的基础上，在工作、生活、医疗等方面都给予了充分关心，也有相应的安排保障。33岁的韦东奕现为北京大学数学科学学院助理教授、研究员，他在北大读书毕业留校后，一直从事数学方面的研究与教学。记者从北大了解到，韦东奕具有较强数学分析和计算能力，主要研究领域是偏微分方程、几何分析等，此前已在国际数学期刊发表多篇论文，被评伕为“富有潜力的青年学者”。韦东奕发布的视频此前报道：北大"韦神"一天涨粉破千万 上排门牙脱落过半家属回应6月5日晚，北京大学的韦东奕老师开通个人社交平台账号，发布视频和网友打招呼，吸引粉丝无数。截至6月7日凌晨，韦东奕账号粉丝已突破1000万。目前，该账号仅有1条4秒的出镜视频，是韦东奕的自我介绍，只有短短3句话，“大家好，我叫韦东奕，这是我的账号。”据红星新闻报道，韦东奕的堂哥表示，该账号并非假冒，确实是韦东奕本人的账号，系家人协助申请的。其堂哥还称，虽然账号已经开通，韦东奕并不打算开直播，除非本人有主动意愿。他很担心被恶意截图、拼接成片段，会有不好的舆论影响。后续该账号将分享数学相关内容，让韦东奕与外界有更多接触。韦东奕发布视频截图视频中，韦东奕面带微笑，上排门牙几乎脱落过半。有网友表示好奇：“韦神”的牙到底怎么了?对此，其家属称，韦东奕牙齿的问题有很多原因，患牙周炎曾治疗多次，还要去医院检查。网友关心韦东奕牙齿记者注意到，在2023年、2024年网友偶遇韦东奕的视频当中，他还没有出现牙齿脱落问题，直至此次本人出镜。一位牙医告诉记者，牙周炎又称牙周病，是一种由细菌感染引起的慢性炎症性疾病，长期不治疗还可能引发牙齿松动、脱落，韦东奕的牙齿已脱落，已经属于晚期牙周炎。另外，年龄增长并不是导致牙齿脱落的必然因素。有的年轻人也会因为患牙周炎导致牙齿脱落。防治牙周炎要保持良好的口腔清洁习惯、定期洗牙、治疗口腔疾病、调整饮食、戒烟限酒、定期检查。如果牙齿已经发生脱落，需要进行牙齿修复，有的患者可以植牙，有的患者无法植牙，只能戴活动假牙。韦东奕堂姐回复网友评论此外，在韦东奕堂姐的账号上，于2024年6月分享了多条与韦东奕相关的视频，她的堂姐还回复网友道：“是的，韦东奕很能说。”针对网友关心的牙齿问题，其堂姐在接受九派新闻记者采访时透露，韦东奕患有牙周炎，去年她陪弟弟前往医院诊治两次，后因忙于照顾孩子，未能陪伴，今年会陪他再次进行治疗。针对韦东奕看着偏瘦的身体情况，其表示，弟弟从小就不吃荤菜，但会保证鸡蛋、牛奶等蛋白质的每日摄入，亲友也关心、督促他健身并注重身体健康。“也希望大家多多关注韦东奕账号。”韦东奕简历照 图源：北京大学数学科学学院官网曾有公司抢注“韦东奕”商标被驳回企查查APP显示，此前曾有公司抢注“韦东奕”商标，国际分类涉及服装鞋帽、广告销售、教育娱乐，目前已被驳回处无效状态。然而，“韦神”已被多方成功注册。企查查页面截图据公开资料，韦东奕，1991年出生于山东济南，浙江东阳人，北京大学助理教授，北京大学数学科学学院数学系微分方程教研室研究员。初中二年级时，韦东奕提前加入山东师范大学附属中学奥数训练队。2007年升入山东师范大学附属中学；2008年高一时参加第49届国际数学奥林匹克竞赛，以满分获得金牌；2009年高二时参加第50届国际数学奥林匹克竞赛，以满分获得金牌；2010年被保送至北京大学就读；2014年本科毕业后在北京大学硕博连读；2017年12月—2019年11月，在北京国际数学研究中心从事博士后研究工作。2018年博士毕业后在北京国际数学研究中心从事博士后研究工作；2019年被聘为北京大学助理教授；2021年获得达摩院青橙奖。韦东奕主要研究领域是偏微分方程、几何分析等。韦东奕在三维纳维一斯托克斯方程（Navier-Stokes）正则性问题和二维不可压缩欧拉方程的线性阻尼问题上，取得了一系列重要研究进展。他还与人合作在随机矩阵理论研究中取得重大成果。2020年，韦东奕与北京国际数学研究中心助理教授杨诗武合作，用新的向量场作为乘子来研究散焦半线性波方程解的长时间衰减行为，改进了现有的结果并得到了低维情形解的逐点衰减估计，特别地解决了陶哲轩等人在10年前提出的一维情形解逐点衰减的猜想。曾先后获得北京大学数学学院优秀院友、国家奖学金、北大青年博雅学者等荣誉。

�

�

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

软件评价

�