微信号怎么修改第二次太平洋科技 微信号如何更改第二次？

早报小米开源首个推理大模型/苹果 AirPlay 漏洞曝光，影响百万设备/扎克伯格回应「Llama 4 造假」质疑

DeepSeek发布DeepSeek-Prover-V2新模型

游戏科学荣获2025年中国青少年五四奖章集体

小米开源首个大规模推理模型

扎克伯格首次回应“Llama 4测试争议”

微软CEO：公司多达30%的代码由AI生成

传索尼将剥离半导体业务股价大涨

豆宝PC端图片生成功能升级

快手提高科灵AI优先级

苹果AirPlay漏洞曝光，影响多台设备

腾讯智慧出行副总裁：让AI成为汽车行业的“水和电”

新款Apple Watch SE可能会升级屏幕尺寸

12.98万元起，2026款跃动C10开启预售

荣耀MagicBook Pro 16 2025发布，首发搭载5070显卡

OPPO Find X8系列影像能力全面升级

淘宝加入即时零售大战，推出闪购功能

移动互联网未成年人模式发布

《惊天魔盗团 3》 官方预告片发布

昨天下午，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也用它来测试一些问题。

https://mp.weixin.qq.com/s?__biz=MjM5MjAyNDUyMA==mid=2651048400idx=1sn=2bf2b29cd7a074f881433697541a1e86scene=21token=1399331161lang=zh_CN#wechat_redirect

HuggingFace：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

4月30日，据央视新闻、新华社报道，2025年度中国青年五四奖章评选结果正式揭晓。

为表彰我国优秀青年为推动中国现代化建设作出的贡献，着力展现新时代青年的精神品格和价值追求，鼓励和引导全国青年积极投身强国建设和民族复兴伟大事业，共青团中央、中华全国青联决定：

向王传英等30名同志授予2025年度中国青年五四奖章；

2025年中国青年5月4日奖章授予新疆克州阿图什市哈拉军乡谢伊特小学边防教育西部计划志愿服务队、新疆克州阿图什市哈拉军乡边防教育西部计划志愿服务队、新疆克州阿图什市哈拉军乡边防教育西部计划志愿服务队、

王崇鹏等677名同志荣获2025年度新时代青年先锋奖。

值得一提的是，《黑神话：悟空》的开发商游戏科学荣获2025年度中国青少年五四奖章集体。

据悉，《黑神话：悟空》自发行以来已荣获多项国际游戏奖项，包括TGA 2024最佳动作游戏奖、Steam年度游戏奖等。

昨天，小米大模型团队宣布开源旗下首款大规模推理模型“小米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 token；分三阶段训练，逐步提高训练难度，共训练25T代币。

训练后阶段创新：旨在建立高效、稳定的强化学习系统。提出测试难度驱动奖励来缓解困难算法问题中的奖励稀疏问题，并引入Easy Data Re-Sampling 策略来稳定RL 训练； Seamless Rollout 系统旨在将RL 训练速度提高2.29 倍，将验证速度提高1.96 倍。

目前，MiMo-7B已在Hugging Face平台上开源了4个模型版本，技术报告也在GitHub上上线，完全向开发者和研究人员开放。

另据悉，MiMo系列由新组建的“小米大模型核心团队”打造，旨在探索超越预训练增长瓶颈的能力突破路径，激发模型的推理潜力。

HuggingFace：https://huggingface.co/XiaomiMiMo

GitHub 技术报告：https://github.com/XiaomiMiMo/MiMo/blob/main/MiMo-7B-Technical-Report.pdf

近日，Meta CEO 扎克伯格接受了Dwarkesh Patel 的采访。在采访中，前者首次回应了之前的Llama 4 模型基准争议。

采访中，主持人提到Llama 4目前的排名下降了好几个名次，性能甚至比OpenAI的o4-mini和谷歌的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

纳德拉在谈话中表示，目前微软代码库中大约有20%-30%的代码是由AI完成的，甚至有些项目可能完全由AI编写。

纳德拉随后反问扎克伯格：“Meta 的代码有多少是由人工智能编写的。”扎克伯格表示，他“无法提供确切的数字”，但他表示，Meta 正在构建一个AI 模型，可以开发Meta 的Llama 系列模型的未来版本。此外，扎克伯格还透露，公司目前预计“明年大约一半的工作将由AI完成，并且比例还将继续增加”。

近日，微软还发布了2025年工作趋势指数报告。

微软通过整合多方数据总结出一个不可逆转的趋势：人工智能给人类工作场所带来了巨大的变化，一种被称为“前沿公司”的组织模式正在兴起。这个模型将围绕AI发展，促使人类和Agent组成混合团队，最终让每个人类员工成为Agent的“监督者”。

据微软官方介绍，“尖端公司”将经历“AI充当助手”、“Agent成为数字化同事”、“人类员工为Agent提供思路方向”三个步骤。根据微软的预测，未来2-5年，每个公司都将走上“前沿公司”模式的道路。

据彭博社报道，索尼正在考虑分拆其半导体解决方案公司并上市，该计划最早可能在今年完成。

受此消息影响，索尼股价在日本股市大涨6.8%，创4月1日以来新高，位居日经225日本蓝筹指数涨幅榜前列。日本东证指数在周二因假期休市后于周三重新开盘后上涨约0.5%。

报道指出，不少业内人士和分析师对索尼的分拆计划给予了“好评”，认为索尼剥离半导体业务后，该公司可以转型为一家更纯粹的娱乐公司。

值得一提的是，索尼回应彭博社称，媒体报道基于猜测，公司目前没有具体计划。

近日，豆宝电脑版和网页版的“图像生成”功能推出“超级创意1.0”模式，一次最多可生成20张差异化图像。

目前，您只需打开电脑版或网页版豆宝（doubao.com），选择“图片生成”按钮即可体验“超级创意1.0”模式。此外，豆宝App也已开始内测，可一次显示10张图片。

据《晚点》显示，快手昨日成立科灵AI事业部：

科灵AI事业部下设科灵AI产品部、运营部和技术部，负责科灵、科图等系列的大模型业务。快手高级副总裁盖坤出任科灵AI事业部负责人，并继续担任社区科学线负责人。

同时，社科在线下成立了基础大模型及应用部门，负责LLM大模型、多模态理解大模型、应用技术的研发。

调整后，科灵AI将作为与主站、电商并列的一级业务部门，向快手董事长兼CEO程一晓汇报。这也是快手近三年来唯一成立的独立业务部门。

在今年3月底的快手财报电话会议上，程一晓表示，科灵AI“图胜视频”功能的综合效果目前排名全球第一。

官方数据显示，自商业化至今年2月，科灵AI累计营业收入已超亿元。据了解，科灵AI今年前三个月的营收已超过2024年下半年的总和。

报道指出，快手是最坚定押注视频模式的中国互联网公司之一：

快手于2023年初启动了人工智能战略，并制定了相应的目标计划。程一晓提到，AI是一个新时代，对于快手来说，推荐和视频生成领域是重点。

2024年6月，科菱大车型上市。这是全球首个采用与Sora一致的DiT路线，直接向普通用户开放的大型视频模型。

值得一提的是，大客灵模型是由快手社区科普线团队研发的。其许多成员原本的日常工作就是处理数千万的视频内容。引用柯灵的信息：“这个能力和工作流程可以直接复用。”

据《连线》报道，网络安全公司Oligo 最近披露了苹果AirPlay 功能中的一组安全漏洞“Airborne”，可能会影响数百万通过AirPlay 连接的苹果设备和配件。

据悉，恶意攻击者可以利用“Airborne”通过同一Wi-Fi网络环境控制支持AirPlay的设备，并向连接的设备传播病毒文件。公共Wi-Fi、商业场所等人口密集区域将因上述漏洞而成为高风险区域。

Oligo研究人员指出，不仅AirPlay受到“Airborne”攻击，CarPlay也受到该漏洞的影响。如果恶意攻击者通过车内的蓝牙或USB端口直接连接汽车的CarPlay服务，他可能能够劫持车辆的车载系统。但这种类型的攻击需要身体接触，因此发生的情况比较少见。

Oligo研究人员总共发现了23个漏洞，苹果随后发布了17个针对CVE跟踪漏洞的补丁修复，并在官网发布了详细的漏洞信息。此外，Apple 还为第三方制造商更新了AirPlay SDK 以解决问题。

在钟学丹看来，高性能算力、精准数据闭环、快速迭代的AI模型是汽车智能化的三大底层要素，但也是很多车企的薄弱环节。这也导致车企在将AI技术转化为AI应用的过程中面临一系列挑战：

训练模型需要大量的高质量数据。车企拥有海量复杂数据，但不知道如何筛选和提炼这些数据以用于大型车型，面临着“规模效率悖论”。在模型能力方面，车企对基础设施和工具链的布局还不够全面，基于预训练的Scaling Law也达到了瓶颈；当AI应用真正落地到汽车端时，车企很难找到最佳的转型方法。

基于上述情况，钟学丹分析了腾讯目前的出行定位：汽车行业的数字化智能助手和生态共建者。其表示，腾讯的优势在于其独特的数据闭环能力、丰富的模型训练经验以及广泛的用户连接能力，可以将AI能力转化为用户需求的实现。前两者决定了模型的能力、效果和质量，而后者则关系到核心的用户体验。

最后，钟学丹还表示，汽车行业已经进入AI大模型深入全面应用的阶段。钟学丹还预言了“汽车智能化趋势真正‘质变’的时刻”：

当我们解决了数据工程、模型优化和应用场景接入的问题时，汽车行业最终将能够像水和电一样更好地利用人工智能工具，做出更好的人工智能应用。

据9to5mac 援引供应链分析师Ross Young 的话说，新款Apple Watch SE 的显示屏刚刚投入生产。据透露，新手机使用的屏幕尺寸发生了变化。

Ross Young指出，新款Apple Watch SE的屏幕尺寸分别约为1.6英寸和1.8英寸。上述尺寸信息接近Apple Watch Series 9 的41 毫米和45 毫米版本。

目前在售的Apple Watch SE 的屏幕尺寸为40mm 和44mm，因此也可以推测新款Apple Watch SE 可能会采用与Apple Watch Series 9 相同的窄边框屏幕。

此外，罗斯还分析了新款Apple Watch SE的发布时间。其表示，产品展示在公开发布前几个月就投入生产是正常的。虽然目前已经是4 月底（或5 月初）了，但新款Apple Watch SE 可能仍会安排在9 月份与Series 11 和Ultra 3 一起发布。

4月30日，零跑汽车宣布推出2026款C10车型。我们先看一下价格：

纯电动版售价13.98万元、14.98万元（配备激光雷达），续航均为605km。

增程版售价12.98万元、13.98万元（配备激光雷达），纯电动续航里程为210km。

新车升级要点如下：

内外装饰：新增旭鹿紫外线配色和隐藏式电动门把手，内部提供50W手机无线快充；

智能：升级为高通SA8295P智能座舱；提供端到端激光雷达辅助驾驶；

续航：升级至605km超长续航，纯电动升级至全球800V高压快充平台；

性能：配备同级唯一的穿刺稳定控制系统，电机峰值功率提升至220kw。

闰月C10将于2024年1月亮相，3月上市。该模型建立在“四叶草”中央集成电子电气架构之上。也是Leap LEAP 3.0技术架构下首款全球战略车型；市场价格12.88万元-16.99万元。

4月30日，荣耀MagicBook Pro 16 2025正式发布。新机有集成显卡版和独立显卡版（HUNTER版）两种。

荣耀MagicBook Pro 16 2025猎人版首发搭载满血的NVIDIA GeForce RTX 5070显卡（115W版）；同时，新机搭载了Intel Ultra 9 285H处理器；狂乱模式下，整机可释放高达150W的超强性能。

此次，荣耀MagicBook Pro 16升级了全新静音高性能模式2.0：在静音高性能模式下，HUNTER版本可在35dB噪音下提供100W的性能释放，同等功耗下的噪音表现比同类产品低14-16dB；同时，该产品采用全新荣耀智能散热设计，配备业界领先的12mm大直径复合3D隧道热管、12V Gaming级双百叶静音风扇等散热组件。

外观方面，荣耀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 Ultra和X8s系列将获得影像能力升级。具体升级内容如下：

新机大师模式正式支持实时照片拍摄；

专业哈苏人像算法升级；

添加了新的专业视频创建模式，提供直方图音频电平和峰值焦点。 Find X8 Ultra机型还支持4K 60fps/120fps Log录制。

适应计划时间：

6月：Find X8 Ultra新增专业视频创作模式，Find X8s系列支持大师模式实时照片拍摄；

7月：Find X8 Ultra支持4K 120fps Log录制。

前几天，我们实际观察到淘宝已经将即时零售业务“小时配送”界面升级为“闪购”。据《晚点》介绍，“闪购”将首先在50多个城市开展，随后将于5月6日覆盖全国。

报道指出，淘宝升级“闪购”功能后，最重要的变化将集中在三个方面：

消费端，淘宝闪购将联手饿了么联合补贴，规模超百亿元，提供免费下单、大额优惠券等；

供应方面，饿了么的供应面向所有淘宝闪购开放，包括餐饮外卖。此外，结合淘天在品牌电商方面的优势，与其城市仓、线下门店合作，设立品牌即时零售旗舰店，目标首先覆盖200个核心连锁品牌；

在组织方面，淘宝内部所有淘宝闪购相关业务将全面负责淘宝闪购，饿了么全力配合。

据了解，淘宝包时达门户将于2024年7月在淘宝首页全面开放。一个月后，全国3000多家苹果授权店将全面接入淘宝包时达。一年来，淘宝几乎测试了所有品类的小时配送，最终内部确定淘宝闪购在3C数码、服装等品类上更有优势。截至目前，已有超过300万家店铺开通了淘宝小时配送服务。

据网通中国报道，4月29日，移动互联网未成年人模式在第八届数字中国建设高峰论坛主论坛上正式发布。目前，未成年人模式已突破一系列技术瓶颈，实现全方位优化和系统升级：

操作方法：移动智能终端、应用程序、应用分发平台三方联动。家长可以点击手机显着位置的图标，一键“启动”未成年人模式。所有应用同时切换，形成相对独立、安全可控的互联网环境。

内容生态：适合未成年人的优质内容得到极大拓展。重点平台依托儿童内容创作者、版权资源、权威机构等，将海量内容筛选到未成年人模式中，建立年龄分层、内容分类、推荐聚焦的梯度内容体系。

功能服务：未成年人模式可以提供每日总在线时间控制、使用时段设置、休息提醒、应用管理、使用情况统计等功能，家长可以根据实际情况调整各项设置。

覆盖范围：华为、OPPO、中兴等手机系统更新后提供未成年人模式。小米、荣耀、Vivo均在发布的新机上搭载了未成年人模式。应用商店设立了未成年人专区。短视频、社交、电商、教育、工具等领域重点应用全面升级未成年人模式。

后续车型覆盖范围将不断扩大，满足未成年人的日常需求，提供丰富多样的服务。

近日，电影《惊天魔盗团 3》发布海报及预告片，将于11月14日北美上映。

据悉，首批主演演员杰西·艾森伯格、马克·鲁弗洛、伍迪·哈里森、艾拉·菲舍尔、戴夫·弗兰科、摩根·弗里曼将回归。阿丽亚娜·格林布拉特、贾斯蒂斯·史密斯和多米尼克·塞萨将扮演新一代魔术师。裴淳华等人也加入了演员阵容。

该片将由鲁本·弗莱舍执导，迈克尔·莱斯利编剧。

近日，苹果推出了“名人百科全书”网站。该网站首页显示：

你最爱的是什么，一目了然。

据苹果官方介绍，这个网页可以进一步了解用户在苹果娱乐生态系统中喜欢的艺术家、演员和运动员。页面底部有一个列表流，可以连续滚动名人卡。点击卡片展开，了解明星的个人信息、相关作品等。

销售进口杂货的井之头五郎是一位美食家，下班后喜欢到处吃美食。只要感觉饿了，我就会秉着“吃就是最好”的信念，放下一切，直奔周边的餐馆、食堂去美餐一顿。

这次，他接到前女友的女儿“千秋”的委托，去法国看望千秋的祖父一郎，并帮助一郎找到他小时候喝的汤的配方。虽然线索很少，但五郎踏上了寻找“终极汤”的旅程。然而，在这次旅途中，他却意外卷入了一场更大的风波。

《孤独的美食家剧场版》由松重丰执导，松重丰、田口义博编剧，松重丰、内田佑树、矶村勇、村田雄弘等主演。该片将于2025年1月10日在日本上映，4月18日在中国上映。

《生命之书》是作者Sherwin B. Nuland博士的记录和反思，交织着他个人的医疗生涯和生活经历。

书中，作者以医生的身份带领读者踏上探索生命的旅程，用医生的双手揭开生命的奥秘。以疾病为切入点，从循环系统、神经系统、消化系统、到生殖系统，用作者处理的真实案例让读者了解各个系统是如何运作的。

本书不仅为读者呈现人体的精妙之处，还讲述了生命的延续和人类存在的意义。

在游戏中，作者将扮演饥饿的鲨鱼，在不同国家和地区的各个海域进行人类的“狩猎”计划，从而获得“饱餐”。

游戏的玩法非常简单粗暴。玩家只需要把鲨鱼移动到人类身边，“吃掉”人类即可。玩家还可以探索包括太平洋岛屿和北冰洋在内的四个不同场景。游戏中有超过30 种鲨鱼可供玩家选择，从微型鲨鱼到超大型鲨鱼，每种都有其独特的特性和能力。

《饥饿鲨：世界》于2016年5月在App Store上架，支持Android、iOS等平台。

爱饭儿|原文链接··新浪微博

微信这功能突然成了爆款？微信7.0.16新版体验

日前，微信悄悄上线了微信ID修改功能。就像是捅了马蜂窝，一时间风靡一时。不仅停了两天，最新的7.0.16测试版也来了。和上一个版本一样，微信这次没有在更新列表中填写新功能，但这并不影响大家对新版本的热情。事实上，在这个版本中，还有一个非常有趣的变化。它是什么？我们一起来看看吧。

微信7.0.16测试版来了

相信大家都玩过之前推出的“即时视频”。如果好友上传视频，他或她的聊天头像上会显示一个“蓝色圆圈”。双击即可观看好友的视频。

但是……你有没有注意到，从哪个版本开始，“蓝圈”不见了？

当您再次双击朋友的头像时，您将无法再看到他或她上传的视频。

因为……这个功能已经被新推出的“拍一拍”所取代了！

找到了吗？之前的“小蓝圈”不见了

在7.0.16新版本中，如果双击好友头像，好友头像会先“颤抖”，同时聊天记录下方会显示“你拍了XX的照片”的文字提示。其实这个功能在7.0.15中也可以体验到。你可以尝试一下。

新版本中，双击头像就变成这样了……

怎么样？是不是看起来很眼熟？没错，腾讯的QQ之前也有这样的设计，叫“戳”。基本功能类似，都是用来代替短语“Are you there?”这是小组里经常使用的。

对比一下QQ的“戳”。他们在神性上相似吗？

与QQ的“戳”相比，微信的“拍”区分了使用场景。比如在群里“给别人拍照”时，会有短暂的震动反馈，但单独聊天时就没有反馈了（只有头像晃动和文字提示）

不止iOS9,苹果连开发版iOS10都急着修复这安全漏洞