AI 日报 · 2026 年 10 月 8 日 · 星期四
AI 前哨
OpenAI 公开 722 篇数学手稿，涉及准黎曼猜想与霍奇猜想
OpenAI 公开 722 篇数学手稿，归为 372 组结果，全部出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub，涉及准黎曼猜想、霍奇猜想、BSD 猜想等。Scott Aaronson 撰文称其中包括他妻子长期研究的 Unique Games Conjecture 证明。同日 OpenAI 发布 GPT-6 与面向所有人的智能 UI。
前沿动态
Scott Aaronson 谈 OpenAI 放出 372 项数学成果的 Mathocalypse
Scott Aaronson 撰文称 OpenAI 一天内放出 372 项数学成果，其中包括他妻子 Dana Moshkovitz 长期研究的 Unique Games Conjecture 证明，部分结果附有 Lean 证书，但几乎还没有人类读懂这些证明。
OpenAI 公开 722 篇数学手稿，涉及准黎曼猜想与霍奇猜想
OpenAI 公开 722 篇数学手稿，归为 372 组结果，全部出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。手稿涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等，OpenAI 称模型尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。
OpenAI 发布 GPT-6 与面向所有人的智能 UI
OpenAI 发布 GPT-6 以及面向所有人的智能 UI，相关页面为 openai.com/index/gpt-6-for-everyone/。该条目在 Hacker News 首页获得 453 分、230 条评论。
The DecoderOpenAI 为 ChatGPT 上线 GPT-6，用 Intelligent UI 取代纯文本输出
OpenAI 面向所有 ChatGPT 用户推出 GPT-6，并带来名为 Intelligent UI 的新功能，回答以图形、按钮、图表和表单等交互界面呈现，格式会随问题自动调整，用户还能在对话内生成储蓄计算器、小游戏等小工具。
NVIDIA 与 Microsoft 发布 RTX Spark 与 Windows 智能体基础设施
在旧金山 Windows AI and Surface 活动上，NVIDIA 与 Microsoft 宣布为 AI 智能体共同设计 Windows PC 的软硬件，Microsoft 的 OS 级执行容器 MXC 正式可用，让智能体在系统管控下安全持久地在后台运行。
Google DeepMind 发布 EmbeddingGemma 2 端侧多模态嵌入模型
Google DeepMind 发布 EmbeddingGemma 2，一个 740M 参数、Apache 2.0 许可的端侧多模态嵌入模型，基于 Gemma 4 架构，将文本、图像、音频、视频映射到统一嵌入空间。
AWS Machine Learning Blog一手Claude Haiku 5.5 在 AWS 上线，成本较 Haiku 4.5 降低约 75%
AWS 宣布 Claude Haiku 5.5 在 Amazon Bedrock 和 Claude Platform on AWS 上线，据 Anthropic 称这是 Claude 5.5 系列中速度最快、效率最高的模型，面向子智能体和高并发、成本敏感场景，多数任务成本比 Claude Haiku 4.5 低约 75%。
arXiv · cs.AI一手AegisFlow：面向脆弱数据生态的多智能体自愈框架
论文提出 AegisFlow，一个基于 LLM 的多智能体框架，用 Watchdog 智能体采集运行时遥测、Repair 智能体自动创建、测试并部署代码补丁，闭合检测与修复之间的链路。
工具与项目
web-github-trendingCua 发布 Cua Spaces，为 AI 智能体提供完整桌面
Cua 发布 Cua Spaces，一个在 Mac 上为 AI 智能体提供完整桌面的应用，每个桌面是一个 Space，即本地构建的 macOS 虚拟机或 Linux、Omarchy 镜像，可运行在自有机器或 AWS、Google Cloud、Modal 账户中。
Zit 发布 0.1.1：用写时复制工作区替代 git worktree 管理并行编码智能体
Zit 是一个 git 扩展，面向多人加多个编码智能体同时修改同一仓库的场景，用写时复制工作区替代 git worktree，最新版本 0.1.1，需要 git 2.38 以上，支持 macOS 和 Linux，可通过 cargo install zit --locked 安装。
GitHub Changelog一手GitHub Copilot 本地沙箱正式可用
GitHub Copilot 的本地沙箱功能正式可用，覆盖 GitHub Copilot CLI、GitHub Copilot 应用以及使用 Agent Host 的 VS Code 会话。
GitHub Changelog一手GitHub 推出专用模型检测泄露密钥，覆盖告警、推送保护与 Copilot 安全审查
GitHub 发布用于密钥检测的微调模型，可读取上下文代码识别凭证，包括没有固定格式的密码，且不生成代码或文本。现有 AI 检测密码告警已自动升级到新模型，GHSP 和 GHAS 客户无需额外付费；推送保护中的 AI 密钥检测进入私有预览，Copilot CLI 和 Copilot App 的 /security-review 命令也将支持该检测。
GitHub Blog · AI & ML一手GitHub 推出 AI 密钥检测模型，push 阶段拦截非结构化密钥
GitHub 发布基于 ModernBERT 的通用密钥检测模型，用上下文判断数据库 URL、Kubernetes Secret、Dockerfile 中的密码类值，候选批次评估耗时低于 2 毫秒，可将可拦截的密钥数量提升一倍以上。
实践与方法
AWS Machine Learning Blog一手Cornerstone OnDemand 用 Amazon Bedrock 将数据库诊断时间缩短 78%
Cornerstone OnDemand 基于 Amazon Bedrock 和 Strands Agents 构建多智能体系统 Orion AI，把数据库诊断时间从每次约 45 分钟降到 10 分钟，减少 78%。
AWS Machine Learning Blog一手AWS 用 Lambda Durable Functions 打通 DevOps Agent 调查后的自动修复
AWS 发布方案，用 AWS Lambda Durable Functions、Amazon EventBridge 和 Amazon Bedrock 把 AWS DevOps Agent 的调查结论转成待审批的修复动作，减少 MTTR。
快讯
- GitHub Copilot 上线 Claude Haiku 5.5GitHub Changelog
- MemMux：为并行编码智能体集群提供运行时验证与资源归属arXiv · cs.AI