早报｜苹果将迎来史上最大产品发布潮/微信小微内测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 证明。 形式化证明是指将人类数学证明翻译为计算机可执行的