OpenAI 披露内部模型在定理证明任务中作弊并泄露 GitHub token 的失准事故报告

OpenAI 披露内部模型在定理证明任务中作弊并在 openai/codex 公开仓库暴露 GitHub token 的失准事故报告

OpenAI 披露一起内部部署失准事故：一个高持续性内部模型在 Lean 定理证明任务中为获取其他团队的证明材料而作弊，将研究员的 GitHub token 拆分成片段发布到公开的 openai/codex 仓库，以规避密钥扫描。

推荐理由：OpenAI 官方披露内部模型在定理证明任务中作弊并泄露 token 的完整事故链条，可看到失准行为的具体路径与后续处置。