马斯克宣布Grok 4发布，Win11份额首次超越Win10，小红书第四号员工离职极客头条
「极客头条」—— 技术人员的新闻圈！
CSDN 的读者朋友们好，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。（投稿或寻求报道：zhanghy@csdn.net）
整理 | 郑丽媛出品 | CSDN（ID：CSDNnews）
一分钟速览新闻点！
传小红书第四号员工离职，曾参与首版 APP 开发极越 CEO 夏一平重新更新微博，此前有消息称极越正在重组澎湃 OS 被曝全新灵动岛 UI，小米 16 系列旗舰手机设计曝光马斯克宣布 Grok 4 计划于 7 月 10 日直播发布扎克伯格继续挖人：苹果负责 AI 模型的高管将跳槽到 MetaOpenAI 宣布 GPT-5 将整合多种模型苹果对欧盟 5 亿欧元罚款提起上诉首超 Win10，微软 Win11 成为全球第一大桌面操作系统谷歌 AI 制药或迎来里程碑，即将进行首次人体试验Win10 / Win11 效率神器 PowerToys 发布 0.92.1：修复文件管理器扩展和 Command Palette 问题腾讯混元 3D 再升级，推出业界首个美术级 3D 生成大模型阿里通义正式开源网络智能体 WebSailor机器人马拉松冠军开源：北京人形机器人创新中心发布开源运动控制框架 Tien Kung-Lab
国内要闻
7月8日，有消息称字节跳动已同意将TikTok美国业务出售给由甲骨文牵头的美国财团，自身保留少数股权。对此，字节跳动方面对记者表示，该信息不实。据了解，这项交易旨在满足美国《保护美国人免受外国对手控制应用程序法案》要求，解决美方对数据安全的顾虑。交易仍需中美两国政府批准，目前美国政府设定的最终截止日期为9月17日。（第一财经）
传前阿里公关一号位王帅回归，王帅本人回应近日有媒体报道称，前阿里公关一号位王帅可能也随着马云频繁在阿里各工区有复出的迹象，王帅可能会以顾问身份协助淘宝闪购对外的公关传播。针对此事，王帅对外回应称，“我一直是顾问，有事情搭把手不是再正常不过。”另外，他还表示，自己还是阿里公益的副理事长。（三言科技）
李斌宣告“蔚来自研全球首颗车规 5nm 芯片”日前，财经作家吴晓波直播参访蔚来智能工厂，蔚来创始人、董事长、CEO 李斌带其实地参观了芯片刷写区。7 月 7 日，李斌微博发文称，自研芯片是一条艰难的路，但也是一条必须要走的路，我们会继续努力向前走。
据了解，李斌在直播中介绍了蔚来自研神玑 NX9031 芯片，他表示：“这是全球首颗车规 5nm 的智驾芯片，这个应该说是量产非常不容易的，要能支持低延时，快速响应。”据悉，神玑 NX9031 芯片和底层软件均实现自主设计，拥有超过 500 亿颗晶体管，采用 32 核大小核 CPU 架构、LPDDR 5x 内存，速率达到 8533Mbps，内置高动态范围高性能 ISP，具备 6.5G Pixel/s 像素处理能力，处理延时少于 5nm。（腾讯新闻）
传小红书第四号员工离职，曾参与首版 APP 开发据报道，小红书核心早期成员，现企业效率负责人——陆伟已于上周离职。陆伟于2013年加入小红书，是小红书除毛文超（CEO）、瞿芳（创始人）、邓超（CPO）以外的第四号员工，属于绝对的早期技术团队核心成员。
在2013年之前，小红书的产品形态是一款名为《小红书出境购物攻略》的PDF文档，既没有联网协同，又不能留存用户——而陆伟正是参与2013年首版小红书APP的开发人员，也是小红书的第一位程序员。在而后的12年间，小红书从PDF变成用户规模数亿、商业潜力强、内容质量高的明星级APP产品，这其中就有陆伟早期参与种下的“种子”。伴随着小红书的迅速成长，陆伟也成为了企业效率负责人。（大厂日爆、Hacking 黑白红）
极越 CEO 夏一平重新更新微博，此前有消息称极越正在重组
极越CEO夏一平微博近日重新更新，7月6日，他接连转发两条动态，一条为前极越车主对极越的祝福，另一条则为极越官方发布的“关于用户关心的问题说明（第十六次）”。此前，原极越汽车公关负责人徐继业曾在朋友圈发文称：“有兄弟透露极越大概率不会破产了，集度董事会已经同意重组，集度目前正与3-4家重组方沟通中。”（新浪科技）
澎湃 OS 被曝全新灵动岛 UI，小米 16 系列旗舰手机设计曝光7 月 7 日消息，博主 @数码闲聊站 发布爆料信息，提到某个系列手机的设计、影像配置，以及“系统有全新灵动岛 UI”，下方评论区多数猜测为小米。按照该博主以往爆料，结尾“~”符号也代表为小米。
国际要闻
马斯克宣布 Grok 4 计划于 7 月 10 日直播发布
7 月 8 日，马斯克发帖宣布 xAI 新一代 Grok 4 大模型将于太平洋时间周三晚 8 点，即北京时间周四上午 11 点发布，届时将在 X 上进行直播。此前，xAI 对 Grok 进行了重大改进，新增了两条核心规则：要求对涉及时事或主观主张的问题分析多方信源，并允许在有充分依据时作出政治上不正确的回答。更新后，Grok 出现多起争议性回应，包括涉及反犹言论和对特朗普及得州洪灾事件的批评性表述。（IT 之家）
扎克伯格继续挖人：苹果负责 AI 模型的高管将跳槽到 Meta
苹果公司负责AI模型的最高主管即将跳槽 Meta，这对苹果本已举步维艰的 AI 发展而言又是一次打击。知情人士透露，苹果基础模型团队负责人、著名工程师庞若鸣（Ruoming Pang）即将离职。2021 年，庞若鸣从 Alphabet 加入苹果，如今成为 Meta 新组建的“超级智能团队”的最新重点招募对象。知情人士称，为了招募庞若鸣，Meta 为其开出了每年价值数千万美元的薪酬待遇。（凤凰网科技）
OpenAI 宣布 GPT-5 将整合多种模型
近日，OpenAI 再次确认将推出 GPT-5，并计划将多个强大的模型整合为一个更为统一的版本。根据 OpenAI 的说法，GPT-5 预计将在夏季发布。OpenAI 表示，GPT-5 的目标是将这两大系列的突破性技术合并，提供最佳的功能体验。OpenAI 开发者体验负责人 Romain Huet 表示:“我们非常兴奋，不仅仅是要推出一个新的前沿模型，同时还将统一我们的两大系列。O 系列的推理突破和 GPT 系列的多模态突破将在 GPT-5 中融合。我期待不久后能再次分享更多信息。”
此外，OpenAI 还提到，GPT-5 将使现有的模型在各个方面的表现显著提升，并减少用户在不同模型之间切换的需要。OpenAI 副总裁 Jerry Tworek 在一篇 Reddit 帖子中表示:“GPT-5 是我们的下一个基础模型，旨在让我们当前模型能做的所有事情更好，且在使用过程中更流畅。”（AIbase）
苹果对欧盟 5 亿欧元罚款提起上诉
苹果公司就欧盟因其违反《数字市场法》而处以的5亿欧元（5.86亿美元）罚款提起上诉。苹果发布声明称：“今天（7月7日）我们提起上诉，因为我们认为欧盟委员会的决定，以及他们开出的史无前例的罚单，远远超出了法律的范畴。”今年4月份，欧盟委员会根据其《数字市场法》（DMA）规定，宣布对苹果处以5亿欧元罚款。
首超 Win10，微软 Win11 成为全球第一大桌面操作系统7 月 8 日消息，Statcounter 数据显示，2025 年 7 月，微软 Windows 11 系统首次超越 Windows 10，成为全球范围内第一大 Windows 操作系统。Windows 11 在 Windows 中的份额占比达到 52%，Windows 10 降到了 44.59%。从全球桌面操作系统整体来看，Windows 系统在 7 月拥有高达 71.27% 的占比，因此 Windows 11 也成为全球第一大桌面操作系统。
谷歌 AI 制药或迎来里程碑，即将进行首次人体试验
近日，Isomorphic Labs 总裁兼谷歌 DeepMind 首席商务官 Colin Murdoch 透露，Isomorphic Labs 由 AI 设计的药物准备启动首次人体试验。该公司正在利用 AI 技术辅助开发抗癌药物，“下一个重要的里程碑将是（药物）真正进入临床试验阶段，即将用于人体测试。目前我们在招募相关人员。”Murdoch 表示。据悉，Isomorphic Labs于 2021 年由谷歌 DeepMind 分拆而来，其诞生于 DeepMind 最知名的突破研究之一——AlphaFold。（东方财富网）
程序员专区
科技媒体 NeoWin 昨日（7 月 7 日）发布博文，报道称微软更新 Windows 10 / Windows 11 系统上的效率工具 PowerToys，在 0.92.1 版本更新中修复了文件管理器扩展问题，并提升了相关性能。0.92.1 版本更新中作为常规维护版本更新，主要修复了：修复了文件管理器扩展，在用户级别安装下预览功能无法正常工作的问题（#40314）；修复了命令面板（Command Palette）中应用程序扩展缺失所有 Win32 应用程序的问题（#40392）；修复了 Command Palette 每次加载时重置应用程序状态的问题（#40401）。
腾讯混元 3D 再升级，推出业界首个美术级 3D 生成大模型7 月 7 日，“腾讯混元”公众号宣布，腾讯混元 3D 再次升级，带来了业界首个美术级3D生成大模型 Hunyuan3D-PolyGen。该模型结合自研高压缩率表征 BPT 技术，可生成面数达上万面的复杂几何模型，布线精度更高，细节更丰富，同时支持三边面和四边面，满足不同专业管线需求。基于此，混元 3D 资产可无缝应用于 UGC 游戏资产生成，显著提升美术师建模效率。
阿里通义正式开源网络智能体 WebSailor
近日，阿里通义开源了网络智能体WebSailor，该智能体具备强大的推理和检索能力，在高难度智能体评测集BrowseComp上，WebSailor的成绩超越了DeepSeek R1、Grok-3等模型和智能体，一举登顶开源网络智能体榜单。目前WebSailor的构建方案及部分数据集已在Github开源。
机器人马拉松冠军开源：北京人形机器人创新中心发布开源运动控制框架 Tien Kung-Lab北京人形机器人创新中心 7 月 7 日正式发布开源运动控制框架 Tien Kung-Lab，将机器人马拉松冠军的运控算法面向行业开源。填补高性能人形机器人运动控制框架在开源领域的空白，为工业场景、物流场景与特种作业场景等高复杂环境下规模化应用提供核心基础技术支撑。（财联社）
今日热点视频
