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

🔐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 日及未来数月内推出的主要硬件阵容：

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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