单一来源
当前只有一个可用来源，尚未完成多源交叉核验小米澎湃 OS 4 第三批正式版开启推送，覆盖小米 15 系列手机、Pad 7 系列平板等
IT之家 11 月 13 日消息，小米澎湃 OS 官方今日宣布，小米澎湃 OS 4 正式版覆盖更多机型，本次升级覆盖机型已开始陆续推送。手机Xiaomi 15 Ultra / Xiaomi 15 Ultra 双卫星版Xiaomi 15S ProXiaomi 15 ProXiaomi 15Xiaomi MIX Flip 2Xiaomi Civi 5 ProREDMI K80 Pro / REDMI K80 Pro 冠军版REDMI K80 至尊版REDMI K80REDMI Turbo 4 Pro / REDMI Turbo 4 Pro 哈利 · 波特版REDMI Turbo 4平板Xiaomi Pad 7 UltraXiaomi Pad 7S Pro 12.5Xiaomi Pad 7 ProXiaomi Pad 7REDMI K Pad小米澎湃 OS 4 是小米新一代操作系统，在 AI 能力、跨设备协同和基础流畅度方面实现全面升级，融合了超级小爱 2.0 和自研 MiMo 大模型，带来专家模式、灵感球交互等全新特性，同时优化了系统整体流畅度，官方称将为用户带来“一气呵成”的澎湃新体验。
IT之家附后续正式版推送机型计划如下：不晚于 11 月 30 日开启陆续推送手机REDMI Note 17 ProREDMI Note 17REDMI Note 15 Pro+REDMI Note 15 ProREDMI Note 15平板REDMI Pad 2 Pro 5GREDMI Pad 2 Pro / REDMI Pad 2 Pro 柔光版REDMI Pad 2 Pro 哈利 · 波特版电视小米电视 S Mini LED 2025 系列REDMI 电视 X 2026 系列2026 年 12 月内开启陆续推送手机Xiaomi 14 Ultra / Xiaomi 14 Ultra 钛金属特别版Xiaomi 14 Pro / Xiaomi 14 Pro 钛金属特别版Xiaomi 14Xiaomi 13 UltraXiaomi 13 ProXiaomi 13Xiaomi MIX Fold 4Xiaomi MIX Fold 3Xiaomi MIX FlipXiaomi Civi 4 ProREDMI K70 Pro / REDMI K70 Pro 冠军版REDMI K70 至尊版 / REDMI K70 至尊冠军版REDMI K70REDMI K70EREDMI K60 至尊版REDMI Turbo 3 / REDMI Turbo 3 哈利 · 波特版REDMI Note 15R ProREDMI Note 15RREDMI Note 14 Pro+REDMI Note 14 ProREDMI Note 14 5GREDMI M100REDMI R70m 5GREDMI R70 5GREDMI 17 5GREDMI 15R 5G平板Xiaomi Pad 6S Pro 12.4REDMI Pad 2REDMI Pad 2 SE 4GREDMI Pad 2 SE电视REDMI 智能电视 A Pro 2025 系列REDMI 智能电视 A 2026 系列REDMI 显示器 G Pro 系列可穿戴Xiaomi Watch 5Xiaomi Watch S52027 年 1 月内开启陆续推送电视小米电视 S Pro Mini LED 系列小米电视 S Mini LED 系列REDMI 智能电视 X 2025 系列REDMI 电视 MAX 2025 系列REDMI 电视 A Pro 2026 系列可穿戴Xiaomi Watch S4 eSIMXiaomi Watch S4 41mmXiaomi Watch S4REDMI Watch 6小米手环 10 Pro小米手环 10
Evidence
来源与证据
当前仅有一个可用来源，尚未完成多源交叉核验。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
荣耀李健官宣荣耀 700 系列发布会定档 11 月 23 日，鞠婧祎代言
11 月 13 日，荣耀终端股份有限公司 CEO 李健在微博发文预热即将推出的荣耀 700 系列新机，公布新机的代言人为鞠婧祎，并官宣新品的发布时间定档 11 月 23 日。在微博中，李健首先宣布“欢迎#荣耀700#系列代言人 @鞠婧祎 与我们一起踏上追光之旅。”这也印证了之前大家对荣耀 700 系列代言人的猜测。而在微博最后，李健表示：11 月 23 日，发布会见！在配图的定档海报中，明确显示荣耀 700 系列追光之旅暨全场景新品发布会定档 11 月 23 日 14:30。与此同时，荣耀品牌营销部总裁、全球首席营销官（CMO）关海涛也在微博发文表示“11 月 23 日，武汉见”，可见荣耀 7
Claude 多项服务出现认证故障，Anthropic 正在调查
Claude 多项服务出现认证故障，Anthropic 正在调查 5 分钟前 11 月 13 日，Anthropic 官方状态页显示，Claude.ai、Claude Code 和 Claude Console 出现错误率上升的情况，Anthropic 正针对用户登录 Claude.ai 和 Claude Code 时遇到的认证问题展开调查。当前 Claude.ai 处于重大服务中断状态，Claude Code 和 Claude Console 处于部分服务中断状态。 Anthropic：Claude.ai 出现重大故障，正在排查登录问题 theblockbeats.info Cla
蚂蚁集团与中金公司达成战略合作
蚂蚁集团与中金公司签署战略合作协议，双方将围绕金融大模型技术创新、AI 赋能财富管理、客户全生命周期服务等领域开展合作，共同探索「AI+ 金融」的创新路径。
Claude 辅助完成 19 万行代码 形式化三元哥德巴赫猜想证明
Claude 辅助完成 19 万行代码 形式化三元哥德巴赫猜想证明 20 分钟前 独立开发者 Charlie Reams 借助 Claude Code 完成三元哥德巴赫猜想的形式化证明，累计产出 19.4 万行零 sorry 的 Lean 4 代码，所有推理均通过机器严格验证。过程中 AI 自主发现 2013 年 Harald Helfgott 原版证明里的 11 处问题，包括常数写错、不等式不成立、引用数据偏差、主弧尺度混淆等漏洞并完成修补。后续二人又将证明依赖的外部额外假设从 5 项精简至仅剩 2 项已有的公开数值验证结果，大幅推进了该证明的严谨性闭环。这一事件也推动数学界对「证明完成
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。