苹果于 5 月 12 日向 iPhone 和 iPad 推送 iOS/iPadOS 15.8.8（内部版本号 19H422），本次发布距上次正式版约 60 天。文章提醒因各区域节点服务器缓存，部分地区检测更新可能延迟（一般半小时内），并附有 iOS 15 系列发布历史列表。文章由机器人发布，IT之家后续会补充具体更新内容。

本文报道苹果于 2026-05-12 向 iPhone 和 iPad 推送 iOS/iPadOS 16.7.16（内部版本号 20H392），距上次正式版发布约 60 天。文中提示因区域节点缓存可能会导致升级探测延迟，并附上 iOS 16 系列的更新历史清单。文章由机器人发布，IT之家稍后将补充详细更新内容。

2026-05-12，苹果向 iPad 推送 iPadOS 17.7.11 正式版更新，本次与上次正式版间隔 357 天。文中提示部分地区因苹果节点缓存可能会延迟检测到更新（通常不超过半小时），并附上 iOS/iPadOS 17 的发行历史列表。文章由机器人发布，IT之家将后续补充具体更新内容。

苹果于2026年5月12日向 Mac 用户推送 macOS 26.5 正式版（内部版本号：25F71），距上次正式版发布间隔32天。文章提示由于各区域节点服务器缓存，部分用户检测到更新可能会有短时延迟（约半小时），并列出了 macOS 26 系列的详细发布时间线。IT之家将随后补充具体更新内容。

本文报道苹果于2026年5月12日向 Vision Pro 用户推送 visionOS 26.5 正式版（内部版本号 23O471），距上次正式版发布间隔 48 天；提示因各区域节点服务器缓存，升级推送可能会有约半小时延迟；文章附带 visionOS 26 系列发布历史，IT之家将后续补充更新内容。文章由机器人发布。

报道：2026-05-12，苹果向 Apple Watch 用户推送 watchOS 26.5 正式版（内部版本号 23T570），距上次正式版发布间隔 48 天。提示由于各区域节点缓存，部分用户探测到升级可能有短时延迟（通常不超过半小时）。文中附完整的 watchOS 26 系列发布历史列表，并说明本文由机器人发布，IT之家后续将跟进更新内容。

报道：苹果于 2026-05-12 向 iPhone 与 iPad 用户推送 iOS/iPadOS 26.5 正式版（内部版本号 23F77），距上次正式版发布间隔 19 天。文中提醒由于各区域节点缓存配置，部分用户检测到更新可能会有半小时左右的延迟；文章同时列出了 iOS/iPadOS 26 系列的发布时间线，并说明本文由机器人发布，IT之家后续将补充具体更新内容，鼓励读者在投稿或评论区反馈新发现。

SpaceX已向美国专利商标局提交“SpaceXAI”商标申请，并将此前独立的xAI并入为SpaceX旗下的AI产品线。两份商标覆盖基于卫星的轨道计算与AI SaaS、全球定位、互联网与社交网络等服务；SpaceX规划发射大规模卫星构建在轨分布式AI数据中心、研发太空专用AI芯片并推进Terafab芯片工厂，同时在地面开放大规模算力并与Anthropic表态在轨合作意向。文章同时指出重大技术和商业风险——辐射与高温环境对芯片的挑战、在轨维护难度、GPU快速迭代与发射成本等，SpaceX的招股书也对该计划的可行性持谨慎态度。

本文报道了菲尔兹奖得主 Timothy Gowers 亲测 ChatGPT 5.5 Pro 在加法数论若干公开问题上的表现：AI 在短时间内给出新构造与证明并生成 LaTeX 预印本，甚至在某些情形下提出人类未想到的思路。文章讨论了由此带来的两类影响——学术成果归属与 arXiv/期刊接收问题，以及对博士生培养路径的冲击（入门题目被 AI 快速解决，研究门槛抬高）。同时引用陶哲轩的“证明三层金字塔”观点：虽然 AI 能生成和验证证明，但“证明的消化”（真正理解与吸收）仍是人类的核心竞争力，提示数学教育与研究应向人机协作与保留“自然难度”的方向调整。

路虎正为卫士（Defender）110 推出第二次重大改款，最新谍照显示外观将调整前后保险杠、日间行车灯并在车顶加小扰流唇；座舱改为四座布局，后排取消三座长椅改用两张独立“船长椅”（此前已在卫士 130 上采用）。上次更新为去年5月，主要是大灯与新增欧盟 GSR2 安全配置。本次改款意在提升面对宝马 X5、改款奔驰 GLE 及国产腾势 B5（方程豹 5）等竞争对手的竞争力。卫士仍为捷豹路虎销量冠军，2025-26 财年前三季度交付 107,132 辆（同比仅降 2.9%，尽管2025年9–10月曾遭遇网络攻击影响生产与注册）；同期揽胜与揽胜运动版分别为 66,993 辆和 74,059 辆。