📱小米多款手机官宣涨价💻MacBook Air 严重缺货，许多新订单延至 9 月交付🚗日产把全新车型开发周期从 52 个月压缩至 37 个月🧠OpenAI 官宣下一代模型 Astra：攻克 10 项菲尔兹奖级数学难题🌚「AI 股神」致歉：将永久取消杠杆🔧曝长鑫 LPDDR6 研发验证接近尾声，设计速率达 12800 Mbps🎬曾爱玲加入 B 站，负责 AI 视频生成业务💾三星预计内存短缺 2027 年加剧，紧张供应至少持续到 2028 年🚙小米推出龙甲电池体系，澎程 N70 / N90 首批搭载🌐7 月车企销量数据出炉：比亚迪 41.9 万辆居首，零跑首破 10 万大关💰贝索斯旗下基金领投 CuspAI 4.5 亿美元 B 轮融资，用 AI 研发新材料💻微软承诺年末前降低 Windows 11 内存占用📋苹果对 iOS/macOS 漏洞提交设限，打击 AI 批量生成的低质报告💡奥特曼：AI 行业需要放慢节奏，重新检查模型安全边界📱Pixel 11 全系规格与售价曝光：四款均搭载 Tensor G6，899 美元起🌐微信地震预警新增震感上报，订阅用户超 6000 万🎮Arena 推出 AutoEval，用真人偏好训练的奖励模型快速预估排名🎮ROG 推出「DOTA2」联名外设礼盒🧸Caviar 为 Galaxy Z Fold 8 系列推出《教父》等电影主题定制版⌚卡西欧推出 CRW-H001 智能戒指手表🎥2026 年度电影总票房突破 230 亿元，暑期档连续 23 天过亿🎬《恐怖角》大结局上线，主创解释为何重写斯科塞斯电影结局小米多款手机官宣涨价小米商城 8 月 2 日 0 时更新价格，小米 17 系列、REDMI K90 系列和 Turbo 5 系列多款在售手机上调售价。其中，REDMI Turbo 5、Turbo 5 Max、K90、K90 Max、K90 Pro Max 与 K90 至尊版均涨价 300 元。REDMI Turbo 5 起售价由 2299 元上调至 2599 元，Turbo 5 Max 由 2499 元上调至 2799 元。REDMI K90、K90 Max、K90 Pro Max 与 K90 至尊版起售价分别调至 3099 元、3499 元、4499 元和 3299 元。小米 17 由 4499 元上调至 4799 元，小米 17 Pro 由 4999 元上调至 5399 元，小米 17 Pro Max 由 5999 元上调至 6499 元。其中，REDMI K90 标准版和 K90 Pro Max 此前已经涨价 200 元，Turbo 5 则取消了新春优惠。小米集团合伙人卢伟冰今年 4 月曾表示，同版本内存价格较去年第一季度接近 4 倍，12GB + 512GB 和 16GB + 1TB 物料成本分别上涨约 1500 元和更高水平。MacBook Air 严重缺货，许多新订单延至 9 月交付据彭博社记者 Mark Gurman 在昨日的《Power On》新闻通讯中披露，MacBook Air 正面临严重供应短缺，许多新订单的预计交付时间已推迟至 9 月。Gurman 指出，苹果官网开始更显眼地引导消费者考虑基础款 MacBook Pro，这种针对 Air 缺货而主动调整购买入口的做法并不常见。这轮短缺发生在内存与处理器供应持续紧张期间。6 月，苹果已上调 Mac 和 iPad 价格，其中 512GB MacBook Air 在美国的起售价由 1099 美元升至 1299 美元；公司当时表示，AI 数据中心扩张带来的内存和存储需求激增，已形成前所未有的元件成本压力。日产把全新车型开发周期从 52 个月压缩至 37 个月据 Automotive News 报道，日产汽车研发部门副总裁山口和幸表示，公司将以更接近中国车企的速度推进新车开发。全新车型开发周期将从 52 个月缩短至 37 个月，衍生车型则由约 50 个月压缩至 30 个月。日产还计划在 2030 年代中期把平台数量从 13 个减至 7 个、车型总数从 56 款减至 45 款，并将零部件复杂度最多降低 70%。产品阵容会分为 Heartbeat、Core、Growth 和 Partner 四类，以减少跨部门反复协调。新一代 Skyline 是首批采用新流程的车型，开发用时约 26 个月，计划今年冬季亮相。此后日产还会恢复 Xterra，内燃机版新一代 GT-R 已进入开发阶段，下一代 Z 则不会早于 2030 年推出。OpenAI 官宣下一代模型 Astra：攻克 10 项菲尔兹奖级数学难题OpenAI 正式公布其下一代内部大模型 Astra 的阶段性研发成果。实验表明，该模型在没有人类提示介入的情况下，自主推导并给出了 10 项长期未解数学难题的完整证明，论文全文共 249 页。据 OpenAI 发布的技术报告，Astra 攻克的数学难题均属于开放超过 10 年且长期缺乏进展的领域，涵盖组合数学、代数几何与数论。模型在证明过程中展现出构造复杂辅助函数与跨领域化简的能力，其推导步骤已经过自动化定理证明器 Lean 4 的形式化验证。OpenAI 表示，Astra 目前仍处于内部安全评估与对齐阶段，暂未面向公众开放。未来该模型的底层架构将被整合进 Codex 与 ChatGPT 的深度推理能力中，辅助科研人员进行符号推导与复杂理论证明。「AI 股神」致歉：将永久取消杠杆「AI 股神」Leopold Aschenbrenner 在其旗下对冲基金 Situational Awareness 因爆仓被迫清盘后的次日，向投资者发出致歉信，承认基金 7 月遭遇重大回撤，并承诺永久移除杠杆，以自有资金方式重新运营。Aschenbrenner 将亏损归因于不利的价格走势、流动性快速枯竭，以及针对基金持仓的集中做空压力。面对追加保证金与流动性压力，团队通过大宗交易清除杠杆；多家媒体此前报道，基金 7 月 30 日把大部分公开市场持仓出售给城堡投资。基金将继续运营公开市场业务，并保留包括 Anthropic 股份在内的私募投资。Aschenbrenner 称，基金 7 月回撤 67%，年内仍保持正收益；受锁定期约束的投资者最早可在 9 月申请赎回。曝长鑫 LPDDR6 研发验证接近尾声，设计速率达 12800 Mbps据腾讯科技报道，接近长鑫科技的知情人士称，长鑫首款 LPDDR6 产品的研发验证已接近尾声。按照存储产品导入流程，完成颗粒单体验证和研发验证后，还需经过小批量导入验证才能进入正式量产。报道称，这款 LPDDR6 的设计速率为 12800 Mbps，与 SoC 协同运行的基础速率为 10667 Mbps；单颗容量为 16Gb，芯片容量为 16GB，采用 1295 Ball PoP 封装，并强化低功耗与 RAS（可靠性、可用性和可维护性）能力。长鑫的招股材料把 LPDDR6 列入在研项目，目标是开发更高密度、容量和速度的移动内存产品。作为对比，长鑫 2025 年发布的 LPDDR5X 最高速率为 10667 Mbps，颗粒容量覆盖 12Gb 与 16Gb；其 LPDDR 产品已经进入小米、传音、荣耀、OPPO 和 vivo 等厂商供应链。曾爱玲加入 B 站，负责 AI 视频生成业务据 36 氪报道，曾爱玲已加入哔哩哔哩，担任 AI 视频生成业务负责人并向 CEO 陈睿汇报。她曾在腾讯混元与 AI Lab、国际数字经济研究院工作，之后加入米哈游创始人蔡浩宇旗下 Anuttacon，负责交互式多模态视频生成系统。B 站的 AI 投入目前覆盖视频理解、推荐和辅助创作。公司在 2024 年上线基础模型 Index，今年 3 月推出带长期记忆、个性化技能库和自由画布的 AI 视频创作平台 updream，7 月又推出可把互动网页发布为站内作品的 Toy。Toy 内测期间已上传超过 300 件作品，累计体验量超过 850 万次。今年第二季度，每月有超过 1.9 亿名用户观看 B 站 AI 相关内容；AIGC 广告素材消耗占比超过 50%，自动广告消耗渗透率超过 85%。三星预计内存短缺 2027 年加剧，紧张供应至少持续到 2028 年据 TechCrunch 报道，三星在第二季度财报电话会上预计，RAM 供应短缺不仅会延续到明年，还会在 2027 年进一步恶化，紧张状态至少持续至 2028 年。三星生产全球约三分之一的内存芯片。前沿 AI 实验室正直接向三星提交中长期需求预测，以提前锁定内存供应。长期合同让三星能在需求可见的情况下安装设备、扩产，减少传统内存周期里需求骤降带来的风险。芯片涨价使三星半导体业务第二季度销售额创历史新高，但手机和电视部门利润受到元件成本挤压。三星已经提高部分 Galaxy 手机和平板价格，需求随之下降；苹果也在财报电话会上提示，内存供应约束会拖慢下一季度收入增长。小米推出龙甲电池体系，澎程 N70 / N90 首批搭载小米汽车 8 月 2 日公布小米龙甲电池体系。雷军称，这套动力电池解决方案由小米负责产品定义、主导电池包设计开发、参与电芯设计开发，并覆盖生产全流程质量管控。质量管理包括三部分：小米质量团队常驻生产一线，通过「影子工厂」体系介入各生产模块；生产环节使用 X 光全检、CT 检测和 AI 质检；每颗电芯建立独立电子身份证并全量存档，用于后续追溯。小米澎程 N70 和 N90 将搭载这套电池体系。两款车分别定位增程五座 SUV 与增程七座 SUV，已于 7 月 28 日开启预售。7 月车企销量数据出炉：比亚迪 41.9 万辆居首，零跑首破 10 万大关2026 年 7 月汽车销量及交付数据陆续公布。比亚迪以 41.9 万辆的单月销量蝉联榜首，同比增长 21.76%；零跑汽车 7 月交付量首次突破 10 万辆大关，成为首个达成该里程碑的新势力品牌。整体市场呈现出强劲的增长态势。奇瑞集团单月出口量首次突破 20 万辆，新能源汽车销量同比增长 97.5%；吉利汽车连续 5 个月实现同环比双增长，其中海外出口量达 10.7 万辆，创下单月历史新高。蔚来：7 月交付 35934 辆，同比增长 71%。其中蔚来品牌交付 20008 辆，乐道品牌交付 10155 辆，萤火虫品牌交付 5771 辆。小鹏汽车：7 月交付 38027 辆，同比增长约 4%。理想汽车：7 月交付 30468 辆，同比下降 0.86%，环比下降 1.38%。小米汽车：7 月交付量超 3 万辆。目前小米已公布澎程 N90 Max 及 N70 Max 增程 SUV 预售价，分别为 29.99 万元和 25.99 万元。鸿蒙智行：7 月交付 45046 辆。今年 1 至 7 月累计交付量达 28.6 万辆，同比增长 13.7%。零跑汽车：7 月交付 101267 辆，同比增长 102%。其中零跑 A10 交付 28593 辆，零跑 D19 交付 10043 辆。此外，传统车企的新能源品牌也表现活跃。长安启源 AQ 系列同比增长 103%；广汽昊铂埃安 BU 销量为 34987 辆，同比增长 31.74%；深蓝汽车交付 29213 辆，同比增长 7.52%。贝索斯旗下基金领投 CuspAI 4.5 亿美元 B 轮融资，用 AI 研发新材料英国 AI 材料科学初创公司 CuspAI 宣布完成 4.5 亿美元 B 轮融资，估值提升至 26 亿美元。本轮融资由 Kleiner Perkins 与 New Enterprise Associates 联合领投，亚马逊创始人杰夫·贝索斯旗下的个人投资机构跟投。CuspAI 致力于利用生成式 AI 与分子模拟算法寻找下一代半导体衬底与高密度储能材料。其平台能够在几小时内完成数百万种新型晶体结构的生成与物理性质筛选，从而替代传统长达数年的实验室试错过程。本轮融资资金将用于扩建超级计算集群，并与全球半导体巨头合作推进下一代芯片材料的商业化验证与实验测试。微软承诺年末前降低 Windows 11 内存占用据 Windows La