小米自研手机SoC芯片“玄戒O1”官宣；腾讯员工辟谣微信过期图片可找回教程；梁文锋署名DeepSeek新论文 | 极客头条

「极客头条」—— 技术人员的新闻圈！

CSDN 的读者朋友们好，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。

整理 | 苏宓

出品 | CSDN（ID：CSDNnews）

一分钟速览新闻点！

• 小米自研手机 SoC 芯片“玄戒 O1”官宣：5 月下旬发布，雷军感叹“十年造芯路”

• “微信过期图片可找回”登上热搜，腾讯员工否认并详解机制

• 微信成立电商产品部，曾鸣任负责人向张小龙汇报

• 梁文锋署名 DeepSeek 新论文：公开 V3 大模型降本方法

• 华为仓颉语言 VS Code 插件上线，支持语法高亮、自动补全等

• 微软裁员风暴：软件工程岗位成重灾区

• Meta 推迟发布旗舰 AI 模型 Behemoth

• 随着流量下降 Stack Overflow 考虑品牌重塑

• 苹果新一代 CarPlay Ultra 正式发布：深度整合车辆控制功能，阿斯顿・马丁车主率先用上

• 传奇程序员卡马克：如果软件能优化世界会更好

• 京东大模型开发计算研究登 Nature，破解 AI 落地效率密码

• Rust 十周年：市场份额达 3%，跻身全球编程语言前十

• 腾讯元宝浏览器插件上线 Chrome：支持划词提问，外文网页翻译

• Qwen3 技术报告首次全公开！

• Stability AI 发布全新音频生成模型，可在端侧运行

国内要闻

小米自研手机 SoC 芯片“玄戒 O1”官宣：5 月下旬发布，雷军感叹“十年造芯路”

雷军昨日晚间官宣：小米自主研发设计的手机 SoC 芯片，名字叫玄戒 O1，即将在 5 月下旬发布。回顾小米的造芯历程，雷军表示：“小米十年造芯路，始于 2014 年 9 月。超长周期、超大投入和无限的勇气，终于迎来了这一时刻。”事实上，小米在自研芯片的道路上已经走过了不少波折。2017 年，小米首度在小米 5C 上搭载了由松果团队打造的澎湃S1处理器，采用 28nm 工艺制程，虽然这款芯片仅有一代产品，但也为小米奠定了自研芯片的基础。

“微信过期图片可找回”登上热搜，腾讯员工否认并详解机制

5 月 15 日，“原来微信过期图片是可以找回的”词条现身微博热搜榜单，更有博主发帖子给出了“详细教程”：微信-设置-通用-存储空间-管理聊天记录-找到对应的聊天记录并点击右侧“i”图标-选择目标图片并长按保存，但“只适用于打开过的内容”。

对此，微信员工 @客村小蒋  转发了这则“教程”，并直言“没有一处是对的”。同时，他还详细解释了这一做法行不通的地方：

微信里显示过期的图片，一定没有再以原图大小占空间了，视频里说“过期了的图片还占内存”，还冠以“微信最恶心的功能”，可以说是造谣 + 诋毁了。

图片显示过期，意味着接收方根本没点开过图片，它只以一个极小的缩略图存在，占的空间几乎可以忽略不计。

举个具体的场景，说一下微信里图片显示过期的机制：A 从相册选了一张照片发给 B，B 在微信收到后，点开图片查看，图片会加载显示。如果 B 超过 14 天都没点开，才会显示过期，这个过程里，图片也不会占本地手机空间。

视频里所谓的从【我-设置-通用-存储空间-聊天记录管理】中，能恢复过期图片，也根本行不通。

为什么有些人会有“我明明看过某张图，为什么还是显示过期了”的错觉？我自己观察，很可能是当事人记错了究竟是在手机、电脑还是平板设备上点开查看了图片，或者是做过聊天记录清理。

微信成立电商产品部，曾鸣任负责人向张小龙汇报

腾讯发布全员信，宣布微信事业群组织架构调整，成立电商产品部，由曾鸣负责，探索微信内交易模式并加速发展交易基建及生态。同时，开放平台基础部更名为开放平台部，由杜嘉辉负责。腾讯计划通过优化交易模式和生态，利用微信庞大的用户基础和社交属性，进一步拓展电商业务。然而，微信电商面临市场竞争激烈、运营经验不足等挑战。腾讯 2025 年第一季度财报显示收入 1800.22 亿元，同比增长 13%，净利 478 亿元，同比增长 14%。

梁文锋署名 DeepSeek 新论文：公开 V3 大模型降本方法

DeepSeek 团队近日发表了新论文《Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures》（https://arxiv.org/pdf/2505.09343），梁文锋也参与其中。此论文揭示了 DeepSeek-V3 大模型的优化方法，通过内存优化、计算优化、通信优化及推理加速四项核心技术，显著降低训练成本并提升效率。论文还展望了下一代 AI 硬件的发展方向，包括低精度计算支持、扩展融合、网络拓扑优化、内存系统改进和鲁棒性增强，以更好地满足大规模模型训练需求。

华为仓颉语言 VS Code 插件上线，支持语法高亮、自动补全等

华为仓颉语言 VS Code 插件已上线 Visual Studio Marketplace，覆盖 Windows、Linux、macOS 及远程 SSH 环境。该插件的主要功能亮点包括：语法高亮、自动补全、定义跳转、查找引用、诊断报错、选中高亮、悬浮提示、签名帮助和重命名等功能。

国际要闻

微软裁员风暴：软件工程岗位成重灾区

在微软近日宣布的大规模裁员中，据媒体查阅的华盛顿州官方文件显示，在微软总部所在地，软件工程岗位是此次裁员中受影响最严重的类别，占该州被裁约 2,000 人中的超过 40%。微软本周二表示将在全球范围内裁员约 6,000 人，华盛顿州的裁员人数约占总数的三分之一。

随着微软及其竞争对手在人工智能领域持续加大投资力度，企业正对运营成本进行更严格的审视，并重新调整预算结构。近期，微软高管承诺在巨额数据中心建设投资背景下，仍将严控总体支出。与此同时，人工智能驱动的开发工具已具备编写和分析代码的能力，正在逐步取代一部分传统由工程师手动完成的开发任务。微软首席执行官萨蒂亚・纳德拉（Satya Nadella）今年 4 月表示，在微软的一些项目中，多达 30% 的代码已经由 AI 编写。

Meta 推迟发布旗舰 AI 模型 Behemoth

Meta推迟发布旗舰AI模型Behemoth，最早计划4月发布，后推迟到6月，现预计秋季甚至更晚发布，引发内部对其AI投资的担忧。Meta曾宣传Behemoth在某些测试中超越OpenAI、Google和Anthropic，但内部人士称其性能受训练过程限制。Meta高层对AI产品组，尤其是开发Llama 4的团队表现失望，或将进行管理调整。此外，Meta的第一代Llama模型的14名研究者已有11人离职，近期Llama模型也存在问题，提交至排行榜的模型并非公开版本，而是专门优化过的。

随着流量下降 Stack Overflow 考虑品牌重塑

由于 AI 聊天机器人在回答编程相关问题上更快捷更方便，著名编程问答社区 Stack Overflow 的流量持续下降，Stack Overflow 母公司 Stack Exchange 表示在考虑品牌重塑。根据官方统计数据，2025 年 4 月的问题和答案数比 2024 年同期下降了 64% 以上，比峰值的 2020 年 4 月下降了 90% 以上。CEO Prashanth Chandrasekar 表示公司考虑在问答功能外加入社区和职业发展服务。该公司已在试验多项新服务，包括 AI Answer Assistant 和Question Assistant，以及与 Indeed 合作的招聘网站等。

苹果新一代 CarPlay Ultra 正式发布：深度整合车辆控制功能，阿斯顿・马丁车主率先用上

在经历数月的延迟之后，苹果公司终于正式宣布推出新一代 CarPlay，并将其命名为“CarPlay Ultra”。从今日起，美国和加拿大的消费者在订购阿斯顿・马丁新车时，即可用上 CarPlay Ultra。此外，苹果还将通过软件更新的方式，将 CarPlay Ultra 引入现有的车辆中。据苹果介绍，CarPlay Ultra 通过将车辆控制功能与 CarPlay 体验深度整合，实现了对车辆仪表盘和仪表的显示接管，包括空调、驾驶辅助系统等的开关控制，以及更高级的媒体控制功能。

传奇程序员卡马克：如果软件能优化世界会更好

我们似乎对不断推陈出新的芯片有着无止境的需求，但与此同时臃肿未优化的软件让更先进的芯片难以展现其优越性。著名游戏设计师、id Software 联合创始人、前 Oculus CTO 卡马克（John Carmack）认为，我们对尖端芯片的依赖远不如大多数人想象的那么强烈——我们只是缺乏经济动机去证明。最大的问题是低效的软件而不是硬件限制。如果软件优化成为优先事项，那么可能比很多人想象的有更多东西会运行在旧硬件上，如果新芯片停止供应，市场压力将推动效率的巨大提升。

程序员专区

京东大模型开发计算研究登Nature，破解AI落地效率密码

5 月 15 日，京东探索研究院论文《Omniforce：以人为中心的、赋能大模型的、云边协同的自动机器学习系统》发表于Nature旗下期刊npj Artificial Intelligence（https://www.nature.com/articles/s44387-025-00002-0），该项研究提出了一种在开放环境场景中训练、更新大模型，并与小模型协同部署的系统与方法，成为国内首个系统性解决开放环境下大模型开发效率难题并获国际顶刊认证的研究成果。该技术通过模型蒸馏、数据治理、训练优化与云边协同四大创新，将大模型推理效率平均提升 30%，训练成本降低 70%，为大模型规模化落地提供了可复用的技术范式。

Rust 十周年：市场份额达 3%，跻身全球编程语言前十

科技媒体 linuxiac 发布博文，报道称 Rust 编程语言迎来 10 周年，官方发布 1.87 版本，市场份额已达 3%，跻身全球编程语言前十。

回看 Rust 的诞生过程，颇具传奇色彩。Mozilla 开发者 Graydon Hoare 2006 年因电梯软件故障，被迫爬 21 层楼梯回家。这次挫折激发了他的灵感：为何不设计一种从根本上杜绝此类可靠性问题的编程语言？这一想法成为 Rust 的起点。Mozilla 于 2009 年正式支持该项目，为 Rust 的发展奠定基础；Rust 1.0 版本于 2015 年 5 月 15 日发布，标志着其正式问世。Rust 的核心优势在于其“ownership model”（所有权模型），能在编译时消除数据竞争和空指针解引用等 bug，且无需垃圾回收机制。这让 Rust 在操作系统、游戏引擎和浏览器等性能关键领域大放异彩。开发者过去常在性能与安全之间挣扎，C 和 C++ 等传统语言虽速度快，却易出错，而 Rust 以编译时安全检查填补这一空白，成为系统编程的革新者。（IT 之家）

腾讯元宝浏览器插件上线 Chrome：支持划词提问，外文网页翻译

腾讯元宝浏览器插件上线 Chrome 应用商店，用户可下载使用。插件支持划词提问、内容总结、网页翻译及一键收藏等功能，并同步所有收藏内容。未来将在页面右侧提供悬浮球与侧边栏，便于截图提问、上传文件和搜索内容。目前仅支持 Chrome，后续将兼容 QQ 浏览器和搜狗浏览器等。腾讯元宝基于混元大模型，提供 AI 搜索、总结、写作等功能，接入微信搜一搜和搜狗搜索以提升搜索效率。

Qwen3 技术报告首次全公开！

不久前，通义千问 Qwen3 系列模型正式开源，而在 5 月 14 日，通义千问团队又正式发布了 Qwen3 的技术报告。在这份Qwen3技术报告中，你可以深入了解到Qwen3模型架构、预训练及后训练过程、模型性能表现等诸多此前尚未公布的技术细节。

报告可在GitHub上下载：https://github.com/QwenLM/Qwen3/blob/main/Qwen3_Technical_Report.pdf

Stability AI 发布全新音频生成模型，可在端侧运行

Stability AI 推出可在手机端运行的音频生成模型 Stable Audio Open Small，该模型与 Arm 公司合作开发，基于免版税音频库训练，含 3.41 亿参数，专为快速生成短音频采样和音效设计，能在 8 秒内生成 11 秒长的音频。

---