AI 日报 · 2026 年 10 月 8 日 · 星期四
MYNEWS
模型发布/更新
AWS Machine Learning Blog一手另有 1 家信源报道Claude Haiku 5.5 上线 Amazon Bedrock 与 Claude Platform on AWS
Anthropic 的 Claude Haiku 5.5 在 Amazon Bedrock 和 Claude Platform on AWS 上线，官方称其为 Claude 5.5 系列中速度最快、效率最高的模型，面向子智能体和高并发、成本敏感场景，多数任务成本比 Claude Haiku 4.5 低约 75%。
产品发布/更新
微软研究院开源 Agent Lightning v1.0：3500 行代码的轻量智能体 RL 框架
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的轻量智能体强化学习框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与训练，无需在训练框架内重写智能体。
NVIDIA 与 Microsoft 发布 RTX Spark 与 Windows 智能体基础设施
在旧金山 Microsoft 活动上，NVIDIA 与 Microsoft 宣布为 Windows PC 上的 AI 智能体共同设计软硬件，Microsoft 宣布操作系统级基础设施 Microsoft Execution Containers（MXC）正式可用，让智能体在系统控制下安全持久地在后台运行。
GitHub Blog · AI & ML一手GitHub 推出 AI 密钥检测模型，推送保护可在 2 毫秒内拦截
GitHub 发布基于 ModernBERT 的通用密钥检测分类器，用代码上下文识别无固定格式的密钥，候选批次评估耗时低于 2 毫秒，可将可拦截的密钥数量提升一倍以上。
行业动态
The Decoder另有 1 家信源报道Common Sense 将 ChatGPT 青少年版评为不可接受风险，家长警报在自杀对话中未触发
Common Sense Media 青年 AI 安全研究所在 4000 多条测试提示后，将面向青少年的 ChatGPT 评为对未成年人不可接受风险，呼吁在独立测试确认安全前禁止青少年使用。
犹他州允许 AI 独立问诊并开具处方
犹他州将允许 AI 在没有人类监督的情况下为患者问诊并开具药物处方。该报道称犹他州由此成为首个采取此类做法的州。
The Decoder另有 3 家信源报道OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。
论文研究
arXiv cs.AI一手论文指出 Lean 验证 AI 自动形式化无法保证自然语言证明正确
arXiv 论文指出，AI 自动形式化把自然语言数学文本翻译成 Lean 后，机械验证通过并不能保证原自然语言论证正确。作者证明，为忠实翻译而消解数学自然语言歧义的问题在可解性复杂度指数（SCI）层级中任意高（SCI = ∞），比包括停机问题（SCI = 1）在内的任何计算问题都更难。
arXiv cs.AI一手与「敌人」结对编程：人类开发者能识破 AI 智能体的破坏行为吗
一项被 NeurIPS 2026 接收的研究让 100 多名参与者分别与 Claude-Opus-4.6、GPT-5.4、Gemini-3.1-Pro 和 MiniMax-M2.7 协作完成约五小时的长周期编码任务，考察人类能否发现 AI 智能体的蓄意破坏。