早报：OpenAI 新模型 Astra 攻克 10 项数学难题，MacBook Air 严重缺货

小米多款手机官宣涨价

小米商城 8 月 2 日 0 时起上调多款在售手机价格。REDMI Turbo 5、Turbo 5 Max、K90、K90 Max、K90 Pro Max 与 K90 至尊版均涨价 300 元；小米 17 系列三款分别上调至 4799 元、5399 元和 6499 元。其中 REDMI K90 标准版和 K90 Pro Max 此前已涨价 200 元，Turbo 5 取消了新春优惠。小米集团合伙人卢伟冰今年 4 月曾表示，同版本内存价格较去年第一季度接近 4 倍，12GB + 512GB 和 16GB + 1TB 物料成本分别上涨约 1500 元和更高水平。

MacBook Air 严重缺货，新订单延至 9 月交付

据彭博社记者 Mark Gurman 报道，MacBook Air 正面临严重供应短缺，许多新订单预计交付时间已推迟至 9 月。苹果官网开始更显眼地引导消费者考虑基础款 MacBook Pro。6 月苹果已上调 Mac 和 iPad 价格，其中 512GB MacBook Air 美国起售价由 1099 美元升至 1299 美元；公司当时表示，AI 数据中心扩张带来的内存和存储需求激增，形成前所未有的元件成本压力。

日产将全新车型开发周期压缩至 37 个月

日产研发部门副总裁山口和幸表示，全新车型开发周期将从 52 个月缩短至 37 个月，衍生车型由约 50 个月压缩至 30 个月。日产计划在 2030 年代中期把平台数量从 13 个减至 7 个、车型总数从 56 款减至 45 款，并将零部件复杂度最多降低 70%。新一代 Skyline 是首批采用新流程的车型，开发用时约 26 个月，计划今年冬季亮相；此后还将恢复 Xterra，内燃机版新一代 GT-R 已进入开发阶段。

OpenAI 下一代模型 Astra：攻克 10 项菲尔兹奖级数学难题

OpenAI 正式公布下一代内部大模型 Astra 的阶段性研发成果。实验表明，该模型在无人提示介入的情况下，自主推导并给出了 10 项长期未解数学难题的完整证明，论文全文共 249 页。这些难题均开放超过 10 年，涵盖组合数学、代数几何与数论，推导步骤已通过自动化定理证明器 Lean 4 的形式化验证。Astra 目前仍处于内部安全评估与对齐阶段，未来底层架构将整合进 Codex 与 ChatGPT 的深度推理能力，辅助科研人员进行符号推导与复杂理论证明。

「AI 股神」致歉：将永久取消杠杆

Leopold Aschenbrenner 旗下对冲基金 Situational Awareness 因爆仓被迫清盘后，其向投资者发出致歉信，承认基金 7 月遭遇重大回撤，承诺永久移除杠杆并以自有资金重新运营。亏损被归因于不利价格走势、流动性快速枯竭及集中做空压力。基金 7 月回撤 67%，年内仍保持正收益；受锁定期约束的投资者最早可在 9 月申请赎回。

长鑫 LPDDR6 研发验证接近尾声

接近长鑫科技的知情人士称，长鑫首款 LPDDR6 产品研发验证已接近尾声，完成颗粒单体验证和研发验证后，还需经过小批量导入验证才能正式量产。该产品设计速率为 12800 Mbps，与 SoC 协同运行基础速率 10667 Mbps；单颗容量 16Gb，芯片容量 16GB，采用 1295 Ball PoP 封装，强化低功耗与 RAS 能力。作为对比，长鑫 2025 年发布的 LPDDR5X 最高速率 10667 Mbps，其 LPDDR 产品已进入小米、传音、荣耀、OPPO 和 vivo 等厂商供应链。

曾爱玲加入 B 站，负责 AI 视频生成业务

曾爱玲已加入哔哩哔哩，担任 AI 视频生成业务负责人并向 CEO 陈睿汇报。她此前曾在腾讯混元与 AI Lab、国际数字经济研究院工作，后加入米哈游创始人蔡浩宇旗下 Anuttacon，负责交互式多模态视频生成系统。B 站今年推出 AI 视频创作平台 updream，7 月又推出可把互动网页发布为站内作品的 Toy；Toy 内测期间已上传超 300 件作品，累计体验量超 850 万次。今年第二季度，每月有超 1.9 亿用户观看 B 站 AI 相关内容，AIGC 广告素材消耗占比超 50%。

三星预计内存短缺持续到 2028 年

三星在第二季度财报电话会上预计，RAM 供应短缺不仅将延续到明年，还会在 2027 年进一步恶化，紧张状态至少持续至 2028 年。前沿 AI 实验室正直接向三星提交中长期需求预测以提前锁定供应。芯片涨价使三星半导体业务第二季度销售额创历史新高，但手机和电视部门利润受到元件成本挤压；苹果也在财报电话会上提示，内存供应约束会拖慢下一季度收入增长。

小米推出龙甲电池体系

小米汽车公布小米龙甲电池体系，由小米负责产品定义、主导电池包设计开发、参与电芯设计开发，并覆盖生产全流程质量管控。质量管理包括质量团队常驻生产一线、X 光全检、CT 检测和 AI 质检，每颗电芯建立独立电子身份证并全量存档。小米澎程 N70 和 N90 将首批搭载，两款车分别定位增程五座 SUV 与增程七座 SUV，已于 7 月 28 日开启预售。

7 月车企销量：比亚迪 41.9 万辆居首，零跑首破 10 万

比亚迪以 41.9 万辆单月销量蝉联榜首，同比增长 21.76%；零跑汽车 7 月交付量首次突破 10 万辆，成为首个达成该里程碑的新势力品牌。蔚来交付 35934 辆（同比增长 71%），小鹏交付 38027 辆，理想交付 30468 辆，小米汽车超 3 万辆，鸿蒙智行交付 45046 辆。奇瑞集团单月出口量首次突破 20 万辆，吉利海外出口 10.7 万辆创单月历史新高。

贝索斯旗下基金领投 CuspAI 4.5 亿美元融资

英国 AI 材料科学初创公司 CuspAI 完成 4.5 亿美元 B 轮融资，估值 26 亿美元，由 Kleiner Perkins 与 New Enterprise Associates 联合领投，贝索斯旗下个人投资机构跟投。其平台利用生成式 AI 与分子模拟算法，在几小时内完成数百万种新型晶体结构的生成与物理性质筛选。融资将用于扩建超级计算集群，并与全球半导体巨头合作推进下一代芯片材料的商业化验证。

微软承诺年末前降低 Windows 11 内存占用

微软正在优化 Windows 11 在 8GB 内存设备上的响应速度，相关改进计划今年年底前落地。Windows 与设备部门总裁 Pavan Davuluri 将「优化 8GB 及以上内存电脑体验」列入 3 月启动的质量优先计划。