早报｜苹果将迎来史上最大产品发布潮/微信小微内测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 的 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 间沟通能力。用户可以让自