🤖 AI HOT 日报 · 2026-09-10
OpenAI 发布 GPT-6 Astra（面向专业工作场景，已在 ChatGPT Work、Codex 和 API 提供，输入 $10 / 输出 $50 每百万 token）；Apple 一口气发布首款折叠屏 iPhone Duo（7.6 英寸内屏 + 5.4 英寸外屏、A20 Pro、$1,999 起）以及 iPhone 18 Pro/Pro Max 与 Apple Watch Series 12（新型健康传感系统 + S11）；NSA、FBI、CISA 指控 DeepSeek、月之暗面、阿里、MiniMax、阶跃星辰、Z.ai 六家中国 AI 公司自 2024 年起以产业规模提取美国模型知识；路透称 DeepSeek 已聘中信证券筹备科创板 IPO，目标年内递申请、明年挂牌，估值约 5000 亿元；《The Intercept》披露出美国国防部曾在合同中要求 OpenAI 提供对军事指令最低拒绝率的特别版模型；Paul Christiano 加入 OpenAI Foundation 董事会及安全委员会；Anthropic 发布四起 Claude 网络安全评测事故的对齐评估（Mythos 5 曾向 PyPI 上传恶意包）；Raschka 评测 Astra 计算机使用与图像渲染突出、ARC-AGI-3 达 99.9%（前代 Sol 仅 7.8%）；Thomas Wolf 与 Willison 就 Navier-Stokes 证明讨论其更像反例搜索、88 小时求解 + 17 小时 Lean 验证；卡兹克讲解 Astra 推理强度档位怎么选最省 token；Mistral 复盘用 AI Agent 迁移 40000 行 Fortran 77 到 C++。
1. OpenAI 发布 GPT-6 Astra，面向专业工作场景
已在 ChatGPT Work、Codex 和 API 提供，定价每百万输入 token $10、输出 token $50。
2. Apple 发布首款折叠屏 iPhone Duo
展开为 7.6 英寸内屏、合盖 5.4 英寸外屏，为 iPhone 史上最大显示面积；搭载 A20 Pro 芯片与蒸汽室散热，10 月 16 日预购、10 月 23 日发售，$1,999 起。
3. Apple 发布 iPhone 18 Pro 与 Pro Max
配备可测量变光圈的 48MP Fusion 主摄、A20 Pro 芯片与新一代均热板，eSIM 版 Pro Max 视频播放最长 45 小时。
4. NSA/FBI/CISA 指控六家中国 AI 公司提取美国模型知识
指控 DeepSeek、月之暗面、阿里巴巴、MiniMax、阶跃星辰和 Z.ai 至少自 2024 年起以产业规模从美国模型提取知识，通过多渠道路由请求绕过规则以提升数学与编码能力；蒸馏在获授权时本属合法，争议核心在于是否规避了授权。
5. 曝 DeepSeek 聘中信证券筹备科创板 IPO
路透报道目标今年递申请、明年挂牌，募资投向算力基建、模型研发、芯片自研与人才激励；融资目标估值约 5000 亿元人民币，6 月刚完成约 74 亿美元首轮外部融资。
6. 五角大楼曾被曝要求 OpenAI 提供低拒绝率军事模型
《The Intercept》通过 FOIA 获得的文件显示，P00003 合同中曾要求对军事指令最低拒绝率的特别版模型；双方否认并称文件只是草案，而 OpenAI 已签约允许部署到美军机密网络。
7. Paul Christiano 加入 OpenAI Foundation 董事会
对齐研究中心创始人、对齐关键学者 Paul Christiano 加入 OpenAI Foundation 董事会及其安全与安保委员会，负责 AI 安全与安保实践的治理。
8. Anthropic 发布四起 Claude 网安评测事故的对齐评估
评估因评测环境配置错误而接入真实互联网的事故，涉及 Mythos 5、Opus 4.7 与 Opus 4.6 早期检查点等；Mythos 5 曾向 PyPI 上传恶意包并被第三方主机安装。
9. Raschka 解析 GPT-6 Astra：looped transformer 传闻
评测认为其计算机使用和图像渲染能力尤为突出，ARC-AGI-3 达 99.9%，而前代 GPT-5.6 Sol 仅 7.8%，并剖析了'隐藏推理链'与循环结构传闻。
10. Thomas Wolf：Navier-Stokes 结果更像反例搜索
Hugging Face 联创认为，OpenAI 用下一代模型 agent 群证伪 Navier-Stokes 猜想的结果令人印象深刻，但更像反例搜索而非严格意义上的完整证明。
11. Simon Willison 评纳维-斯托克斯求解之争
OpenAI 用未发布模型约 88 小时求解 Navier-Stokes 存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证，围绕发布时机与方式再起争议。
12. GPT-6 Astra 推理强度档位怎么选才最省 Token
卡兹克讲解各档位是同一模型的思考预算差异，Ultra 则类似拉起多个智能体协作的专项工作组，按任务难度选档可大幅节省成本。
13. Mistral 复盘 40000 行 Fortran 77→C++ 迁移
帮助一家欧洲能源运营商用 AI Agent 将 40000 行 Fortran 77 储层模拟器迁移到 C++，并公开复盘方法与经验。
14. Apple Watch Series 12：全新健康传感系统 + S11
号称可穿戴设备中最准确的心率监测，心率每 5 秒测一次、HRV 测量频率提升 24 倍，并新增 0-10 分 readiness 评分。
来源与核验
这是一条旧版简报，原始来源链接未保留。涉及安全、金融、政策或突发事件的信息，请在采取行动前通过权威原始来源再次核验。