📰 假期也值得一看的新闻
DeepSeek 发布 DeepSeek-Prover-V2 新模型
昨日下午，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。
今天凌晨，DeepSeek 公布了这个模型的更多技术细节。
延续一贯的开源节奏，DeepSeek 在 Hugging Face 正式发布 DeepSeek-Prover-V2，并同步上线模型卡及示例代码。此次共推出两个版本：
- DeepSeek-Prover-V2-7B：基于上一代 V1.5 模型，支持最长 32K 上下文输入；
- DeepSeek-Prover-V2-671B：在 DeepSeek-V3-Base 基础上训练，推理性能最强。
据官方论文披露，DeepSeek-Prover-V2 的训练核心是「递归+强化学习」的组合：即先由 DeepSeek-V3 拆解复杂定理，生成一系列子目标和推理思路；再通过 GRPO 算法，从多种候选方案中自动学习如何选出最优解。
DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署。
目前，Prover-V2 系列已可通过 Hugging Face 平台免费下载，并支持 Transformers 接口部署。Novita AI 是首批上线 Prover-V2-671B 推理服务的第三方提供商，APPSO 也借此测试了一些问题。
HuggingFace：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
游戏科学获 2025 年度中国青年五四奖章集体
4 月 30 日，据央视新闻和新华社消息，2025 年度中国青年五四奖章评选结果正式揭晓。
为表彰我国优秀青年在推进中国式现代化中的贡献，集中展示新时代青年的精神品格和价值追求，激励引导全国广大青年积极投身强国建设、民族复兴伟业，共青团中央、全国青联决定：
- 授予王传英等 30 名同志 2025 年度中国青年五四奖章；
- 授予新疆克州阿图什市哈拉峻乡谢依特小学戍边支教西部计划志愿者服务队等 30 个青年集体 2025 年度中国青年五四奖章集体；
- 授予王崇鹏等 677 名同志 2025 年度新时代青年先锋奖。
值得一提的是，《黑神话：悟空》的开发商游戏科学被授予 2025 年度中国青年五四奖章集体。
据悉，《黑神话：悟空》面世后斩获多项国际游戏大奖，包括 TGA 2024 年度最佳动作游戏奖、Steam 年度最佳游戏奖等。
小米开源首个推理大模型
昨日，小米大模型团队宣布开源旗下首个推理大模型「Xiaomi MiMo」。
小米方面介绍，7B 参数规模的 MiMo 在数学和代码领域表现出色。性能表现如下：
- 在数学推理（AIME 24-25）和 代码竞赛（LiveCodeBench v5）公开测评集上，MiMo 超越了 OpenAI 的闭源推理模型 o1-mini 和阿里 Qwen 更大规模的开源推理模型 QwQ-32B-Preview。
- 在相同 RL 训练数据情况下，MiMo-7B 的数学&代码领域的强化学习潜力超越 DeepSeek-R1-Distill-7B 和 Qwen2.5-32B。
据介绍，MiMo 的推理能力提升，源于其在预训练和后训练阶段的多项数据与算法的联合驱动创新：
- 预训练阶段创新：旨在让模型接触更多推理模式。着重挖掘富推理语料，并合成约 200B tokens 推理数据；进行了三阶段训练，逐步提升训练难度，总训练 25T tokens。
- 后训练阶段创新：旨在建立高效稳定的强化学习系统。提出 Test Difficulty Driven Reward 来缓解困难算法问题中的奖励稀疏问题，并引入 Easy Data Re-Sampling 策略，以稳定 RL 训练；设计了 Seamless Rollout 系统，使得 RL 训练加速 2.29 倍，验证加速 1.96 倍。
目前，MiMo-7B 已在 Hugging Face 平台开源 4 个模型版本，技术报告也同步上线 GitHub，向开发者与研究者全面开放。
另据悉，MiMo 系列由新组建的「小米大模型 Core 团队」打造，意在探索预训练增长瓶颈之外的能力突破路径，激发模型的推理潜能。
HuggingFace：https://huggingface.co/XiaomiMiMo
GitHub 技术报告：https://github.com/XiaomiMiMo/MiMo/blob/main/MiMo-7B-Technical-Report.pdf
扎克伯格首次回应「Llama 4 测试风波」
日前，Meta CEO 扎克伯格接受 Dwarkesh Patel 的采访，前者在采访中首次回应了此前 Llama 4 大模型基准测试争议。
采访中，主持人提到 Llama 4 目前的排名下降多名，表现甚至不如 OpenAI 的 o4-mini 和 Google 的 Gemini 2.5 Flash。对于此情况，扎克伯格表示「这些测试并非用户日常会做的事情，基准测试衡量的内容与人们实际关心的事情有所不同」。
扎克伯格进一步表示，Llama 没有过度优化基准测试中所需测试的相关项目，并表示 Meta 始终将产品定位在用户使用价值上，因此会导致模型在基准测试上的表现不太「好看」。扎克伯格还「拉」了 Anthropic 的 Claude Sonnet 3.7 一同佐证自己的观点：Sonnet 3.7 表现很好，但也没在竞技场的顶部。
扎克伯格表示，团队若想优化 Llama 4 在基准测试的表现并非难事，之所以不选择过度优化，是为了让模型与用户实际体验对齐。
据了解，Meta Llama 4 大模型于 4 月 6 日正式发布，号称原生多模态 MOE 模型，击败 DeepSeek V3，还有 2 万亿参数巨兽。但据网友们实测后反馈，却几乎是一边倒的负面评价，并且有不少人质疑其真实性能。
采访链接：https://youtu.be/rYXeQbTuVl0?feature=shared
微软 CEO：公司多达 30% 的代码由 AI 生成
日前，微软 CEO Satya Nadella 参加 Meta 的 LlamaCon AI 开发者大会，并在会上与 Meta CEO 扎克伯格分享了微软内部使用 AI 工具的情况。
Nadella 在对话中称，目前微软的代码库中，约有 20%-30% 的代码由 AI 完成，甚至一些项目，都可能完全由 AI 进行编写。
随后 Nadella 也反问回扎克伯格「Meta 的代码有多少由 AI 编写」，扎克伯格表示「无法提供确切的数字」，但他表示 Meta 正在构建一个 AI 模型，该模型能够开发 Meta 旗下 Llama 系列模型的未来版本。另外，扎克伯格还透露，公司目前预期是「明年约有一半工作由 AI 完成，并且比例不断增加」。
近期，微软还公布了 2025 年度工作趋势指数报告。
微软通过多方数据整合得出一个不可逆转的趋势：AI 已经令人类的工作场合发生了巨大的变化，并且一种名为「前沿公司」的组织模式正在产生。这一模式将会围绕 AI 发展，促使人类与 Agent 成为混合型团队，最后令每个人类员工成为 Agent 的「主管」。
据微软官方介绍，「前沿公司」都会经历「AI 充当助手」「Agent 成为数字同事」「人类员工为 Agent 提供思路方向」这三个步骤。而据微软预测，未来 2-5 年内，每个公司都将会踏上「前沿公司」这一模式的路途。
索尼被传拆分半导体业务后股票大涨
据彭博社消息，索尼正在考虑将其半导体解决方案公司拆分并上市，该计划最早可能在今年内完成。
受到该消息影响，索尼股价在日本股市一度大涨 6.8%，创 4 月 1 日以来的新高点位，位列日经 225 日本蓝筹股指数涨幅前列。日本股市周二因假期休市，周三复市后，日本大盘（即东证指数）上涨约 0.5%。
报道指出，不少业内人士及分析机构对索尼本次拆分计划给出了「好评」，认为索尼半导体业务被剥离后，该公司能转型为一家更纯粹的娱乐公司。
值得一提的是，索尼回应彭博社表示，媒体的报道是基于猜测，而公司目前没有具体的计划。
豆包 PC 生图功能升级
最近，豆包电脑版和网页版「图像生成」功能推出「超能创意 1.0」模式，一次最多生成 20 张差异化图像。
目前，打开豆包电脑版或网页版（doubao.com）选择「图像生成」按钮，即可体验「超能创意 1.0」模式。另外，豆包 App 端也已开启内测，可一次直出 10 张图像。
快手提高可灵 AI 的优先级
据《晚点》获悉，快手在昨日成立了可灵 AI 事业部：
- 可灵 AI 事业部下设可灵 AI 产品部、运营部和技术部，负责可灵、可图等系列大模型业务，快手高级副总裁盖坤担任可灵 AI 事业部负责人，继续兼任社区科学线负责人。
- 与此同时，社区科学线下成立基础大模型与应用部，负责 LLM 大模型、多模态理解大模型以及应用技术研发。
- 调整后，可灵 AI 将作为与主站、电商等并列的一级业务部门，向快手董事长兼 CEO 程一笑汇报。这也是近 3 年时间里，快手唯一成立的独立事业部。
在今年 3 月底的快手财报电话会上，程一笑称，目前可灵 AI「图生视频」功能的综合效果处于全球第一。
官方数据显示，自商业化以来至今年 2 月，可灵 AI 累计营业收入已超过 1 亿元。据了解，可灵 AI 今年前三个月的营收，已超过 2024 年下半年的总和。
报道指出，快手是押注视频模型最坚定的中国互联网公司之一：
- 快手在 2023 年初启动 AI 战略并制定了相应目标规划。程一笑便提及，AI 是个新时代，对快手来说，推荐和视频生成领域是发力点。
- 2024 年 6 月，可灵大模型上线，这是全球第一个与 Sora 一致采用 DiT 路线，且直接面向普通用户开放的视频大模型。
- 值得一提的是，可灵大模型是由快手社区科学线的团队开发的。其中许多成员原本的日常工作就是处理千万量级的视频内容，援引可灵人士信息：「这种能力和工作流程是可以直接复用的。」
苹果 AirPlay 被曝漏洞，影响多个设备
据 Wired 消息，网络安全公司 Oligo 日前揭露了苹果 AirPlay 功能的一组安全漏洞「Airborne」，该漏洞或会波及到数百万台苹果设备及通过 AirPlay 连接的配件。
据悉，恶意攻击者能利用「Airborne」，通过同一 Wi-Fi 网络环境，去控制支持 AirPlay 的设备，并向连接的设备传播病毒文件。公共 Wi-Fi、商业场所等人流密集的地区会因上述漏洞成为高危地带。
Oligo 研究人员指出，不仅 AirPlay 会受到「Airborne」的攻击，CarPlay 也同样受到该漏洞的影响。恶意攻击者若直接在车内通过蓝牙或 USB 端口连接上车机的 CarPlay 服务，或能劫持车辆的车机系统。但这种攻击方式因需物理接触，因此发生的情况较为罕见。
Oligo 研究人员共计发现 23 处漏洞，随后苹果发布了 17 个 CVE 追踪漏洞补丁修复，并在官网详细列出漏洞信息。此外，苹果还为第三方制造商更新了 AirPlay SDK 以解决问题。
💡 腾讯智慧出行副总裁：让 AI 变成汽车行业的「水和电」
日前，腾讯智慧出行副总裁钟学丹接受界面新闻采访，其分析了如今车企在 AI 领域的局面情况，还分享了一些自己看待 AI 与出行的观点。
在钟学丹看来，高性能算力、精准数据闭环、快速迭代的 AI 模型，是汽车智能化的三大底层要素，但也是许多车企的薄弱环节。而这也导致车企在将 AI 技术转化为 AI 应用的过程中面临一系列挑战：
训练模型需要大量高质量数据，车企拥有海量繁杂数据但却不知如何筛选与提炼为大模型所用，并面临着「规模-效率悖论」。而在模型能力方面，车企在基础设施和工具链的布局还不够全面，基于预训练的 Scaling Law 也达到瓶颈；当 AI 应用真正在车端落地时，车企则难以找到最佳的转化方式。
结合上述情况，钟学丹分析了腾讯目前的出行定位：汽车产业的数智化助手和生态共建者。其表示，腾讯的优势在于独到的数据闭环能力、丰富的模型训练经验，以及广泛的用户连接能力，能够把 AI 能力转化成对用户需求的实现。前两者决定了模型的能力、效果和质量，后者则关乎用户最核心的使用体验。
最后，钟学丹还表示，汽车产业已经进入到深度、全面应用 AI 大模型的阶段。钟学丹也预测了「汽车智能化大潮真正的‘质变’时刻」：
在大家解决数据工程、模型优化和应用场景接入上的难题，最终让汽车行业像用水用电一样，用好 AI 工具，做出更好的 AI 应用。
新款 Apple Watch SE 或将升级屏幕尺寸
据 9to5mac 援引供应链分析师 Ross Young 消息，新款 Apple Watch SE 的显示屏刚刚投入生产。其透露，新机所采用的屏幕尺寸有所变化。
Ross Young 指出，新款 Apple Watch SE 的屏幕尺寸分别约为 1.6 英寸和 1.8 英寸。而上述的尺寸信息与 Apple Watch Series 9 的 41mm 和 45mm 两个版本接近。
目前，在售的 Apple Watch SE 屏幕尺寸分别为 40mm 和 44mm，因此也可推测新款 Apple Watch SE 或将采用 Apple Watch Series 9 同款窄边框屏幕。
另外，Ross 还分析了新款 Apple Watch SE 的发布时间。其表示，产品显示器在公开发布前几个月投产十分正常，虽然目前处于 4 月下旬（或 5 月上旬），但新款 Apple Watch SE 可能仍定于 9 月，与 Series 11、Ultra 3 一同发布。
12.98 万元起，2026 款零跑 C10 开启预售
4 月 30 日，零跑汽车宣布旗下 C10 车型推出 2026 款版本，先看价格：
- 纯电版售价为 13.98 万元和 14.98 万元（提供激光雷达），均为 605km 续航
- 增程版售价为 12.98 万元和 13.98 万元（提供激光雷达），纯电续航均为 210km
新车升级点如下：
- 内外饰：新增曦露紫外观色和隐藏式电动门把手，内饰提供 50W 手机无线快充；
- 智能化：升级为高通 SA8295P 智能座舱；提供激光雷达端到端辅助驾驶；
- 续航：升级为 605km 长续航，纯电升级为全域 800V 高压快充平台；
- 性能：配备同级唯一爆胎稳定控制系统，电机峰值功率提升至 220kw。
零跑 C10 于 2024 年 1 月亮相，并于 3 月上市。该车型基于「四叶草」中央集成式电子电气架构打造，同时其也是零跑 LEAP 3.0 技术架构下的首款全球战略车型；上市售价为 12.88 万元至 16.99 万元。
荣耀 MagicBook Pro 16 2025 发布，首发搭载 5070 显卡
4 月 30 日，荣耀 MagicBook Pro 16 2025 正式发布，新机提供集显版和独显版（HUNTER 版）。
荣耀 MagicBook Pro 16 2025 HUNTER 版首发搭载满血版英伟达 GeForce RTX 5070 显卡（115W 版本）；同时新机至高搭载英特尔 Ultra 9 285H 处理器；在狂战模式下，整机最高可释放 150W 超强性能。
此次荣耀 MagicBook Pro 16 升级了全新静音高性能模式 2.0： HUNTER 版在静音高性能模式下，可以在 35dB 噪音下提供 100W 性能释放，同功耗下噪音表现相比同类产品下降 14-16dB；同时，产品采用全新荣耀智静散热设计，配备行业领先 12mm 大直径复合 3D 隧道式热管、12V 电竞级双百叶静音风扇等散热组件。
外观方面，荣耀 MagicBook Pro 16 2025 独显版本轻至 1.86kg，集显版本为 1.81kg。整体机身采用了楔形设计，配色方面新增星辰灰配色。
接口上，荣耀 MagicBook Pro 16 2025 全新升级 HDMI 2.1-FRL 接口，拥有 2 个 USB-A 3.2 Gen2 接口、1 个雷电 4 和 1 个全功能 USB-C 接口。另外全系搭配 1TB 固态大硬盘，另支持 2242 M.2 接口扩展。
价格方面：
- 独显版（HUNTER 版）国补到手价 9499 元起
- 集显版国补到手价 5039.2 元起
OPPO Find X8 系列影像能力升级
昨日，OPPO 官方宣布旗下 Find X8 Ultra 和 X8s 系列将迎来影像能力升级，具体升级内容如下：
- 全球首个 ProXDR 实况照片上线，并且在小红书中全球首次实现 HDR 实况照片分享；
- 新机的大师模式正式支持实况照片拍摄；
- 专业哈苏人像算法升级；
- 新增专业视频创作模式，提供直方图音频电平、峰值对焦，Find X8 Ultra 机型还支持 4K 60fps/120fps Log 录制。
适配计划时间方面：
- 五月：Find X8 Ultra 机型将支持 ProXDR 实况照片拍摄与分享、大师模式实况照片拍摄、哈苏人像效果升级；
- 六月：Find X8 Ultra 加入专业视频创作模式，Find X8s 系列支持大师模式实况照片拍摄；
- 七月：Find X8 Ultra 支持 4K 120fps Log 录制。
淘宝加入即时零售大战，推出闪购功能
日前，我们实际观察发现，淘宝已将即时零售业务「小时达」界面升级为「闪购」。而据《晚点》获悉，「闪购」将先在 50 多个城市上线，后续于 5 月 6 日覆盖全国。
报道指出，淘宝升级「闪购」功能后，最重要的变化会集中在三个方面：
- 消费者侧，淘宝闪购将联合饿了么共同补贴，规模超过百亿元，提供免单、大额优惠券等；
- 供给侧，饿了么的供给面向淘宝闪购全部开放，也包括餐饮外卖，此外，结合淘天在品牌电商商家的优势，与它们的城市仓、线下门店合作设立品牌即时零售旗舰店，目标是首先覆盖 200 家核心连锁品牌；
- 组织侧，淘系内部所有和即时零售相关的业务将由淘宝闪购全面负责，饿了么全力协同。
据了解，淘宝小时达入口于 2024 年 7 月在淘宝首页全量开放，一个月后，苹果授权专营店全国超过 3000 家门店全面接入淘宝小时达。过去一年，淘宝小时达把几乎所有品类试验了一遍，最终内部认定淘宝闪购比较有优势的品类是 3C 数码、服饰等品类，截至目前已有 300 多万家门店开通了淘宝小时达服务。
移动互联网未成年人模式发布
据网信中国消息，4 月 29 日，移动互联网未成年人模式在第八届数字中国建设峰会主论坛上正式发布。目前，未成年人模式突破一系列技术瓶颈，实现了全方位优化和系统性升级：
- 操作方式：移动智能终端、应用程序、应用程序分发平台实现三方联动，家长可在手机端显著位置点击图标，「一键启动」未成年人模式，所有应用程序同步切换，形成一个相对独立、安全可控的上网环境。
- 内容生态：适合未成年人的优质内容得到大幅扩充，重点平台依托儿童内容创作者、版权资源、权威机构等，筛选海量内容纳入未成年人模式，并建立年龄分层、内容分类、推荐分众的梯度化内容体系。
- 功能服务：未成年人模式可以提供每日上网总时长控制、使用时段设置、休息提醒、应用管理、使用情况统计等功能，家长可根据实际情况调整各项设置。
- 覆盖范围：华为、OPPO 和中兴在手机系统更新后提供未成年人模式，小米、荣耀和 vivo 在发布的新机上搭载未成年人模式，应用商店建立未成年人专区，短视频、社交、电商、教育、工具等领域重点应用程序全面升级未成年人模式。
- 后续模式的覆盖范围还将持续扩大，满足未成年人日常使用需求、提供丰富多元服务。
《惊天魔盗团 3》官方预告片发布
日前，电影《惊天魔盗团 3》发布海报及预告片，将于 11 月 14 日北美上映。
据悉，第一部主演杰西·艾森伯格、马克·鲁法洛、伍迪·哈里森、艾拉·费舍尔、戴夫·弗兰科、摩根·弗里曼将回归，阿丽亚娜·格林布拉特、贾斯蒂斯·史密斯、多米尼克·塞萨饰演新一代魔术师，裴淳华等也新加盟出演。
该片将由鲁本·弗雷斯彻执导，迈克尔·莱斯利编剧。
✨ 是假期啊！
One Fun Thing｜苹果上线「名人百科」
近期，苹果上线了一个「名人百科」网站。网站首页显示：
你最爱的，一目了然。
苹果官方介绍，该网页能进一步了解用户在苹果娱乐生态中，所喜欢的艺术家、演员和运动员。网页下方有一个名单流，不断滚动播放名人卡片。点击卡片能展开了解名人的个人资料、相关作品等内容。
假期看什么｜《孤独的美食家剧场版》
从事进口杂货销售的井之头五郎，是个喜欢在工作之余到处品尝美馔的老饕。只要肚子一饿，就会秉持「吃饭皇帝大」的信念，抛下一切直奔周遭的餐厅食堂大快朵颐。
这回，他接到前女友的女儿「千秋」的委托，前往法国拜访千秋的祖父一郎，并要帮助一郎找出童年时曾喝过的汤头食谱。尽管线索相当稀少，五郎依旧踏上寻找「究极汤头」的旅程。不过在这趟旅程当中，他却意外卷入到一场更大的风暴当中。
《孤独的美食家剧场版》由松重丰执导， 松重丰、田口佳宏编剧， 松重丰、内田有纪、矶村勇、村田雄浩等主演，该片于 2025 年 1 月 10 日日本上映，4 月 18 日中国上映。
买书不读指南｜《生命之书》
《生命之书》是作者舍温·B·努兰医生个人行医生涯和人生经验交织而成的记录与反省。
书中，作者以医生的身份带领读者开启一场探索生命的旅行，以医生的双手揭开生命的神秘面纱。以疾病为切入点，从循环系统、神经系统、消化系统，讲到生殖系统，用作者处理过的真实病例，让读者知道各个系统如何运作。
本书不仅为读者呈现了人体的精妙，更讲述了使生命延续，以及人存在的意义。
游戏推荐｜《饥饿鲨：世界》
游戏中，作者将扮演一条饥饿的鲨鱼，在不同国家、地区的各个海域中，进行人类「猎捕」计划，从而来进行「饱餐一顿」。
游戏的玩法十分简单粗暴，玩家只需要将鲨鱼移动到人类身边并将人类「吃掉」即可。玩家还可以探索包括太平洋群岛、北冰洋等四个不同的场景。游戏中有超过 30 种鲨鱼种类供玩家选择，从迷你号到大大大号鲨鱼，每种鲨鱼都有其独特的特性和能力。
《饥饿鲨：世界》于 2016 年 5 月登陆 App Store，支持 Android、iOS 等平台。
评论
发表评论