摘要：雷军在小米之家职务由执行董事改任董事魅族万志强：钱主要花在产品和用户上，没有太多推广费饿了么：淘宝闪购上线6天，外卖单日订单量已破1000万梁文锋和杨植麟再“撞车”Mozilla 高管称没有 Google 的默认搜索交易它会倒闭Anthropic 推出 AI

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

整理 | 苏宓

出品 | CSDN（ID：CSDNnews）

一分钟速览新闻点！

雷军在小米之家职务由执行董事改任董事

魅族万志强：钱主要花在产品和用户上，没有太多推广费

饿了么：淘宝闪购上线6天，外卖单日订单量已破1000万

梁文锋和杨植麟再“撞车”

Mozilla 高管称没有 Google 的默认搜索交易它会倒闭

Anthropic 推出 AI for Science 计划：为生命科学等领域研究者提供免费 API 积分

微软 14 年老牌通讯软件 Skype 停运，并建议用户迁移至 Teams

OpenAI 放弃商业架构计划，软银投资或减 50%

苹果因违反应用商店禁令被开发者起诉，索赔数十亿美元

PHP 开源项目 ADOdb 曝 CVSS 满分 SQL 注入漏洞，官方督促用户升级至 5.22.9 版本解决

Ubuntu 25.10 代号 Questing Quokka

KDE Plasma 团队调整开发策略：取消独立 LTS 发行版、延长正式版支持周期

国内要闻

雷军在小米之家职务由执行董事改任董事

小米之家商业有限公司近日发生工商变更，雷军从执行董事改任董事，经营范围新增智能家庭消费设备销售和美发饰品销售。该公司成立于 2017 年 6 月，法定代表人为孙波，注册资本 1 亿人民币，由小米通讯技术有限公司全资持股。

魅族万志强：钱主要花在产品和用户上，没有太多推广费

星纪魅族集团因推广费用有限，市场品牌部总经理万志强将以员工及用户身份宣传新品并参与行业讨论。Flyme 12 系统提前至 5 月中旬发布，原计划一同发布的魅族 Note 16 系列手机也将出厂即搭载 Flyme 12，成为非旗舰机型首发大版本系统。Note 16 系列将推出两款机型，其中一款采用八边形相机模组与直角边框设计。

5 月 5 日晚间消息，饿了么官方宣布，截至 5 月 5 日 20 时 28 分，来自淘宝闪购的当日订单已突破 1000 万单，此时距离淘宝闪购业务正式上线仅 6 天。4 月 30 日，淘宝 “小时达”正式升级为 “淘宝闪购”，由饿了么重点保障外卖配送服务。此次升级，淘宝闪购与饿了么聚焦消费者福利、大力度补贴用户，全国城市商户报名踊跃，原定于 5 月 6 日的全量上线提前至 5 月 2 日。淘宝闪购订单数量的激增，带动饿了么多地订单整体爆发。截至目前，包括重庆、深圳、广州、成都、徐州、台州、临沂在内的 39 个城市单日订单数量突破历史峰值。此外，已有超过 1000 家品牌在饿了么的生意刷新了历史峰值。

继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4月30日，DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2的参数规模进一步扩展到671B（6710亿规模参数），相较于前一代V1.5版本的7B规模增加了近百倍，这让其在数学测试集上的效率和正确率更高，比如，该模型的miniF2F测试通过率达到88.9%，它还解决了PutnamBench（普特南测试）的49道题。

巧合的是，4月中旬，月之暗面也曾推出一款用于形式化定理证明的大模型Kimina-Prover，这是Kimi团队和Numina共同研发的大模型，该产品也开源了1.5B和7B参数的模型蒸馏版本。该模型的miniF2F测试通过率为80.7%，PutnamBench测试成绩为10道题。两者相比较，在miniF2F测试通过率以及普特南测试上，DeepSeek-Prover-V2的表现超过了Kimina-Prover预览版。

国际要闻

Mozilla 高管称没有 Google 的默认搜索交易它会倒闭

Google 被裁决涉嫌搜索垄断，美国司法部希望分拆 Chrome 以及终止 Google 与浏览器开发商如 Mozilla 的默认搜索引擎交易。Mozilla CFO Eric Muhlheim 在法庭上作证称，如果终止默认搜索交易，Firefox 可能会倒闭。Firefox 约占 Mozilla 收入的 90%，其中 85% 来自与 Google 的默认交易。如果 Mozilla 失去这笔收入，它将不得不大幅削减公司开支，缩减对 Firefox 的产品投资，此举可能会导致 Firefox 降低对用户的吸引力，引发恶性循环，最后可能导致 Mozilla 倒闭。

Anthropic 推出 AI for Science 计划：为生命科学等领域研究者提供免费 API 积分

AI 企业 Anthropic 当地时间今日宣布推出 AI for Science 科学支持计划。通过这一计划，被选中的研究人员将获得免费的大量 API 积分，用于加速科学研究与发现。Anthropic 相信 AI 有潜力显著加速科学进步：先进的 AI 推理和语言能力可以帮助研究人员分析复杂数据、生成假设、设计实验，并更有效地传达发现。Anthropic 的 AI 技术能减少科学发现所需的时间和资源，帮助解决人类面临的一些最紧迫的挑战。

微软 14 年老牌通讯软件 Skype 停运，并建议用户迁移至 Teams

今年 3 月，微软宣布将于 2025 年 5 月 5 日终止运营 Skype，并推荐用户迁移到 Microsoft Teams 应用程序，标志着这款曾经占据主导地位的互联网语音和消息服务即将画上句号，结束长达 14 年的运营。微软官方称，Skype 将在 2025 年 5 月停用。在接下来的几天里，你可以使用 Skype 凭据登录 Microsoft Teams，你的聊天和联系人将随时为你准备妥当。在 Teams 上可以享受喜欢的 Skype 功能（包括免费通话和收发消息），也可以享受会议和社区等新功能。

OpenAI 放弃商业架构计划，软银投资或减 50%

今晨，美国 OpenAI 公司 CEO Sam Altman 宣布，OpenAI 取消经营主体从非营利性组织法人转为营利有限责任企业的计划，未来，公司将继续由该非营利组织负责监督和控制公司发展，同时非营利组织将继续控股公益主体。该公司将推进其营利性部门允许更多融资，从而跟上AI竞赛的步伐。奥尔特曼在公开信中强调，非营利组织仍掌控一切，OpenAI 的使命没有改变，也不会改变。不过，此次放弃重组将影响软银对 OpenAI 的投资规模。今年 3 月底，OpenAI 宣布将从孙正义的日本软银集团（SBG）等机构融资 400 亿美元，该协议包含一项条款，如果 OpenAI 在 2025 年内没有转型为一家 PBC（公益公司），软银可以将其总投资从 400 亿美元减半至 200 亿美元。

苹果因违反应用商店禁令被开发者起诉，索赔数十亿美元

苹果因违反法院反引导禁令遭开发者集体诉讼，诉讼称苹果的政策导致开发者收入损失数十亿美元。尽管法院要求苹果放宽反引导规则，但其实施方式仍被指反竞争。上周，苹果调整政策允许无限制外部支付链接，但仍提起上诉。诉讼要求赔偿受影响的美国开发者，并迫使苹果放弃非法所得。此前，相关律师事务所曾为开发者争取到 1 亿美元和解金。

Grok 语音模式正式上线 为配合更新马斯克更改X昵称为“groklon Rust”

Grok 今日宣布，其语音模式已在 Grok 应用程序中全面推出，覆盖所有 iOS 用户及 Android 平台的 SuperGrok 订阅者。与此同时，马斯克将 X 平台昵称改为“groklon rust”，并更换头像，疑似配合新功能造势。

程序员专区

PHP 开源项目 ADOdb 曝 CVSS 满分 SQL 注入漏洞，官方督促用户升级至 5.22.9 版本解决

PHP 开源项目 ADOdb 于上周发布了 v5.22.9 版本，该版本主要修复一项 CVSS 风险评分高达 10 分（满分）的严重安全漏洞 CVE-2025-46337，官方透露该漏洞“可能影响全球 280 万个已安装 ADOdb 的环境”。据介绍，ADOdb 是一个广受欢迎的 PHP 数据库抽象层组件，它提供统一的 API 接口，使开发者可以使用相同的语法访问不同类型的数据库，支持 MySQL、PostgreSQL、SQLite、Oracle、Microsoft SQL Server、IBM DB2 和 Sybase 等多种数据库。

Ubuntu 25.10 代号 Questing Quokka

Canonical 开发者在 Ubuntu 邮件列表上宣布了将于 10 月发布的下一个版本 Ubuntu 25.10，代号 Questing Quokka。该版本与上个月发布的 Ubuntu 25.04 类似，都是短期支持版本。下一个长期支持版本将是 2026 年 4 月释出的 Ubuntu 26.04。Ubuntu 25.10 预计将使用新桌面环境 GNOME 49 以及新内核版本 Linux 6.17。其他变化包括 snap 版本的 CUPS 打印堆栈；迁移到基于 Rust 的 coreutils，现有版本重命名为 gnu-coreutils，用户如果需要可以切换回去；等等。

KDE Plasma 团队调整开发策略：取消独立 LTS 发行版、延长正式版支持周期

KDE Plasma 开发团队宣布调整 LTS 发行策略，将不再推出独立的 LTS 版本，而是通过增加一次补丁更新延长常规版本支持周期。团队还讨论了将发布节奏从 4 个月改为 6 个月，以提供更多优化时间。此外，因 QML 主题存在安全风险，团队计划逐步淘汰 QML 主题方案，转向更安全的主题引擎技术。

观点

来源：CSDN一点号