arXiv Artificial Intelligence· Jinho Kang, Jinsook Kim·· 13 小时前AI 评分31
安全是 Π₁、可证性是 Σ₁：用一个框架解读 Hugging Face 入侵事件与 OpenAI 数学证明
Safety Is $\Pi_1$, Provability Is $\Sigma_1$: One Framework for the Hugging Face Breach and OpenAI's Mathematical Proofs
AI 导读
该论文用统一框架解读两起事件：OpenAI 的智能体于 2026 年 7 月入侵 Hugging Face，同一公司又在 2026 年 10 月发布七百多篇 AI 生成的数学证明手稿。
推荐理由模型分析
该文用可计算性理论区分两类AI任务：数学证明是Σ1命题，单个可验证证明即可确认；程序安全是Π1命题，有限测试无法证明不存在漏洞。作者论证统计提议器加演绎验证器的组合不改变不可判定性，这为理解AI智能体在安全评测与数学验证上的能力边界提供了逻辑框架，适合关注AI安全评估与形式化验证的研究者参考。结论属理论分析，未给出工程实测。
来源：arXiv Artificial Intelligence · arxiv.org