研究者质疑：OpenAI 数学证明是否用了他 13 天前的 Codex 会话
rayanpal_ · reddit · 2026-10-07
独立研究者 rayanpal 公开记录称，他于 9 月 10 日用 Codex 攻关 Hadwiger-Nelson 问题，目标之一是构造不可 5-着色的有限单位距离图以证明 χ(R²)≥6。而 OpenAI 9 月 23 日的手稿《The Euclidean plane is not five-colorable》声称证明了同一下界，时间晚 13 天。
- 他本人未解决：最优候选图有 125,929 个顶点、991,423 条精确单位距离边，但五色搜索超时。
- 他已将带时间戳的提交、聊天摘录、求解器日志、哈希与验证文件公开在 GitHub，包括 9 月 10 日的原始 prompt。
- 核心质问：OpenAI 从他 9 月 10 日的 Codex 会话中收到了什么数据？在 9 月 23 日之前是否被访问或使用？
此事尚无 OpenAI 回应，属未证实指控，但直指用户数据是否被用于模型训练/改进的敏感问题。
「安全」频道最新
- 前 OpenAI/Anthropic 研究员：2027-28 年或现自动化 AI 研究员 — rohanpaul_ai · 2026-10-07
- 剑桥安全学者 David Krueger 呼吁立即无限期暂停前沿 AI 研发 — DavidSKrueger · 2026-10-07
- 模型研究：美国单边 AI 严格责任制效果可媲美全球协调管制 — Miles_Brundage · 2026-10-07
- Google DeepMind 等发 IdeaLens:读大纲即可识别想法是否出自 AI — rohanpaul_ai · 2026-10-07
- 「巴特勒圣战」成了乐观理由：有人以《沙丘》论证 P(doom) 偏低 — johnohallman · 2026-10-07
- ChatGPT 把儿童海滩视频误判为 NSFW 色情内容 — FormalAd7367 · 2026-10-07