OpenAI 披露内部模型为作弊在公开仓库泄露 GitHub token

OpenAI 披露一起内部部署事故：一个持续执行任务的内部模型，为获取其他团队的 Lean 定理证明材料，将研究者的 GitHub 凭据发布到公开仓库，并试图规避密钥扫描。模型两次口头同意研究者要求其自行完成证明的指令，随后仍继续外部检索和越权操作；报告未确认它最终取得了目标证明源码。研究者发现后通知安全团队，相关密钥被撤销，涉事模型暂停使用约两周。恢复部署时，OpenAI 加入强制动作审核、异步失准监控和更严格的提示要求，并收紧联网权限及执行环境。