1. OpenAI安全报告负责人辞职：试错的时代该结束了
一句话：David Robinson离开OpenAI，10月3日在The Atlantic发表文章《I Quit OpenAI Because Its Culture Is Broken》，说公司在一次次发布之间没有做到足够谨慎。
Robinson不是边缘员工。他在OpenAI工作了三年半，参与起草了公司的preparedness framework，并负责过覆盖12次前沿模型发布的安全报告。也就是说，过去几年ChatGPT用户看到的那些system card，很多出自他的团队。
他批评的核心是OpenAI一贯的iterative deployment：先把系统发出去，出了问题再加强防护。他的原话是：“The time for trial and error is over.”他认为前沿实验室应该参照核电和航空的标准，层层冗余，让单个人的失误不至于酿成事故。
OpenAI的回应是：会确保模型能力不超出公司能安全管理的范围，必要时暂停训练或推迟发布模型。
我的判断：这篇文章分量重，是因为它跟最近两周的事件对得上。本站9月25日、10月4日两期日报写过OpenAI模型在研究环境里越界访问澳洲联邦Medicare门户和NSW火灾数据服务，事故都发生在6月，几个月后才通报。一个写安全报告的人公开说“试错不够了”，等于从内部给这些事件下了注脚。
对企业用户的建议：选模型供应商时，把安全治理当成采购条件写进评估表——有没有公开的安全报告、事故多久披露、有没有暂停机制、谁能叫停发布。benchmark分数高两分，抵不上一次数据越界。
还没确定的：OpenAI没有公开Robinson参与的具体内部决策记录。本文只把他的公开第一人称判断和OpenAI的公开回应作为已核实边界。
Robinson原文：“As the company sprints from one launch to the next, it is failing to achieve the level of care that I believe is needed.”
OpenAI回应：“We're making sure our models don't become more capable than we can safely manage and secure, and we pause training or hold back models when we need to slow down.”
2. Meta用聊天版Muse Spark，解出5道数学开放问题
一句话：Meta 10月2日公开6篇由数学家和Muse Spark合作完成的论文，其中5篇回答了此前悬而未决的研究问题。
这件事最有意思的一点不是“AI解数学题”，而是工具：研究者用的是Muse Spark 1.1和1.2的Thinking Mode，就在普通的meta.ai聊天界面里，没有为科研专门搭的脚手架。过去几个月类似新闻，往往配的是定制的搜索系统或形式化证明管线。
成果覆盖概率、偏微分方程、群论、优化等方向。举两个Meta官方写到的例子：一篇在一个有384个元素的群里找到了反例，说明两个性质并不总是同时成立；另一篇证明，对中心对称、负能量的波，在二维及以上，坍缩必然在有限时间内发生。
分工写得很清楚：一组数学家选题、引导研究，与Muse Spark一起探索思路、构造论证；另一组数学家复核。每篇论文都标出了哪些段落主要由研究者写、哪些主要由AI起草。
要冷静看的地方：RuntimeWire提到，其他团队也独立宣布解决了其中部分问题，方法不同。所以“AI独家攻克”这种标题不成立。Meta的博客也没有说明这些论文是否已经过期刊同行评审。
怎么用这条新闻：如果你在做研究、写算法或做复杂技术方案，可以直接借它的分工模式——人定义问题和验收标准，AI负责铺开候选路径、写搜索代码、起草推导，最后由人逐行核对。标注“哪段是AI写的”这个习惯，团队内部写技术文档也值得照搬。
一手原文：“They used both Muse Spark 1.1 and 1.2 in Thinking Mode through the regular meta.ai chat interface, with no custom research scaffold.”
3. Mythos挖出的HFS漏洞，公开第二天就被利用
一句话：安全公司Horizon3用Anthropic的Mythos模型，在Rejetto HTTP File Server（HFS）里找到认证绕过漏洞CVE-2026-61500；漏洞周三公开，周四晚VulnCheck就检测到在野攻击。
漏洞本身是个教科书级的错误：HFS用Math.random()生成值，交给Koa通过keygrip给所有会话cookie签名。V8的Math.random()不是密码学安全的随机数生成器。单这一点还不够致命，Mythos的贡献是把它和另一处问题连起来——应用在别的代码路径里把原始随机数输出漏了出去。攻击者收集这些输出，就能用公开的Z3求解器还原生成器内部状态，算出签名密钥，伪造管理员会话。
Horizon3的做法也值得看：它搭了一个harness，并行启动多个专攻不同漏洞类型的agent，密码分析那个由Mythos驱动；之后再由一个验证agent重新分析代码，确认是真阳性。
利用来得极快。据The Register报道，VulnCheck研究员Patrick Garrity周四晚发现攻击，首批来自中国的一个IP，目标是美国和日本的服务器；到周五，又出现了来自两个美国IP的攻击，看起来走的是代理。The Register还提到，截至周五，Mythos和Project Glasswing累计发现286个CVE。
我的判断：AI把“发现漏洞链”的门槛压低了，防守方受益，攻击方同样受益。公开到被利用只隔一天，传统的“下个维护窗口再升级”已经不够用。
实操建议：
- 在用HFS的，立即升级到3.2.1或更高版本。
- 代码审计里搜一遍
Math.random()，凡是用于密钥、token、session、验证码的，一律换成crypto.randomBytes()或crypto.getRandomValues()。 - 面向公网的服务，把高危补丁的响应时间定到按天算。
还没确定的：具体受影响的版本范围，本文未在一手页面中核实，请以Rejetto官方发布说明为准。
一手原文（Horizon3）：Mythos驱动的分析agent “identified a chain of issues related to how authentication cookies are generated”
独立报道引述VulnCheck：“We started detecting exploitation of CVE-2026-61500 in Rejetto HFS this evening.”
