早报｜苹果将迎来史上最大产品发布潮/微信小微内测Agent间沟通/何庭波发布「韬定律」新论文

苹果将迎来史上最大产品发布潮

GPT-6 Astra 全量发布

Anthropic 宣布 Claude 完成费马大定理端到端形式化证明

曝折叠屏 iPhone 8 月底日产仅数百台

特斯拉 Cybercab 首秀，在奥斯汀开放乘坐服务

曝微信小微内测 Agent 间沟通，双方确认后再交换信息

千问办公上线一个月，用户突破 3000 万

存储涨价推高手机成本，全球在售机型平均涨价约 15%

何庭波发布「韬定律」新论文，披露麒麟 2026 功耗测试

Adobe 确定新 CEO，纳拉延将转任执行董事长

大众汽车追加裁员计划，德国四座工厂将陆续停产

车用固态电池三项国标计划年底征求意见

LVMH 股价跌至 2020 年以来最低

康佳主动退市进入表决阶段，A、B 股已停牌

Nscale 寻求 35 亿美元 IPO 前融资，英伟达拟出资 20 亿美元

Lori Cashman：大学应帮助年轻人组合学科，而非押注单一职业

曝「豆包手机」将首发国产 10667Mbps LPDDR5X 内存

英伟达将于 10 月推出 RTX Spark Windows 电脑

蚂蚁开源 Ling-3.0-flash-Fin 与金融检索评测集

微信开源 WeMM-Embedding，多模态检索模型已用于搜索推荐

小米与中创新航、欣旺达合作推进龙甲电池，N70 Max 将搭载

消息称小米 MiMo V3 最快 9 月公布，已进入内部跑测

灵活就业人员医保将支持月缴，缴费年限可按月累计

广东抽查椰子水企业，23 家存在问题

周末也值得一看的新闻

苹果将迎来史上最大产品发布潮

据彭博社报道，苹果即将开启其历史上规模最大的硬件发布周期，新任 CEO John Ternus 将登台推出多款核心设备。

报道披露了苹果计划在 9 月 9 日及未来数月内推出的主要硬件阵容：

• 折叠屏 iPhone：内部常称 iPhone Ultra，采用类似护照大小的机身形态，配备大尺寸内屏与小型外屏，折痕表现优于以往折叠设备；搭载 A20 Pro 芯片与苹果自研 C2 基带，支持 Touch ID 与分屏多任务，售价预计超过 2000 美元。

• iPhone 18 Pro 与 Pro Max：外观基本延续前代，新增浅蓝与深红配色；搭载 A20 Pro 芯片与自研 C2 基带，升级散热均热板以控制发热，Pro Max 预计配备机械可变光圈镜头。

• Apple Watch Series 12 与 Ultra 4：Series 12 增加陶瓷表壳与新配色，搭载升级芯片以支持 Siri AI，并测试全天候持续心率监测功能。

• AirPods 5：常规迭代入门款与降噪款，不具备用于 AI 的内置摄像头。

• Apple TV 与 HomePod mini：外观基本不变，换装更快的处理器以首次接入 Siri AI。

• iPad mini：首度升级为 OLED 屏幕，在色彩饱和度与对比度上迎来重大升级。

• Mac 产品线：包括搭载 M6 芯片的 iMac、换装 entry-level M6 芯片的 14 英寸 MacBook Pro，以及苹果首款采用触控 OLED 屏幕、灵动岛与 M5 Pro / M5 Max 芯片的全新 MacBook Pro。

• 带屏智能家居中枢：配备约 7 英寸方形屏幕，支持壁挂或桌面放置，结合 Siri AI 与面部识别提供个性化内容展示及家居控制。

此外，报道还披露了苹果更长线的产品规划：2027 年计划推出基础款 iPhone 18、iPhone 18e、增加超广角双摄的 iPhone Air 2、带摄像头的 AI AirPods、无屏幕智能眼镜以及采用四曲面玻璃机身的 iPhone 二十周年重构款；2028 年及以后则在研发带机械臂的桌面机器人、AR 眼镜以及屏幕尺寸更大的第三代折叠屏设备。

GPT-6 Astra 全量发布

GPT-6 Astra 已面向用户全量发布，ChatGPT 和 Codex 的 Pro、Business、Enterprise 用户均可使用。

Anthropic 宣布 Claude 完成费马大定理端到端形式化证明

Anthropic 宣布其 AI 模型 Claude 历时 11 天，完成了费马大定理的首个端到端机器验证证明，相关代码库已在 GitHub 开源。

该项目由清华「姚班」毕业、哥伦比亚大学商学院助理教授兼 Anthropic 研究员彭天翼带队。在形式化证明过程中，Claude 编写了约 1300 万行代码，消耗了 60 亿 Token，产出 30300 条可验证定理，最终有 29500 条被纳入最终证明，规模达到全球最大数学定理库 Mathlib 的 5 倍以上，成为迄今编写的最大的 Lean 证明。

形式化证明是指将人类数学证明翻译为计算机可执行的语言（如 Lean），并由编译器逐级推导验证。由于需从最底层公理构建，Claude 在证明主定理的同时，一并推导了涉及代数、几何、数论等领域的 29000 多条中间定理。整个过程以自主推进为主，研究人员仅提供高层级指导。

除费马大定理外，团队还利用该平台在 3 天内完成了维诺格拉多夫三素数定理的形式化验证。Anthropic 表示，AI 不会取代数学家，但将显著提升长篇数学论证的形式化核验效率。

曝折叠屏 iPhone 8 月底日产仅数百台

据日经新闻援引供应链人士消息，苹果首款折叠屏 iPhone（外界称 iPhone Ultra）在 8 月底的日产量仍只有数百台，商业化生产进度因此推迟数周。苹果和供应商正在加快爬坡，以避免产品进入分销渠道时库存过少。

报道称，苹果在 8 月追加了一轮量产验证，重点检查机身表面平整度和铰链表现，并要求供应链提高良率。此前影响试产的主要环节还包括铰链结构和折叠屏耐用性测试。

彭博社记者 Mark Gurman 随后在采访中表示，他不认同产品将推迟到 10 月底或 11 月的说法，预计折叠屏 iPhone 会与新款 Pro 机型同期或相隔不久上市。

特斯拉 Cybercab 首秀，在奥斯汀开放乘坐服务

特斯拉已在美国得州奥斯汀的有限区域投入 Cybercab。车辆采用双座与蝶翼门设计，不配方向盘和踏板，乘客无法在紧急情况下接管；官方称车辆依靠摄像头和传感器在城市道路、高速公路、路口与停车场中行驶。

用户通过 Robotaxi App 呼叫车辆，系统初期会按车辆可用情况和乘客人数分配 Cybercab 或 Model Y，不能指定车型。乘客可在 App 或车内大屏调节空调、座椅与媒体，偏好设置会保存在个人资料中，并在不同车辆之间同步。

Cybercab 还将在 9 月中旬起于北京、上海等城市展出。特斯拉中国强调，展出用于介绍产品设计和技术理念，不代表 Cybercab 将在中国上市销售或启动无人驾驶网约车商业运营。

相关阅读：方向盘踏板全不要！特斯拉无人出租开始接单，上车只管睡觉

曝微信小微内测 Agent 间沟通，双方确认后再交换信息

据 01Founder 消息，微信正在为小微灰度测试一项 Agent 间沟通能力。用户可以让自己的小微联系朋友的小微，两个 AI 会建立一段独立会话，完成信息交换后再把结果带回各自用户。

发起沟通时，页面会列出对方和准备讨论的话题，用户确认后才会开始；收到请求的一方也需要确认回复内容。小微设置中还新增「和朋友小微聊天」入口，可查看与哪些朋友的小微交流过以及具体对话记录。

这项能力仍处于小范围内测。与原有的 AI 代发消息相比，新的链路允许双方小微先沟通，人负责授权、补充信息和作出决定。

千问办公上线一个月，用户突破 3000 万

千问办公宣布，上线 30 天后用户数已突破 3000 万，其中超过一半为企业用户。团队在此期间完成 120 个版本更新，国际版也已上线；企业上下文基础设施 MyContext 开源数周后，在 GitHub 获得超过 3000 个 Star。

产品将企业消息、文档、审批、邮件和知识库转换为 Agent 可调用的上下文，并与钉钉等办公平台打通。办公专属模型 Qwen3.8-Flash 针对多步规划、工具选择和上下文压缩进行调优，官方称真实办公任务的生成速度提升约 100%，平均 token 消耗减少 75%。

在长安汽车的应用中，工程师原本需要两天完成的线束选型计算被缩短至 5 分钟，单车十几分钟的随车文件核查则缩短至 1 至 2 分钟。汇付天下、传化集团、中艺股份和老乡鸡等企业也已接入。

存储涨价推高手机成本，全球在售机型平均涨价约 15%

Counterpoint Research 的全球智能手机价格趋势追踪显示，2026 年以来，全球在售智能手机零售价格平均上涨约 15%，超过 40% 的机型出现涨价；今年新发布机型的价格比去年同期发布的机型高 25%。

价格敏感型市场承受的涨幅更大：印度市场平均上涨 21%，亚太地区上涨 19%，中东和非洲地区上涨 18%；中国、欧洲和美国分别上涨 10%、7% 和 5%，涨幅主要集中在新上市机型。

研究认为，存储和其他零部件成本上涨正在压缩厂商消化成本的空间。部分厂商开始降低存储容量、精简摄像头配置，或在特定市场增加 4G 机型；消费者则延长换机周期、选择更低存储版本或转向翻新机。

何庭波发布「韬定律」新论文，披露麒麟 2026 功耗测试

9 月 4 日，华为半导体负责人何庭波在中科院科技论文预发布平台 ChinaXiv 发布论文《华为的 τ 芯片本会过热熔毁？》，进一步解释「韬定律」及其 LogicFolding 逻辑折叠技术。论文认为，芯片功耗不只来自晶体管计算，数据在芯片内部移动同样消耗大量能量；把部分平面电路改为上下堆叠，可缩短信号路径。

论文披露，在部分核心中，LogicFolding 将连线长度缩短约 20%，关键路径上的部分连线最多缩短 70%；一个处理模块的时钟布线长度缩短 28%，时钟缓冲器数量由约 4.36 万个降至 1.9 万个。

麒麟 2026 的测试数据显示，晶体管密度由每平方毫米约 1.55 亿个提升至 2.38 亿个，增幅约 55%。在相同性能下，NPU、GPU 和 CPU 性能核心功耗分别下降 66%、58% 和 41%。其中，NPU 在同为 29 TOPS 时，供电电压从 0.85V 降至 0.55V，功耗密度下降 73%。

何庭波同时强调，逻辑折叠并不天然等于低功耗。第一代 DSP 折叠设计虽然功耗下降 25%，但因面积缩小 40%，功耗密度反而上升 24%；芯片仍需依靠选择性折叠、热感知布局和软硬件协同控制热点。该论文目前属于预印本，尚未经严格同行评审。

Adobe 确定新 CEO，纳拉延将转任执行董事长

Adobe 董事会宣布，数字体验业务负责人 Anil Chakravarthy 将在 12 月 1 日接任总裁兼 CEO。现任 CEO 山塔努·纳拉延届时转任执行董事长，继续参与公司的长期方向与客户合作。

Chakravarthy 2020 年加入 Adobe，此前曾担任 Informatica CEO；在 Adobe 期间，他负责数字体验业务和全球市场团队。Adobe 表示，这项任命由董事会一致通过。

大众汽车追加裁员计划，德国四座工厂将陆续停产

大众汽车监事会批准新一轮重组：在此前计划基础上再减少约 5 万个岗位，累计缩减规模将达到约 10 万人；集团还准备把车型数量压缩约一半。

Emden、Zwickau、Hannover 和 Neckarsulm 四座德国工厂将在 2031 至 2034 年间陆续停止汽车生产，大众将为厂区寻找其他用途。CEO Oliver Blume 把中国市场竞争和美国关税列为压力来源；劳资代表则要求重组成本不能只由员工承担。

车用固态电池三项国标计划年底征求意见

据第一财经报道，中国汽车技术研究中心首席科学家王芳在 2026 世界动力电池大会上表示，电动汽车用固态电池的性能规范、安全规范和寿命规范三项国家标准已经立项，预计今年年底形成征求意见稿。

《电动汽车用固态电池》系列标准计划分为四部分。此前，第一部分「术语和分类」已经发布，用于统一固态电池相关概念；正在推进的三项标准将继续覆盖性能、安全和寿命评价，给车企、电池厂和检测机构提供共同依据。

LVMH 股价跌至 2020 年以来最低

9 月 3 日，LVMH 股价盘中最低跌至 425.35 欧元，收于 431.05 欧元，创 2020 年以来最低水平。与 2023 年创下的历史高点相比，股价已经回落超过一半。

LVMH 7 月公布的半年报显示，集团今年上半年收入为 386 亿欧元，有机增长 2%；经常性经营利润为 87 亿欧元，同比下降 4%，经营利润率为 22.5%。时装与皮具业务在第二季度恢复有机增长，珠宝和丝芙兰等业务也保持增长。

包括中国在内的亚洲市场（日本除外）延续了去年下半年以来的改善趋势。股价继续走低，反映资本市场对奢侈品需求复苏和核心品牌增长速度仍较谨慎。

康佳主动退市进入表决阶段，A、B 股已停牌

康佳集团公告显示，公司拟通过股东会决议主动撤回 A 股和 B 股在深交所的上市交易资格。两只股票已于 9 月 4 日开市起停牌，9 月 14 日的临时股东会将对终止上市议案进行表决。

若议案通过，康佳股票将在深交所作出终止上市决定后摘牌，并转入全国股转系统退市板块挂牌转让；若议案未获通过，公司将申请于 9 月 15 日复牌。康佳 1992 年上市，至今已有 34 年。

这次停牌并不等同于退市程序已经完成。康佳还需依次完成股东会表决和深交所决定，现阶段已经确定的是主动退市方案、停牌安排和后续转板路径。

Nscale 寻求 35 亿美元 IPO 前融资，英伟达拟出资 20 亿美元

据路透社报道，AI 云基础设施公司 Nscale 正与潜在投资者洽谈约 35 亿美元的 IPO 前融资，最终投资者名单与规模仍可能调整。

知情人士称，Nscale 计划向一组投资者出售最多 15 亿美元可转换债券，同时寻求英伟达提供约 20 亿美元资金。高盛正协助这轮融资，纽约对冲基金 Third Point 预计领投可转债部分。

这批可转债将以相对 Nscale 未来 IPO 发行价的两位数折价提供。Nscale 成立于 2024 年，自行运营数据中心、GPU 和软件栈，向客户提供大规模 AI 算力。

Lori Cashman：大学应帮助年轻人组合学科，而非押注单一职业

Visible Ventures 管理合伙人 Lori Cashman 在 Business Insider 的采访中谈到，她为 5 个 Z 世代孩子支付 AI 工具订阅费。孩子们处于不同的学习和工作阶段，她也因此持续观察 AI 如何进入作业、求职和日常决策。

Cashman 认为，家长和学校需要先把正常使用、滥用与学术诚信的边界讲清楚，再鼓励年轻人真正掌握这些工具。她同时强调好奇心、动手实践和与真实世界接触，因为只会获得更快的答案，并不能代替形成问题和验证结果的过程。

谈到大学教育，她提出跨学科组合的方案：学生可以把艺术、工程、商业或社会科学连接起来，形成自己的问题意识。她不赞成把某个专业直接对应到一份被认为「最安全」的工作，因为技术和岗位都会变化，组合不同领域的能力更有延展性。

她还建议年轻人尽早尝试创业，在小规模行动中理解需求、风险与责任，并学会把 AI 工具转化为能解决实际问题的工作方法。公司规模并不重要，行动本身会暴露课堂讨论里看不到的具体约束。

曝「豆包手机」将首发国产 10667Mbps LPDDR5X 内存

据蓝鲸新闻报道，努比亚 NaviX Ultra 将搭载长鑫科技最高速率 10667Mbps 的 LPDDR5X 内存。该机由中兴与字节跳动联合研发，搭载系统级 Agent 架构的豆包手机助手，已获得入网许可，计划于 9 月上市。

长鑫科技表示，这是国产 10667Mbps 高速率 LPDDR5X 芯片首次实现量产应用。官方资料显示，这款 LPDDR5X 提供 12Gb 和 16Gb 单颗粒容量，最高速率较 LPDDR5 提升 66%，内部测试功耗降低 30%，并保持向下兼容。

努比亚此前还确认 NaviX Ultra 将采用高通芯片和京东方屏幕。

英伟达将于 10 月推出 RTX Spark Windows 电脑

英伟达宣布，首批 RTX Spark Windows 电脑将在 10 月上市。平台采用 Blackwell GPU 和 20 核 Grace CPU，最高配备 128 GB 统一内存，算力达到 1 Petaflop，面向需要在本地运行大模型、视频和 3D 工作流的用户。

Acer 展示了概念机，联想则公布 Yoga Pro 9n 和 Yoga 9n 二合一产品。配套的 PAIR 测试版可以把推理任务分配给局域网内的 Windows、macOS 和 Linux 设备，也支持 GeForce RTX 20 系列及更新显卡、RTX Pro、DGX Spark 和 Apple M4 系列设备。

蚂蚁开源 Ling-3.0-flash-Fin 与金融检索评测集

蚂蚁集团开源金融增强模型 Ling-3.0-flash-Fin，并同步发布面向金融搜索 Agent 的评测基准 FinFIRST。模型采用混合专家架构，总参数 124B、激活参数 5.1B，支持约 256K 上下文，可本地部署并接入网页搜索、文件解析、Python、数据库和电子表格等工具。

FinFIRST 由蚂蚁集团构建，中金公司投行团队提供专业支持。V1 包含 123 道金融专家编写并验证的任务，由 50 多名从业者参与构造和质检，拆成 701 个原子评分项，用来分别检查原始信息、信源、计算与最终答案。

这套基准不只判断最终数字是否匹配，还要求核对主体、报告期、单位、口径与数据版本。公开结果显示，Ling-3.0-flash-Fin 的信源核验得分为 82.45%，但多信源任务和严格通过率仍低于单信源任务，后续 V2 将扩大数据规模与任务难度。

微信开源 WeMM-Embedding，多模态检索模型已用于搜索推荐

微信 AI 团队开源 WeMM-Embedding 多模态向量模型，包括 2B、4B 和 9B 三种参数规模。模型可以把文字、图片和视频编码到同一向量空间，用于跨模态检索、以图搜图、视频搜索和多模态知识库。

WeMM 采用两阶段训练，并通过 MRL 支持从 64 到 2048 维的可变向量。开发者可以按存储成本和检索精度选择维度，不需要为不同场景分别训练模型。

官方公布的 MMEB-v2 结果中，WeMM-9B 平均得分为 80.6，WeMM-2B 为 77.9；在 12 个跨模态任务上的平均得分为 79.8。腾讯称模型已经在 14 项线上业务完成 A/B 测试并全量上线。

小米与中创新航、欣旺达合作推进龙甲电池，N70 Max 将搭载

雷军在微博公布了小米龙甲电池的新进展：除原有合作伙伴外，小米与中创新航、欣旺达进一步开展联合研发和生产合作，扩大该电池方案的供应体系。

龙甲电池采用 1200MPa 一体化压铸底板、防弹涂层和底部主动冷却设计，电芯倒置布局让泄压方向远离乘员舱。官方称，其底部抗冲击能力提升 50%，冷却面积增加 100%。

雷军随后确认，小米汽车 N70 Max 将搭载龙甲电池。具体电芯供应商、容量和续航参数尚未公布。

消息称小米 MiMo V3 最快 9 月公布，已进入内部跑测

据「智能纪元 AGI」报道，小米最新大模型 MiMo V3 已进入内部跑测阶段，最快将在 9 月公布。该消息尚未获得小米官方确认。

同日，OpenCode Go 上线匿名模型 Omen Alpha，并将其开放给订阅用户测试；报道将其与 MiMo V3 联系起来，但目前没有公开证据确认模型身份。小米 MiMo-V2.5-Pro-UltraSpeed 内测用户收到的通知显示，该版本限时体验将于 9 月 8 日结束，正式商业版近期上线。

小米此前已把 MiMo 系列扩展至代码、语音识别、全模态和 Agent 执行框架，并将小爱同学的基座大模型能力交由 MiMo 团队输出。

灵活就业人员医保将支持月缴，缴费年限可按月累计

9 月 4 日，国家医保局在国新办发布会上介绍了针对灵活就业人员的医保新举措。国家医保局已会同财政部、交通运输部等 6 部门发布专项行动通知，将持续推动超大城市全面取消就业地、常住地参保的户籍限制，并鼓励各地将灵活就业人员纳入生育保险。

政策将探索把连续参加居民医保的缴费年限折算为当地职工医保年限，职工医保缴费年限可按月累计。灵活就业人员参加职工医保可实行月缴，各地还可探索按季度、半年或全年预缴。

线上线下办理将纳入「灵活就业参保一件事」，个人账户跨省共济也将继续推进，支持配偶、子女、父母等近亲属共享账户资金。

广东抽查椰子水企业，23 家存在问题

广东省市场监管部门截至 8 月 24 日检查椰子水生产企业 91 家次，发现 23 家企业存在 76 项问题，已责令 21 家整改，并对 5 家立案调查。

检查发现的问题包括违法添加香精、糖或水，把椰汁、椰奶等产品标作「百分百椰子水」，以及标签和实际内容不一致、食品安全管理不到位。监管部门表示，后续将继续追踪整改和案件办理情况。

是周末啊！

One Fun Thing｜《合金装备》竖排包装是小岛秀夫故意留下的问号

小岛秀夫回忆，初代《Metal Gear Solid》的包装把标题竖着排，是为了让游戏摆上商店货架后显得反常。顾客会因为「为什么是竖的」拿起来细看，包装本身就成了第一次互动。

这段小故事回应了玩家对旧版实体盒的讨论。它没有改动游戏内容，却说明了在数字商店出现以前，封面与书脊也承担着把人从一整排商品里拉出来的任务。

周末看什么｜《曼达洛人与格洛古》上线 Disney+，适合补一趟太空公路片

《曼达洛人与格洛古》现已上线 Disney+。电影延续剧集里的搭档关系，把赏金猎人 Din Djarin 与格洛古放进一段更完整的影院规模任务；没有追完全部《曼达洛人》剧集，也能把它当作一部节奏明快的星战冒险片。

烂番茄观众爆米花指数为 86%，CinemaScore 为 A-。影片把剧集式的角色相处压进一段完整任务，整体更接近太空公路片，也保留了星战系列的大型动作场面。

买书不读指南｜《中国菜市场》从摊位看见城市供应链与日常生活

钟淑如用 10 年时间走访 50 多座城市、200 多个菜市场，把摊贩、食材供应链、地方饮食和城市治理放在同一张观察网里。《中国菜市场》由光启书局·上海人民出版社于 7 月出版。

这本书关心的不只是「哪里好吃」，还包括菜市场怎样连接乡村生产与城市家庭、不同地区怎样处理摊贩与公共空间。喜欢城市研究、食物史或地方生活记录的读者，可以把它当作一份横跨全国的田野笔记。

游戏推荐｜《鬼武者 Way of the Sword》让宫本武藏在幻魔京都拔刀

Capcom 的动作游戏《鬼武者 Way of the Sword》已经登陆 PC、PS5 和 Xbox Series 平台。玩家扮演佩戴鬼之笼手的宫本武藏，在被幻魔侵占的京都战斗；攻防重点落在弹反、吸收鬼魂和近距离刀剑交锋。

PS5 版在 Metacritic 收获 86 分、统计 66 家媒体。战斗需要频繁判断招架时机，节奏紧凑，战国人物与怪谈意象则构成了关卡和敌人的主要视觉风格。

#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。