行业分类:
加载中...
头条分类:
加载中...
DeepSeek“五一礼包”来了!新开源模型数学推理能力大提升|附实测细节
赶在五一假期前夕,DeepSeek给我们送出一份惊喜大礼。 延续一贯的开源节奏,DeepSeek在Hugging Face正式发布DeepSeek-Prover-V2,并同步上线模型卡及示例代码。此次共推出两个版本: DeepSeek-Prover-V2-7B:基于上一代V1.5模型,支持最长32K上下文输入; DeepSeek-Prover-V2-671B:在DeepSeek-V3-Base基础上训练,推理性能最强。 *核心贡献者 †在 DeepSeek-AI 实习期间完成的工作,扫描文末二维码,进社群获取完整报告 据官方论文披露,DeepSeek-Prover-V2的训练核心是「递归+强化学习」的组合:即先由DeepSeek-V3拆解复杂定理,生成一系列子目标和推理思路;再通过GRPO算法,从多种候选方案中自动学习如何选出最优解。 模型特别引入了两种互补的「解题风格」: 快速模式(non-CoT):专注于速度,像是一位熟练工匠,直接生成精炼的Lean代码答案,不展示思考过程,适合处理大量题目。 逻辑模式(CoT):更像一个耐心的数学老师,会详细列出每一步推理过程,确保逻辑清晰、思路透明。 训练过程分为两阶段,在第一阶段,研究人员主要训练快速模式,采用「专家迭代」方法:模型先尝试解决难题,成功的答案再作为新数据反哺模型,不断打磨自己的能力。 待快速模式趋于稳定后,研究人员进入第二阶段,开始训练更复杂的逻辑推理能力。他们将DeepSeek-V3的数学知识迁移到新模型中,并结合形式化数据,引入「冷启动」机制,构建起更复杂的推理路径。 为了进一步提升推理能力,研究人员引入了GRPO的强化学习算法,不同于传统的 PPO,它直接在多个候选答案中比较优劣,引导模型自主学会选择最优解。 具体做法是:每次输入一个定理,系统会生成32个不同的证明方案,然后只保留被 Lean 验证系统判定为「正确」的答案(奖励1分,否则0分),这样模型就能在高质量反馈中不断进化。 在开发出性能强大的671B模型后,DeepSeek研究团队又尝试把这些能力「蒸馏」到更小的7B模型中,而整个过程就像是师傅教徒弟: 先用大模型生成解题过程,再教会小模型理解并复现;同时将小模型输入长度扩展至与大模型一致,并经历相同的强化训练。 这样,即便在资源有限的设备上,用户也能使用小体积模型获得接近大模型的数学推理能力,并根据需求选择快速或详细解题风格。 整个体系中,DeepSeek-V3负责拆解复杂定理,生成自然语言的推理草图,同步转译为 Lean 语言表示的一系列子目标,并生成「思路链」作为中间引导。 7B模型再一步步完成子证明,最终拼接成完整推理。这种「模糊思考 + 精确证明」的训练机制,有效提升了小模型的数学理解深度。 在最终性能评估中,DeepSeek-Prover-V2-671B在MiniF2F测试中实现了88.9%的通过率,成功解出PutnamBench数据集中的49道难题。 与此同时,DeepSeek还同步推出了一个全新的数学形式化数据集ProverBench,共包含325道问题题目。涵盖: AIME 竞赛题(15 题) 数论、代数、线性代数、微积分、实分析等多个方向 这一数据集不仅包含真实的高中竞赛题目,还涵盖从基础代数、实变分析到概率论等多个本科阶段知识点,能够系统评估模型在不同数学领域的推理能力。 结果显示,在15道AIME竞赛题中,DeepSeek-Prover-V2成功解出其中6道,而 DeepSeek-V3使用多数投票方式(majority voting)则解决了8道。 按照官方的说法,这组对比凸显出一个重要趋势:大型语言模型在「非正式数学推理」和「正式数学推理」之间的表现差距正在明显缩小。 非正式数学推理:指模型像人类一样用自然语言思考、理解并解答数学题,比如我们日常说「这道题怎么算?」的方式。它更灵活、不需要严格的逻辑形式。 正式数学推理:指模型能用像Lean这样的形式语言,写出符合数学逻辑、可被验证器检验的严谨证明。它像数学论文中的证明,强调每一步推理都必须严格准确。 换句话说,过去模型更像是「会算但不会写出严谨证明」。而现在,在模型结构和训练策略不断演进下,语言模型也逐步学会了写出规范、可验证的数学证明。 此外,DeepSeek 宣布新模型的使用将遵循其公开许可证。 https://github.com/deepseek-ai/DeepSeek-Prover-V2/blob/main/LICENSE-MODEL 目前,Prover-V2系列已可通过Hugging Face平台免费下载,并支持Transformers接口部署。Novita AI是首批上线Prover-V2-671B推理服务的第三方提供商,我们也借此测试了一些问题。 经典的「一根 5.5 米长的竹竿可以通过高 4 米宽 3 米的门吗?」很遗憾,结果它没答对。 对于这道抽象代数,它的回答不仅正确,还能从基本定义出发,解释了什么是群同态、Z₁₂和Z₄的含义,以及同态的运算规则,显然,这对于初学者很友好。 从论文所透露的方向来看,DeepSeek-Prover-V2给出的不仅是数学答案,更指明了语言模型下一阶段的可能路径。 如果说过去我们关心的是大模型「能说什么」,那么在Prover-V2身上,我们得需要关注它「能证明什么」。 数学只是切入口,推理才是DeepSeek这次真正下注的方向。 从生成内容迈向生成结构化逻辑,这条路线不够性感,也不容易讲故事,却可能最早触碰通用人工智能的底层结构。 毕竟,AI可以不懂人情世故,但它必须学会推理,因为任何知识系统的边界,归根结底都是逻辑能否闭环、以及推理能否成立。
彻底告别Windows!华为鸿蒙PC版本月发布:自主可控、统一生态
快科技5月1日消息,在3月份的华为Pura X发布会上,华为常务董事、终端BG董事长、智能汽车解决方案BU董事长余承东宣布,华为终端全面进入鸿蒙时代,今年5月将推出鸿蒙电脑。 随着五一假期开启,也揭开了5月的序幕,鸿蒙PC版也越来越近,预计最快会在假期结束后正式官宣发布会时间。 其实鸿蒙PC版的推出也是“被逼上梁山”,因为微软对华为的Windows系统授权即将到期,华为将无法再继续使用Windows。 华为近期就已经推出了Linux笔记本,出厂只有Linux系统,配置不变,比Windows版本便宜300元。 后续华为PC将全面转向鸿蒙系统,完全自主可控,老款产品也有望批量升级。 预计鸿蒙PC也会像手机版一样分两步走: 第一阶段,先通过鸿蒙叠加模拟器方式,来保证各种Windows下的软件正常运行,实现用户的无感切换; 第二阶段,等用户规模壮大后,各软件厂商会开发专门针对鸿蒙的应用版本,时机成熟后去掉模拟器。 此前曾官方曾曝光过疑似鸿蒙PC版界面,采用了与Mac类似的方案,状态栏置顶、Dock 栏置底,可以放置常用功能和应用,相比于Windows来说更方便、美观。 而且鸿蒙PC版的应用将与手机、平板上保持统一,整个生态的体验会非常协调,也与苹果比较相似。
五一出行,我劝你别用机场火车站的免费充电线
五一小长假,准备去哪里玩? 打卡出片一整天,手机电量很快就撑不住了。这时候,机场、车站或者商场里的公共充电站,也许能解燃眉之急——把 USB 线往手机上一插,人和手机仿佛都充上电了。 但这些公共充电站,可能背后有诈! 这是一种名为「Juice Jacking」(果汁挟持)的陷阱,在智能手机刚兴起时就已经存在,国内 315 晚会也曾经曝光过——简单来说,就是将破解手机的硬件,伪装成充电器,在手机接上电的片刻,可能手机里的数据、照片就被偷走了。 十几年前,Juice Jacking 陷阱刚刚兴起的时候,Google 和苹果等手机系统厂商就已经发现了这个问题,并且通过添加了 USB 连接认证等措施来进行防护——当有外部设备想访问手机的文件时,就会弹出一个提醒,你肯定也见过: 这时候,只要选择「不允许」,这些恶意程序就无法绕过手机的安全系统——但没想到,时隔十年之后,Juice Jacking 的升级版本卷土重来,据 Ars Technica 报道,这种新的骗局,名为 Choice Jacking(选择挟持)。 顾名思义,就是要绕过前面提到的这个安全选项。 为了阻拦 Juice Jacking,厂商给手机的 USB 连接设置了一个确认机制: 一个设备,不能同时担任主机(比如电脑)和外设(比如手机或键盘),USB 的另一头要么作为手机的外设(键盘、U 盘),要么是主机(电脑),不能一边当主机一边当外设。 当 USB 设备连接到手机上时,只能通过手机上的「允许」按钮来进行连接认证。 而 Choice Jacking 突破安全措施的方法非常「机智」:先把恶意主机伪装成「外设」,再让这个「外设」变成「主机」——具体是这么操作的: 当用户连接到伪装成充电器的恶意主机时,它首先会伪装成一个「USB 键盘」,向手机发送按键指令,比如打开蓝牙连接 接着,这个「USB 键盘」会操控手机去配对一个「蓝牙键盘」——这个「蓝牙键盘」其实也是这个恶意主机伪装出来的 接下来,这个恶意主机又伪装成「主机」,向手机发起数据请求,此时手机变成了「外设」,手机上就会出现授权数据访问的提示 最后,通过「蓝牙键盘」点击手机上的「同意」按钮进行授权,这样一来恶意主机就连上了手机,并获得了整台手机的数据访问权限 这是手机 USB 连接机制的一个结构性缺陷,并非代码漏洞。正因如此,这种骗局极具普适性,不管是 iOS 还是 Android,都能成为这种攻击方式的目标。 包括苹果、Google、三星、小米在内的多个等品牌十多款手机,都能被 Choice Jacking 攻破,除了苹果设备需要 23 秒的时间,其他 Android 设备都在几秒不到的时间被攻破——有趣的是,部分手机并不支持完整的 PD 协议,反而起到了一定的防护作用,降低了被 Choice Jacking 技术黑入的风险。 将一根神秘的 USB 线连接到自己的手机,不少人都能看到背后的风险,但如果将它包装成免费提供的充电端口,包括我在内的不少人,或许都会在手机电量告急时,毫不犹豫使用。 并且不少普通用户,可能不会完全理解手机上忽然弹出的「USB 权限」弹窗背后的意义,以为同意的只是和充电线的连接,就这样主动地将防线关闭。 厂商方面其实已经作出了及时反应,去年 11 月份推送的 Android 15 更新和上个月更新的 iOS/iPadOS 18.4 版本都更新了相关的机制,经测试都能够发挥作用。 但由于 Android 生态系统的碎片化现状,不少老设备都未必能及时得到相关的更新,并且第三方的 Android UI,比如三星的 One UI 7,即使用上了 Android 15 也没有采用新的 USB 验证机制,依旧容易受到 Choice Jacking 的攻击。 漏洞的发现者 Florian Draschbacher 也表示称,即使一年前就警告了设备制造商,他们也承认了这个问题的存在,但对相关机制的完善和修复进度却出奇的慢,可能的原因在于,如果要进一步加强 USB 访问手机的安全性,就要添加大量的验证措施,对用户体验的影响不小,因此制造商犹豫不决。 更开放的 Android 生态,通过 USB 进行的攻击方式,危害可能会更大。因为 Android 设备如果打开了「USB 调试」模式,Choice Jacking 可以获得手机更深层的权限,执行一些恶意的底层文件。不过这个功能的入口较深,一般设备都是默认关闭。 ▲ YouTube@Websplaining 对于 Choice Jacking 这种「旧瓶装新酒」的安全问题,大众的态度,却已经不像十年前刚用上智能手机一样「草木皆兵」了。 不少人甚至对其嗤之以鼻,觉得不过是「狼来了」的故事:Juice Jacking 和公共 Wi-Fi 的危险在当年也被大肆炒作,但实际上却并没有造成太多危害。 还有一种「投降主义」,明知山有虎,偏向虎山行,纵使知道公共充电桩可能有风险,还是觉得当下的手机没电的问题更要紧,更有甚者觉得,平时个人信息的泄露已经很多了,也不差这一次。 虽然作为一种很新的攻击方式,目前还没有 Choice Jacking 造成大量实际损失的报告,但不代表背后的风险和威胁不存在。 最保险的做法,就是在出游的时候,尽量使用自己的充电宝,或者大品牌的共享充电宝;就算有公共电源,也最好用自己的充电插头,不使用那些看着就很可疑的 USB 充电线。 除此之外,还有其他一些防止手机被 USB 控制的小技巧: 分别给手机和电子钱包设置不同的密码,能够有效挡住一些别有用心之人。至于淘宝、拼多多等网购平台,最好关闭「免密支付」,反正现在的面容或指纹验证方式都很方便。 如果你是 iPhone 用户,强烈建议你更新到 iOS 18.4 版本,这个版本加强了用户对 USB 配件连接的验证机制,能有效防止一部分 Choice Jacking 的渗透。 现在的智能手机基本上都需要经过验证才能使用 USB 进行数据传输,如果使用手机时提醒你进行验证,或者相关的验证窗口一闪而过,那或许就需要小心 USB 线的另一头,是不是在搞些什么小动作了。 不少 Android 设备连接 USB 充电时,都会提示「USB 模式」,一般都可以设为「仅充电」,不要点选「传输文件」「传输照片」或「USB 调试模式」。 当然,我们也没有必要对此过度恐慌,平时保持手机系统的正常升级,避免使用可疑的 USB 线,不随便同意莫名的 USB 权限,就能很好规避这些安全陷阱。 最后,祝你五一快乐,给自己好好放个假吧!
索尼YY2987耳机、YY2988无线适配器通过认证
IT之家5月1日消息,科技媒体The Walkman Blog于4月29日发布博文,报道称索尼YY2987和YY2988两款设备通过认证,其中YY2988为无线适配器、YY2987疑似为一款新耳机。 YY2988 IT之家援引认证页面信息,YY2988被明确标记为无线适配器(USB),使用USB-C端口,采用Airoha AB1571芯片和AB1577蓝牙芯片,支持 2.4GHz 连接。 认证文件显示YY2988的PCB板面积约为23x13毫米,以下图片对比了INZONE Buds USB receiver中的PCB,可以看到两者外形基本相同。 Inzone Buds使用了Airoha AB1565D芯片,而 YY2988 采用Airoha AB1571D芯片。因此该媒体推测新款无线适配器不再使用专有编解码器,而是使用LE AUDIO(LC3)作为编解码器。 YY2987 YY2987耳机采用两款不同的蓝牙芯片:Airoha AB1571和AB1577AM,支持Bluetooth 5.3和LE Audio(LC3编码),有望提供更高质量的音频体验和低延迟游戏模式。 板载天线 AB1571 FCP天线 AB1577AM 该媒体推测这款耳机并非备受期待的WF-1000XM6耳机,而是INZONE系列的新成员,甚至可能是高端型号H9的替代品。 FCC文件显示,YY2987耳机的语音/聊天麦克风支持可拆卸设计,这与前代H9固定式麦克风形成鲜明对比。 此外,耳机电池电压为3.85V,但具体容量尚未公布。文件还透露,耳机内部的天线设计包括主板上的AB1571天线和通过同轴连接器固定的FPC天线(AB1577AM),后者背面带有粘胶,预计将贴附于耳机内部表面。
苹果税被判不合法,以后 iOS 内购可能会更便宜
就在刚刚,Epic Games 和苹果围绕「苹果税」的诉讼案的结果出炉:美国法院法官 \x26nbsp;Yvonne Gonzalez Rogers\x26nbsp;已经裁定,即日起,苹果不能对应用外购买收取费用,也不能限制开发人员引导用户在应用外购买。 简单来说,就是以后应用内购可以不走苹果 App Store 的渠道,App 可以正大光明提供自己的支付渠道,并且苹果不能从中抽成。 Rogers 的裁决中,将禁止苹果下面这些行为: - 对消费者在 App 之外的购买行为征收「任何佣金或费用」 - 限制开发者对 App 外购买链接的设置,以及链接的样式、格式 - 阻止或限制 App 使用外购的按钮,以及鼓励外购的行为 - 除了向用户发送一条中性消息,告知他们即将前往第三方网站之外,不能干扰消费者离开 App 的选择 这个判决结果象征着 Epic 的胜利,这场诉讼案从 2020 年开始,Epic 的热门游戏《堡垒之夜》也被从 App Store 下架了五年。裁决作出后,Epic 表示将在下周重新上架《堡垒之夜》。 Epic 也提出了自己的和解条件:如果苹果在全球范围内都执行法院的免苹果税框架,那么《堡垒之夜》将重返全球 App Store,Epic 也将放弃当前和未来关于这个主题的诉讼。 在 2021 年,Rogers 已经作出裁决,要求苹果允许开发者提供其他支付方式,但苹果制定了一项新的政策,要求开发者向苹果支付 27% 的佣金。 Rogers 指出,苹果的行为属于公然藐视法院禁令,试图维持数十亿美元的收入来源。App Store 主管 Phil Schiller 曾主张公司遵守这个禁令,但 CEO 库克选择了无视。 这个裁决将意味着苹果失去大部分应用内购的控制权,会有越来越多开发者和用户选择不走 App Store 的渠道进行交易,「苹果税」将名存实亡。
RISC-V笔记本电脑现状
我们的笔记本电脑内部藏着一份秘密图纸,它指定计算机能够执行的指令集,并作为硬件和软件的接口。这些指令隐藏在专有技术的背后,不可改变。但从2025年开始,用户可能会买到一台经过改良的新型笔记本,其秘密是公开的。这款笔记本可完全定制,用户可以修改硬件和软件,使其符合自己的需求。 RISC-V是一种开源指令集架构(ISA),有望使个人计算变得更加个性化。虽然RISC-V仍处于生命周期的初期,但现在已经可以购买到包含这一技术的全功能计算机,这是为主流消费电子产品中的x86和Arm架构提供可行替代品的关键一步。 笔记本电脑制造商Framework的首席执行官尼拉夫·帕特尔(Nirav Patel)表示:“如果观察一下(软件)堆栈中的几代产品,可以看到消费级RISC-V已开始出现在笔记本电脑甚至手机中。” 帕特尔的公司计划在2025年推出一款支持RISC-V主板的笔记本电脑。虽然这款笔记本电脑仍面向早期用户和开发人员,但它将是迄今为止最易获得的精心打磨的RISC-V笔记本电脑,能够提供与x86芯片的Framework笔记本电脑相同的外观和触感。 指令集架构是一部规则手册,定义在处理器上可以执行的有效程序指令集。与其他指令集架构一样,RISC-V包含了几十条指令,如将数据加载到内存或浮点算术运算。但RISC-V是开源的,这是它与x86和Arm等封闭指令集架构的区别。这意味着任何人都可以使用RISC-V,不需要支付许可费。同时,这也使RISC-V硬件更容易进行定制,因为哪些可以修改、哪些不能修改均没有许可限制。 2010年,加州大学伯克利分校并行计算实验室的研究人员基于已确立的精简指令集计算机(RISC)的原则,开始开发 RISC-V指令集架构。如今,期望设计价格低廉的专用芯片的公司已经在使用RISC-V:阿里巴巴在边缘计算的芯片开发平台中使用了RISC-V,西部数据公司则将RISC-V用于存储控制器。 现在,一小群公司和爱好者正在为将RISC-V引入主流消费设备奠定基础。其中一位开拓者是软件工程师梁宇宁,新冠疫情期间,他在深圳因封控无法工作,却被这一想法吸引。 由于无法继续先前的工作,“我必须问自己,我在这里能做什么?”梁宇宁说,“RISC-V(国际基金会)的前首席技术官马克·希姆尔斯坦(Mark Himelstein)提到,我们应该用12纳米RISC-V测试芯片做一台笔记本电脑。”因为12纳米节点比当前中央处理器使用的生产工艺要老,因此每块芯片的成本较低。 新冠疫情引起的供应链问题导致项目起步较慢,但最终,梁宇宁创办的深度数智公司在2023年推出了全球首款RISC-V笔记本——Roma。紧接着在2024年,该公司发布了预装乌班图开源操作系统的DC-Roma II,开箱后能够直接执行基本的计算任务。 深度数智目前正在与Framework合作,后者是一家成立于2019年的笔记本电脑制造商,正如其官网所述,该公司的使命是“修复消费电子产品”。Framework销售模块化、用户可自行维修的笔记本电脑,用户可以无限期地不断升级其中的部件(包括通常无法更换的部件,如主板和显示器)。 帕特尔表示:“开发人员可进入Framework笔记本电脑的主板并创建自己的平台。”他又补充道,该公司希望其笔记本电脑可以加快采用开源硬件,主板制造商可以带来一个“提供系统级解决方案”的平台,不需要设计自己的笔记本电脑。 深度数智的DC-Roma II笔记本是开源计算的一个重要里程碑,这不仅是因为它预装了乌班图操作系统。它是首款获得媒体广泛关注的RISC-V笔记本,特别是在YouTube上,有关DC-Roma II以及Milk-V Pioneer和荔枝派4A等其他RISC-V单板计算机的评测视频观看量超过百万。 即便如此,梁宇宁也还是很快就承认了一个许多网友发现的缺陷:DC-Roma II的RISC-V芯片在性能上远远落后于x86和Arm架构的相应产品。梁宇宁表示,深度数智希望在2025年通过DC-Roma III来解决这一问题。 在未来一年里,“性能将大大提升。虽然仍将使用12纳米(处理器),但我们将升级中央处理器的性能,使其更接近Arm Cortex-A76的水平。”梁宇宁说道。Cortex-A76是RISC-V基准测试的主要架构,因为树莓派5等高销量单板计算机的芯片都使用这种架构。 梁宇宁并非唯一梦想制造高性能RISC-V芯片的人。成立于2018年的Ventana公司正在依靠开源指令集架构,设计高性能数据中心芯片。 Ventana的创始人兼首席执行官巴拉吉·巴克塔(Balaji Baktha)坚信,RISC-V芯片将在各类产品中与x86和Arm直接对峙。“指令集架构的特定因素不能决定能否制造出高性能的产品。”他说,“关键在实现的微架构。” 深度数智还希望降低价格,使RISC-V更具吸引力。DC-Roma II售价约600美元,并不比宏碁Aspire或戴尔灵越等中档Windows笔记本贵很多。但网上的评论指出,其性能更接近那些售价更低的经济型笔记本。梁宇宁表示,这是由于该笔记本的产量较低,据他说,DC-Roma II的产量为“小几万台”。他又补充道,深度数智希望将DC-Roma III的产量提高到10万台。 如果这一目标实现,与使用x86和Arm的笔记本电脑相比,深度数智的所有笔记本将更具竞争力。这对梁宇宁来说非常重要,因为他认为价格可承受性与开放性密切相关:二者都降低了新手的门槛。 “甚至,如果我们能开放芯片设计,那么有一天,即使是中小学和大学的学生也可以在课堂上使用开放工具设计自己的芯片。”梁宇宁说,“有了开放性,我们都可以选择从零开始自己制作。”
iPhone 17系列机模细节曝光,Pro升级,Air更薄
4月30日消息, AppleTrack昨日发布了一段视频,展示了iPhone 17系列的机模,并与iPhone 16系列进行了详细对比,展现了苹果新一代旗舰手机可能的潜在设计方向。 从细节来看,iPhone 17 Air摄像头是个横条,为“环形跑道设计”设计,其厚度预计为5.5mm左右,配备单个摄像头,简洁地置于长条形的水平模块中,整体与iPhone 16 Pro对比显得更加轻薄。同时,据相关爆料显示,iPhone 17 Air预计采用钛合金边框设计,以增强机身强度,并且可能采用先进的硅电池技术。 不过,超薄设计并非没有代价。机模显示,iPhone 17 Air的USB-C端口并未像以往那样上下居中,而是更靠近机身背面。此外,其扬声器孔数量也比iPhone 16少一些,不过,具体音质如何还需要等待真机发布后的实际测试。 至于iPhone 17 Pro和iPhone 17 Pro Max,模型机的外观整体与iPhone 16 Pro较为类似。摄像头模组区域进一步增大,预计为浴霸三摄设计,容纳了三个镜头,闪光灯去到了机身右侧。而据悉,所有型号将都能用Magsafe磁吸充电。 不过,机模目前尚未体现出传闻中的玻璃与金属一体式设计(unibody design)。尽管这些机模并非官方发布的真机,但与此前爆料出来的相关渲染图相契合,也是为我们提供了一个较为可靠的参考方向。 编辑点评:从目前的机模来看,苹果似乎在延续经典设计的同时,也有在大胆的突破尝试。但无论最终的设计如何,我们都期待苹果能够找到一个合适的平衡点。至于最终的产品是怎样的呢,让我们拭目以待吧!
iPhone 17 Air将成为苹果爆款?美媒公布三大理由
iPhone 17 Air模型机 凤凰网科技讯 北京时间5月1日,目前距离苹果9月的iPhone发布会还有大约四个月时间,但是网上已经出现了许多iPhone 17 Air的模型机视频和照片,引发关注。美国科技博客9to5mac周三发文,认为iPhone 17 Air有望成为苹果的爆款新品。 9to5mac列出了iPhone 17 Air有望成为爆款的三个理由: 1.超薄新设计 这个理由几乎不用多想。iPhone 17 Air最具标志性的亮点,毫无疑问就是它的超薄机身设计。 iPhone 17 Air的厚度预计只有5.6毫米,将毫无悬念地成为史上最薄的iPhone。相比之下,iPhone 16 Pro和Pro Max的厚度都为8.25毫米,厚了不少。iPhone 17 Max的厚度据说达到8.75毫米,堪称“巨厚”。 对比更能凸显iPhone 17 Air的超薄 参数是一回事,真正上手又是另外一番体验。最近的一些上手视频已经证明, iPhone 17 Air非常的薄。等到iPhone 17 Air正式上市,用户亲手拿到这台超薄新机后,他们对于超薄机身的看法会从“看着不错”迅速变成“非它不可”。 2.尺寸正好 苹果将为iPhone 17 Air引入全新屏幕尺寸。这款手机将配备6.6英寸显示屏,正好介于现有两款Pro机型的6.3英寸和6.9英寸之间,不大不小。 从理论上讲,这种尺寸可能会带来一种“刚刚好”的手感:不会大到必须双手操作,也不会小到让人觉得局促。一些人更喜欢尺寸较小的iPhone,因为单手操作非常重要。 iPhone 17 Air将搭载6.6英寸屏幕 虽然6.6英寸听起来挺大,但iPhone 17 Air的超薄机身将让这个较大屏幕尺寸不再是个问题。 3.未来感 对于许多人来说,iPhone的进化似乎开始有些停滞不前。每年都有新功能推出,摄像头不断提升,但iPhone的基本外观和手感可以说已经显得有些过时了。这和2017年iPhone X 发布之前的情况非常相似。 iPhone X曾给予人未来感 就像iPhone X当初给人一种未来感十足的感觉一样,iPhone 17 Air有望凭借其“未来感”设计,轻松赢得用户的青睐。 这种感觉很难通过功能对比来传达。可以肯定的是,iPhone 17 Air在一些功能上会落后于17 Pro系列,比如摄像头、电池续航等。但是,许多用户会欣然接受这些妥协,换取iPhone 17 Air的未来感。(作者/箫雨) 更多一手新闻,欢迎下载凤凰新闻客户端订阅凤凰网科技。想看深度报道,请微信搜索“凤凰网科技”。
华为折叠屏:以一己之力终结行业混战,友商为何集体“失声”
折叠屏手机赛道,曾被视作智能手机创新的终极战场。然而,六年过去,这个领域却呈现出诡异的“两极分化”——华为一家独揽近八成市场份额,而其他厂商要么艰难跟随,要么黯然退场。从Mate X5系列330万台激活量到Pura X上市即热卖22万台,华为用数据证明:折叠屏的战争早已结束,剩下的不过是华为对自我极限的不断突破,以及友商们不甘却又无力的叹息。 技术霸权:从铰链到生态的“降维打击” 华为折叠屏的统治力,首先源于其技术护城河的不可逾越。**自研双旋水滴铰链**让屏幕折痕近乎消失,使用寿命远超行业标准,甚至能实现三折形态(如Mate XT)的工程奇迹。反观友商,至今仍在为“如何让屏幕少一道痕”绞尽脑汁,某大厂更因技术代差被迫放弃大折叠屏研发,沦为行业笑谈。 在系统生态层面,鸿蒙的**自适应UI引擎**堪称折叠屏的灵魂。它能智能识别3000+应用的分屏需求,甚至支持同一应用内三级页面同屏显示,而友商系统大多停留在“简单拉伸直屏界面”的初级阶段。更致命的是,华为将卫星通信、灵犀天线、分布式散热等黑科技悉数注入折叠屏,让商务人士在荒漠、高铁等极端场景也能“信号满格”,这种全场景能力让三星的“屏幕参数战”显得苍白无力。 产品矩阵:价格从7000到2.4万,没有空白市场 华为折叠屏的恐怖之处,在于它用精准的“机海战术”覆盖了所有用户需求:追求轻薄的Pocket系列、主打生产力的Mate X系列、探索形态极限的三折屏Mate XT,以及新锐的阔屏Pura X,价格横跨7000元到2.4万元,几乎堵死了友商所有突围路径。相比之下,小米MIX Flip、OPPO Find N5等产品虽偶有亮点,却始终困在“性价比”标签中,难以触及高端商务人群;三星Z Fold系列硬件堆料凶猛,但本土化体验的缺失让其在国内沦为“洋花瓶”。 更令友商绝望的是华为的迭代速度——当苹果还在为2026年发布的折叠屏iPhone测试屏幕折痕时,华为已实现铰链技术三次革命,卫星通信从双向升级到三网融合,影像系统跨入红枫原色时代。这种“代际碾压”让跟风者永远活在华为的阴影之下。 友商困局:不是不想战,而是战不动 面对华为的攻势,友商的挣扎显得尤为心酸:荣耀、OV、小米合计份额不足20%,且主要靠中低端机型走量;三星在国内市场跌至2.3%,连“洋品牌光环”也黯然失色。究其原因,折叠屏研发成本高企,华为却凭借麒麟芯片、鸿蒙系统、自有供应链形成闭环,而其他厂商既要向三星高价采购屏幕,又需向谷歌妥协系统适配,利润空间被层层挤压。 最讽刺的是苹果——这个曾定义智能手机的巨头,如今却被曝折叠屏iPhone延期至2027年,且铰链技术仍在“借鉴华为思路”。库克或许没想到,有朝一日果粉们会调侃:“等待苹果折叠屏,不如先买台Mate X6解馋”。 华为的折叠屏,行业的照妖镜 折叠屏市场的格局,恰似一面照妖镜:华为用持续五年的研发投入证明,高端创新没有捷径;而友商们则暴露出技术投机者的底色——或仓促上马半成品,或干脆躺平放弃治疗。当余承东放出“留给友商的时间不多了”的豪言时,这句话早已不是威胁,而是正在发生的现实。或许未来,折叠屏赛道只会剩下两种玩家:华为,以及其他品牌的“致敬者”。
得了“小米病”的车圈,把车展变成“高仿小米”开会了
车圈的风水轮流转,转得要比娱乐圈还快了。 一个月前全网围观车企们天天上热搜、大佬争相喊话的时候,谁能想到今年的上海车展居然无声无息地就要结束了。 上周我们作为媒体也拿到了一张车展门票——本乡巴佬还以为终于能来当下最能出梗的“科技圈春晚”见见世面。 什么现场看车圈老总们唇枪舌战啦,第一时间见识各家出的新车啦,拍拍各种科技感车模啦…… 还领到了小米展台送的棒球帽。 谁知车展才当顶流没多久,就迅速过气。 不复去年的全网围观、热搜霸屏,倒是看了不少围着展台直播卖车的销售,以及好几辆“高仿小米SU7”。 记得小米SU7刚推出时被笑“学保时捷”,而如今国内厂商们又开始扎堆学小米—— 我宣布,这届车展这么无聊,雷军负全责。 01 小米新车缺席,但车展上到处都是“假小米” 近两年车展上的绝对顶流小米,这次显得格外低调。 没有发布会,雷军全程都未露面,预热很久的新车YU7也没亮相,展厅里只陈列了十几辆各种颜色的SU7和SU7 Ultra。 我在逛小米展厅的时候还疑惑这红橙蓝白粉紫都有了,怎么没有辨识度最高的“闪电黄”。 直到逛完大半个会展中心才明白——闪电黄都在别的车上呢。 可以看出小米依然是车圈最大流量,其他品牌想尽办法也要“蹭”点热度。 埃安在展厅里的一台车,被吐槽“远看保时捷、近看小米SU7,揉揉眼镜才发现是红米SU7埃安”。 不仅黄色带竖条的涂装、车头的开孔机盖都跟小米SU7 Ultra一模一样,甚至连侧面都直接写了一个“Ultra”。 只不过仔细一看,这个机盖的“开孔”好像是实心的。 新能源品牌也就算了,就连越野车也来凑热闹。 我头一次在一辆北京越野上看到如此鲜亮的黄色——车身上不仅同样写了Ultra,还画了个闪电形状,生怕人不知道这是“闪电黄”。 只是不细看还以为买到了宝可梦痛车,很难想象越野大哥能开它出门。 @高翔GAOX 当然更多车企也不是在简单粗暴地“蹭热度”。只能说小米SU7在流量上的成功,给了他们更大胆的思路。 比如我在车展现场看到的紫色新车,比过去十年加起来看到的还多。 虽然来自众多不同品牌,但每个都让人想起去年小米SU7霞光紫在武大樱花树下拍的那组“神图”。 “车还是低调黑白最好卖”的传统规则,在颜值经济面前一败涂地。 去年成都车展出圈,靠的是各种女高管风、科技风的车模。相比之下上海车展的车模从数量到噱头都跌了一大截。 说实话,全场最让我后悔错过的“车模”,其实是之前直播搞全网招聘的青海摇网红张诗尧。 是的你没看错,在灯火辉煌、满是高科技装饰的汽车展台上,在锃光瓦亮、代表高端生活的展车前——五个穿西装、戴着白手套小伙,正在表演摇花手。 @小6 去年车企们自己就是流量本身,今年却纷纷整活蹭流量。 比如都开始疯狂搞联名,把展厅搞得像商场中庭,到处都是网红打卡点和带IP的“痛车”。 阿维塔的展厅里摆满了穿太空服的银色兔子雕塑;Smart跟Smart则是跟涂鸦大师Keith Haring联名。 你可能不知道Keith Haring是什么,但应该在某些快闪店或者服装店里见过下图这个东倒西歪的彩色小人图案。 比亚迪跟黑神话悟空联名,厅里最拉风的一台展车看起来像金箍棒变的。 而抢占年轻女车主路线的品牌,必须要放一台从方向盘到轮胎都贴满毛绒的“毛绒车”。 卡皮巴拉或成为最大赢家(bushi),一路走下来看到三四个品牌跟它联名。 我还在五菱展厅里坐进去试了试,但因为座椅仪表盘方向盘通通都是毛茸茸的,屁股一挨座位立刻感觉气温升高、开始冒汗。 02 吹了半天“科技感”,但逛展的人只惦记领帽子 大概从前年开始,随着新能源行业的突飞猛进,车展的画风鄙视链顶级已经从“高端商务”变成了科技感、前沿感。 但现在连科技感也能流水线定制了。 几乎每个新能源车企,都会在常规车型的旁边像模像样地摆一辆飞行汽车或者是概念车。 不过以我浅薄的见识来看,大部分都只能算是“汽车模型”。 有的概念车把方向盘设置在前排正中间,有的干脆把方向盘做成可以360°旋转的大滚轮,比起汽车更像90年代科幻电影里的宇宙飞船。 这玩意真要落地量产,恐怕要到2055年了吧! 真正能投入使用的“科技产品”,其实是机器人和机器狗——对,就是如今已经成为开业剪彩、企业年会必备老演员的那种。 像下面这种给机器狗安个狗头,让它表演原地踏步的还属于比较保守的。 升级版本是让机器狗披挂上阵在红地毯上表演舞狮,还要配上《男儿当自强》的BGM。 不骗你们,当机械舞狮们随着“做个好汉子”的旋律突然跳转面向我的时候,我真的被吓得后退了一步。 唯一看着跟科技好像真沾点边的,是小鹏展台的“机器人车模”。 车展前我就刷到了何小鹏在微博上的宣传,逛展时也刚好赶上他带着机器人在展厅里挨个介绍自家的车型。 只不过当时的状况大概是这样的——在何小鹏和机器人往下一个点位移动之前,现场的保镖和工作人员会提前拉起人墙,确保这段行走路线的畅通。 ……别吐槽机器人太奶跑马拉松要仨人跟着了,机器人车模干一次活可得十几个工作人员开路。 事实上,也不能怪各个品牌的展厅都在卷花活。 一个重要的原因在于,这届上海车展确实没有什么现象级的新车。 讨论度最高的网红车型,依然是华为在去年公布的百万豪车尊界S800,只不过去年底广州车展时这辆车还被关在“禁止拍照”的小黑屋。 今年外型可以随便看了,内饰实物依然没有曝光,就算是吊胃口也实在是有些太久。 蔚来旗下的萤火虫挑在车展前几天公布了售价,但因为跟外界之前预估的差不多,引发的讨论也很有限。 现场更让人印象深刻的反而是蔚来的销售,还没进到场馆里的我就先遇到了两个,到处找人扫码参加活动、留资料。 展前预热看似各出奇招,车企们找明星、铺噱头宣传的热火朝天。 到最后真正最火爆的展台,依然是没新车也没雷军的小米——排队领限量帽子的队伍,早上9点就能在场馆外绕好几圈。 03 行业越无趣,车展越无聊 说实话,对于此前只在网上刷各种车圈热闹的我来说,上海车展其实有点让人失望的。 但一个行业展生生变成普通网友也会关注的流量场,其实也就是最近一年的事儿。 以往车展虽然也会发布新车、介绍行业发展,但更重要的功能是卖车。 2023年广州车展还特地强调“不以销售为目的”。 纯粹的汽车爱好者和有购车需求的人才有动力关注,展厅里常见销售排排站开动员大会,誓要成交更多大单。 结果里面还是一堆销售。@Fun途 随着越来越多新能源车企开始把店开进商场,普通人逛街顺便就能看车,无需专门到大型车展去看,原本车展已经渐渐边缘化。 直到小米靠雷军的个人形象和营销才能,盘活了整个局面。 堪称热度爆表的去年北京车展,也正好是新能源品牌们营销最猛、车圈流量开始蔓延到大众视野的节点。 高管扎堆露脸,车展真正成了比以前电影节红毯还热闹的地方。 不同于今年的极尽低调,去年雷军几乎是小米汽车“行走的吉祥物”。 每天都会去不同的友商的展台溜达,连被拍到的穿搭都有三套。 周鸿祎爬上车顶,彻底开启了他作为“车圈网红”的职业生涯。 新能源品牌的展厅天天挤到走不动,而传统燃油车的展厅人迹寥寥,似乎也暗示了之后一年汽车行业的发展趋势。 年中的成都车展,出圈的是各种机器人风、女高管风车模。 也正是各家汽车品牌尝到流量甜头,开始疯狂把品牌形象往“科技感”“年轻化”捯饬的时候。 今年车展上也有一些时髦车模。 年尾广州车展看似没有那么多花活,但却是车企们在智能驾驶的赛道上打到最白热化的阶段。 不仅新势力们在鼓吹自家的智驾水平,传统车企也纷纷给自家新车安装起了辅助驾驶功能。 车展只是一面旗帜,展示的其实是整个行业风的方向。 当汽车市场本身的发展从突飞猛进开始走向瓶颈期,车展开始变得“无趣”也是很正常的事情。 就在上海车展开始的前几天,工信部发布通知要求车企和科技公司对自动驾驶宣传进行更加严格的规范。 在当下,相当于给新能源厂商们最后一张牌也套上了枷锁。不少车企紧急更改了物料,撤下了有关“高阶智驾”的内容。 反而是不少传统燃油车品牌,似乎在借机试图重新抢回战场—— 从停产滞销的经典车型,到跟供应商合作对新出燃油车型进行智能化改造。 同时也纷纷推出自己的新能源产品线,不再想着“教育用户”,开始思索用户到底需要什么样的车。 从去年开始,像玛莎拉蒂、保时捷、劳斯莱斯这些豪华车经常被报道销量下滑、高端滤镜不再。 但也有人依然保持自己的风格。 比如看完了全部8个大展区,最让我印象深刻的其实是保时捷的展厅。在一片蓝白色调的“未来感”展台中间,只有它走的复古范儿。 设计了一个巨大的双层展示区,里面放满了各种经典车型。 @KK的玩车日记 最里面的展示墙上挂上了醒目的四个大字——“无可替代”。 或者可以说,过去一年车展动向在网上的刷屏和出圈,本来就是汽车行业突飞猛进带来的副产品。 当行业本身走入深水区,车展也当然会剥除光环,重新回归“行业展览”的本质。 而现场的一个对比,或许更能直观说明当下汽车行业的现状—— 车展第一天,各个车企都在开发布会。高管们、代言人们在科技感满满的展厅里谈技术发展、科技未来、用户体验。 到了第二天,每个高大上的展台周围都挤满了立着手机,正在大声直播卖车的“带货天团”。 你看,喊再多高大上的词,最后还是为了把车卖掉。 @环球网
CounterPoint报告2025Q1印度手机出货量:vivo占22%
IT之家 5 月 1 日消息,市场调查机构 CounterPoint Research 昨日(4 月 30 日)发布博文,报道称受到高库存水平和新品发布减少 26% 的双重影响,2025 年第 1 季度印度智能手机出货量同比下降 7%。 报告指出库存水平成为主要拖累因素,品牌纷纷优先清理库存以稳定运营;同时新品发布数量同比骤降 26%,进一步影响市场活力。 不过印度消费者对超高端产品的需求依然强劲,在高于 45000 卢比(IT之家注:现汇率约合 3860 元人民币)价位段,市场份额攀升至 14%,同比增长 15%,成为所有价位段中增长最快的,并助推批发平均售价(ASP)达到历史最高水平。 细分到品牌方面,vivo 以 9% 的同比增长连续第三季度称霸印度市场,其 Y29 5G 和 T4x 等售价低于 15000 卢比(现汇率约合 1287 元人民币)的机型表现抢眼。 ▲ 2025 年第 1 季度印度智能手机市场出货量份额情况 三星凭借多价位段新品发布跃升至第二,S25 ultra 系列推动 S 系列在高端产品中的占比创历史新高。 OPPO 位列第三,A3 和 K 系列因耐用性营销获得消费者青睐;小米由于库存压力出货量下滑,realme 则凭借 P 系列和 14 Pro 系列实现 3% 的温和增长。 苹果公司则以 29% 的增长创下第一季度出货量新纪录,不仅在高端市场占据主导地位,还在市场价值上领跑,在出货额占比中为 26%。 ▲ 2025 年第 1 季度印度智能手机市场出货额情况
联想moto edge 60系列手机国行版5月8日发布,全系标配索尼光喻700C大底主摄
IT之家5月1日消息,联想moto edge 60系列手机国行版将于5月8日发布,官方现开启新机预热。 据介绍,联想moto edge 60系列手机将搭载全新AI影像系统,全系标配索尼光喻700C 大底主摄(5000 万旗舰主摄镜头),支持AI训练专属私人格调影像。同时,新机还将配备 5000万广角微距镜头+1000万光学长焦镜头。 据IT之家此前报道,摩托罗拉在海外发布了edge 60系列手机,包括edge 60 Pro和edge 60两款机型,这是摩托罗拉首次在其相应产品细分领域推出四曲面设计的手机。 edge 60系列在外观设计上引入了Pantone 精心策划的色彩方案和全新的纹理背板。edge 60 Pro提供三种不同质感的配色版本:Pantone Shadow版本采用类似皮革的背板,Pantone Dazzling Blue版本采用类似尼龙的纹理设计,而Pantone Sparkling Grape版本则呈现出类似砂纸的独特质感。edge 60也提供了三种配色方案,包括类似尼龙质感的 Pantone Gibraltar Sea、类似皮革质感的Pantone Shamrock和类似砂纸质感的Pantone Plum Perfect。 edge 60 pro edge 60 两款手机均配备了6.7英寸四曲面p-OLED屏幕,分辨率为2712×1220像素,支持 HDR10+和120Hz刷新率,最高亮度可达4500尼特,这也是摩托罗拉迄今为止最亮的屏幕。 edge 60系列两款手机均配备了后置三摄系统,包括5000万像素、1/1.56英寸的索尼Lytia LYT-700C主摄像头,5000万像素、f/2.0 光圈且支持相位对焦的超广角镜头,以及一枚73mm焦距、f/2.0光圈、1000万像素并支持最高 50 倍超级变焦的3倍光学变焦镜头。前置摄像头为5000万像素、f/2.0光圈。 此外,摩托罗拉还为edge 60系列引入了Photo Enhancement Engine(照片增强引擎),能够优化图像细节、降低噪点,提供更高质量的照片。同时,该系列手机还支持 Pantone Validated SkinTone功能,能够确保拍摄出的人像肤色更加自然、准确。 edge 60 Pro搭载了4nm工艺的联发科天玑8350芯片,配备8GB或12GB的LPDDR4X内存,并支持通过RAM Boost功能进一步扩展内存。存储方面,提供256GB 或 512GB的UFS 4.0闪存。该机型还配备了一块6000mAh的大容量电池,支持90W TurboPower有线快充和15W无线充电功能。 edge 60则配备了联发科天玑7300芯片,同样提供8GB或12GB的LPDDR4X内存,以及 256GB或512GB的内置存储,并额外支持microSD卡扩展。该机型提供两种电池容量版本,分别为5200mAh和5500mAh,均支持68W TurboPower有线快充。 两款手机均支持IP68和IP69级别防尘防水,同时通过了MIL-STD-810H认证,能够承受极端温度、95%湿度、高海拔以及从1.5米高度跌落的冲击。 edge 60系列的屏幕经过Pantone认证,能够提供准确的色彩表现。此外,两款手机均配备了支持杜比全景声(Dolby Atmos)的立体声扬声器。 edge 60系列将在亚洲、欧洲、拉丁美洲和大洋洲的部分国家和地区上市,但不会在美国市场推出。edge 60的起售价为380英镑(IT之家注:现汇率约合3686元人民币),而edge 60 Pro的起售价为600英镑(现汇率约合5820元人民币),部分市场还将随手机附赠相应的 90W或68W充电器。
小米手机五一8折换电池:79.2元起 覆盖37款机型
快科技5月1日消息,小米官方今天宣布开启五月黄金服务周,活动时间为5月1日-5月7日。 活动期间,部分手机可享电池换新8折,79.2元起,家电(空调挂机、洗衣机、油烟机)清洁一口价99元,笔记本深度清洁5折等优惠权益。 手机换电池覆盖新老37款机型,具体如下: Redmi 9、Redmi 10X 4G、Redmi 10X 5G、Redmi Note 8、Redmi Note 8 Pro、Redmi Note 9 4G、Redmi Note 9、Redmi Note 9 Pro、Redmi Note 10、Redmi Note 10 Pro、Redmi Note 11 4G、Redmi Note 11 5G、Redmi Note 11 Pro、Redmi Note 11 Pro+、Redmi Note 12 Turbo、Redmi K30、Redmi K30 5G、Redmi K30i、Redmi K30 Pro、Redmi K30至尊纪念版、Redmi K40S、Redmi K40游戏增强版、Redmi K60、Redmi K60 Pro、Redmi K60至尊版。 Xiaomi Civi 2、Xiaomi Civi 3、Xiaomi MIX 4、小米9、小米10青春版、小米10至尊纪念版、小米10至尊纪念透明版、小米11青春、小米11青春活力版、Xiaomi 13 Ultra、Xiaomi 14 Pro、Xiaomi 14 Ultra。 小米官方介绍,手机电池性能的正常性衰退是指手机电池放电循环次数减少,当出现这种情况时,无需过度担忧,可根据实际使用情况选择是否更换电池。 电池性能的非正常性衰退,例如滥用、过度充电、极端温度外部撞击等因素,需及时改正或维修,日常使用时应注意科学充电、避免高温/低温等,以提高电池寿命。

版权所有 (C) 广州智会云科技发展有限公司 粤ICP备20006386号

免责声明:本网站部分内容由用户自行上传,如权利人发现存在误传其作品情形,请及时与本站联系。