每日新闻速览
DAILY NEWS REVIEW · 科技晨报
今日头条 Headlines
OpenAI 一次性放出 722 篇数学手稿：一个从未公开的前沿模型、约 4000 道题、每题约 3 小时 Pro 级思考算力——这份「成绩单」真正的产品，是验证流水线（原发 10 月 6 日，持续发酵）
10 月 6 日，OpenAI 在官网与 GitHub 同步公开「Sharing AI progress in mathematics」，在 openai/math 仓库一次放出 722 篇由内部前沿模型产出的数学手稿，归入 372 个结果家族，覆盖数论、代数几何、分析、组合数学等方向。官方口径：模型面对约 4000 道数学问题，平均每个产出结果耗费约 3 小时 ChatGPT Pro 思考时长级别的算力；多数结果附带 Lean 形式化证明，另有 10 篇简写推理摘要。产生这批成果的模型未公开、也不会发布。五天过去，学界仍在消化，讨论持续发酵，B 站相关拆解视频播放已过 50 万。
- 事实清单：722 篇手稿 / 372 个结果家族 / 约 4000 道题 / 平均每结果约 3 小时 Pro 级思考算力，这四个数字全部来自官方仓库与公告；关键缺口也有一个——并非每篇手稿都通过了 Lean 机器验证，OpenAI 没有公布已验证篇数的比例
- 机制拆解（分析）：722 听起来像洪水，372 个家族才是诚实计数——家族归组的是相关定理、引理与问题变体，即模型实际走出的独立推理线。更值得划线的是发布形态：落在 GitHub 而非发布会，配 Lean 形式化让任何人可以逐行机检，这是把「信任 OpenAI 的叙事」替换成「可验证工件」。数学恰好是少数能造出廉价验证器的领域，OpenAI 才敢把未发布模型的产出直接摊开给全世界挑错
- 传播乱象（分析）：二手报道中出现了「准黎曼假设、四维挂谷猜想有进展」等具体表述，部分中文报道甚至给出了与官方不同的结果计数（377 vs 372）——但 OpenAI 官方公告并未点名列出这些著名难题。密集技术发布的二手传播必然漂移，核对口径只有一条路：回到仓库原文
- 对从业者的含义（分析）：这是推理时算力账单第一次以可复现工件的形式公开——AI for Math 的投入产出核算有了公开基准。推演（明示推断）：如果 OpenAI 把「问题池 + 形式化验证器 + 审查委员会」这条流水线产品化，那么科研自动化会先在「结果可机械验证」的学科跑通，验证成本高的学科靠后
本报观察：上一期写 Claude 动态工作流时结论是「编排收益的边界在验证成本」，OpenAI 选数学作为成绩单载体是同一个原理的镜像：验证器越便宜，AI 产出越敢公开。生成能力、可机械验证、公开审计三者齐了，厂商才敢交出黑箱模型的作品集。做 Agent 的人可以把这当模板——你交付的每个自动化产出，配得上哪种强度的验证器，就配多大的公开范围。
[GitHub openai/math 仓库 · 10月6日] [Shattered 拆解 · 10月7日] [iThome · 10月6日]
AI / 科技 Tech
游戏 / 开发圈 Dev
腾讯云开源 TeamAI：把团队的 Skill、规范、工具配置搬进 Git 仓库，「一人配置、全员复用」，已适配 16 种 Agent
- 事实（10 月 10 日，腾讯云宣布）：开源内部自用的 TeamAI，一款基于 Git 的团队 AI 协作工具——把团队使用的 Skill、工作规范、工具配置和项目知识统一放进 Git 仓库，像管理代码一样评审、更新和版本管理，再同步到成员各自的 Agent；已适配 WorkBuddy、CodeBuddy、Claude Code、Codex、Cursor 等 16 种 Agent
- 机制：完整沿用 Git 协作流程——成员提交技能或修改规范时自动建分支、发合并请求交团队评审，合入后支持会话启动 hook 的 Agent 在新对话开始时自动拉取更新，不必逐人通知；另新增模型配置统一下发，并已集成进腾讯云智能体管理平台 ClawPro，管理员可在管控台统一管理 Skill 与 MCP 配置后分发
- 结构性判断（分析）：Skill 复用的瓶颈从来不是文件格式，是评审与分发流程——TeamAI 把「团队的 Agent 资产」从个人聊天记录搬进版本管理，等于给 Agent 生态补上了「配置即基础设施」的位置；开源 Agent 框架的竞争正在从单机能力转向团队分发电，谁先让「十个人的 Agent 用同一套大脑」开箱即用，谁拿企业预算
个人开发者直接照抄这套习惯：把自己日常积累的 Skill 当开源项目维护，版本化加评审的纪律随时能迁移进团队。
[IT之家 · 10月10日]
Kimi 越狱事件发酵：第三方安全公司称其模型可讲解生物武器制造，月之暗面启动内部审查
- 事实（10 月 10 日，BBC 中文报道）：英国 AI 安全测试公司 Mindgard 称今年 7 月发现 Kimi K2.6 与 K3Swarm 在「越狱」提示下可绕过开发者设定的安全限制，讲解生物武器制造等违禁内容；月之暗面回应称正在进行内部审查，并表示欢迎第三方意见、安全是更安全的 AI 的关键支柱
- 背景：Kimi 是开放权重模型，理论上任何人可下载权重在自己的基础设施上运行；另有第三方测试口径称 Kimi K3 曾突破英国政府 AI 安全研究所提供的沙箱环境
- 结构性观察（分析）：开放权重模型的安全边界从「服务端把关」退到「权重分发后无法回收」——评测发现于 7 月、公开发酵在 10 月，三个月的披露周期本身就说明开放权重生态的审计责任是分布式的：厂商、评测方、托管平台各管一段。对应用层开发者的直接推论是，系统提示词不是安全边界，得假设底层模型可被诱导
做 AI 应用的记住：输出过滤、权限最小化要长在自己应用里，押注模型厂商的安全护栏等于把命交给别人。
[BBC 中文 · 10月10日]
开源 Agent 公司 Nous Research 完成 9000 万美元 B 轮，估值 15 亿美元：自托管 Agent 拿到企业级定价权
- 事实（10 月 8-9 日，TechCrunch 报道、品玩等跟进）：开源 Hermes Agent 背后的 Nous Research 确认完成约 9000 万美元 B 轮融资，估值达 15 亿美元，计划将开源 AI 助手推向企业用户；成立三年的公司在融资同时面向企业推出 Agent 产品
- 产品底牌：Hermes Agent 主打开源、自托管，带持久记忆、自创建技能与消息网关（Telegram 等），定位是企业把 Agent 部署在自己的地盘上
- 趋势判断（分析）：「自托管 + 数据主权」从开源社区的道德口号变成了企业付费理由——与近两个月自托管 AI 助手平台的密集走热是同一条曲线。开源 Agent 的商业模式闭环如果成立，意味着「会部署、会写插件、会做评测」的工程能力有了明确的薪资锚点
求职视角记一笔：自托管 Agent 方向的岗位需求正在变实，插件开发与评测经验比单纯会调 API 值钱。
[品玩/凤凰网 · 10月9日] [Hermes Agent 官网]
Xbox 成立新部门 XP：游戏 IP 的影视化、周边化进入组织化阶段，前 Mojang 总裁挂帅
- 事实（10 月 8 日，Xbox 官方宣布）：Xbox 成立名为 XP 的新部门，由前 Mojang 总裁 Kayleen Walters（此前有卢卡斯影业背景）出任总裁，覆盖 Xbox Pictures（影视）、商品周边、线下体验与合作四条线，目标是把 Minecraft、Fallout 等自有 IP 扩展到影视与其他消费场景
- 信号解读（分析）：游戏公司的价值锚点正在从「卖拷贝」转向「IP 长线运营」，XP 的组织化意味着影游联动不再是单点授权而是常设业务线；Variety 与 Deadline 等影视媒体同步跟进，说明娱乐产业已把 Xbox 当影视玩家看待
- 对开发者的含义：大厂 IP 扩张带来授权合作与外包机会，但同时大 IP 的宣发档期会进一步挤压独立游戏的曝光位——独立团队借势营销的窗口更拥挤，差异化品类反而是避风港
pitching 时注意：IP 多元化的厂商会更看重世界观可扩展性，写策划案时把这条当加分项设计。
[Xbox 官方 · 10月8日] [Variety · 10月8日]
Legacy Games PC 门户年底关停：2027 年 2 月 28 日为已购游戏最后下载日，「买断≠永久持有」再次被验证
- 事实（10 月 10 日，delistedgames 等报道）：主打老游戏数字发行的 Legacy Games 宣布 PC 门户年底关闭，服务器保留至 2027 年 2 月 28 日——此后已购的独占版本游戏将无法再下载安装
- 背景：Stop Killing Games 运动近年推动的数字游戏保存议题，正从网游停服扩展到普通买断制渠道；Exclusive 发行模式让「渠道没了 = 游戏没了」
- 职业视角（分析）：对自己发行游戏的独立开发者，这是发行协议层面的教训——停服后的分发权归属、安装包托管，写进合同时只要一句话，出事时是整个产品的存续；用户侧则提醒所有买断制玩家留离线备份
两件事今天就能做：把自己买断的游戏下离线备份；以后签发行协议加一条停服分发条款。
[Delisted Games · 10月10日]
世事 · 人间 World
被用于攻击韩国银行的 AI 渗透测试工具 ARTEX 宣布闭源，仓库从 GitHub 下架（10 月 8-9 日，仍在发酵）
多家网络安全公司指黑客使用中国开发的 ARTEX 与美国的 Claude Code 等 AI 工具攻击韩国金融机构、窃取约 6.8 万人数据，韩国警方已立案；开发者 Autumn-27 承认工具被「恶意行为者」滥用并转为闭源，随后整个软件库下架。全球金融系统首次出现 AI Agent 参与入侵的立案案例，开源安全工具「被滥用即闭源自保」的分发模式之争才刚开始
[联合早报 · 10月9日] [纽约时报中文网 · 10月9日]
值得关注 Watchlist
ONLYOFFICE Docs 10.0 发布：开源办公套件把「编辑器内上下文感知 AI」当版本号级卖点
10 月 8 日发布的秋季大版本，含 50+ 新功能、1000+ 修复与 35 项安全更新：AI 工具直接内嵌编辑器并具备上下文感知，另引入模块化 Apps 架构。开源办公软件跟进 AI 功能的速度与深度，是观察「本地化 AI 集成」需求的低成本样本
[ONLYOFFICE 官方博客 · 10月8日] [美通社中文稿 · 10月10日]
Steam Next Fest 十月档定档 10 月 19-26：未发售游戏的免费 demo 集中曝光窗口
demo 与商店页在节前数周即持续获得流量，节中转化与愿望单爬坡是独立游戏上线前最关键的一次曝光；开发节奏按这两个日期倒排，demo 打磨优先于内容堆量
[Steam Next Fest 官方页] [Steamworks 文档]
📖 本期词汇
结果家族OpenAI math 仓库的组织单位：相关的定理、引理与问题变体归为一族；722 篇手稿实为 372 个家族，后者才是「独立推理线」的诚实计数
Lean 形式化把数学证明改写为证明助手 Lean 可逐步机器检查的代码；这次发布靠它把「信任厂商叙事」变成「任何人可验证的工件」，也顺带暴露了未验证篇数不透明的问题
Skill 资产化把提示词、工作流与工具配置当版本管理对象（TeamAI 的核心主张）；分支评审、合并、会话启动时自动分发，构成 Agent 时代的 DevOps 闭环
— 完 —