✨苹果将迎来史上最大产品发布潮📌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 的 Plus、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 世界动力电池大会上表示，电动汽车用固态电池的性能规范、安全规范和寿命规范三项国家标准已经立项，预计今年年底形成征求意见稿。《电动汽车用固态电池》系列标准计划分为四部分。此前，第一部分「术语和分类」已经发布，用于统一固态电池相关概念；正在推进的三项标准将继续覆盖性能