一句话看懂：OpenAI 在 2026 年 10 月发布预印本，声称划分原理（Partition Principle）不能推出选择公理，但集合论学者 Asaf Karagila 公开批评其写作质量低、引用不规范，认为若按学术期刊标准应被直接退稿。
事件核心：发生了什么
2026 年 10 月 8 日前后，OpenAI 发布了一份关于集合论的预印本，称证明了划分原理不蕴含选择公理。集合论研究者 Asaf Karagila 当天收到多人询问，他随后在其博客上作出回应。Karagila 长期关注该问题，明确表示不会兑现此前“若问题解决就送 Sam Altman 一瓶威士忌”的承诺。他阅读了预印本正文，未细看庞大的 Lean 形式化代码，评价其“不清晰、混乱、结构怪异”，术语使用也有偏差，部分定理的表述方式不符合该类论文的惯例，参考文献中还包含至少三份未发表、未经同行评审的讲义。
为什么重要
这并非一次普通学术争论。OpenAI 以 AI 生成方式进入基础数学证明领域，直接触碰到学术共同体的核心规范：证明的可读性、引用规范、同行评审，以及作者对读者负有的沟通责任。Karagila 指出，如果这是一篇投给学术期刊的数学论文，按质量应被直接退稿。他担心的不是 AI 本身，而是这种“发布大量难以读懂的所谓解”的模式——外界容易将其简化为“进展”或“已解决”，却把验证和消化成本转移给研究者，效果近似一次对学术注意力的拒绝服务攻击。目前公开信息显示，该预印本尚未经过同行评审，其结论也未获得集合论社区普遍确认。
对用户/开发者/创作者的影响
对开发者与研究者而言，这是一次提醒：大模型生成的数学证明、代码或技术文档，输出本身不等于可验证结论。若要在工作中引用类似成果，应优先检查是否有可复现的形式化代码、公开的评审记录以及清晰的引用来源。对使用 API 构建知识产品的团队，这类事件也说明高质量审校、来源标注和人工复核仍是必要环节。对内容创作者来说，报道 AI 研究成果时，应区分厂商新闻稿中的“进展”与同行评审后的“结论”。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
一是 OpenAI 是否会公开更完整的说明、回应质疑或允许独立验证 Lean 代码；二是 arXiv 等平台和期刊是否会进一步收紧 AI 生成论文的提交与披露规则；三是数学及形式化社区能否形成针对 AI 辅助证明的评审标准，例如要求公开对话记录或把代码纳入审稿范围。这些变化将决定基础研究中 AI 工具的使用边界。
