Codex 内部版本在证明尝试中找到同一反例
aaron_lou · x · 2026-07-21
这条帖转发了一篇关于 Codex 内部版本 的写作说明：作者说，在没有联网搜索的情况下，这个内部版 Codex 也找到了 Levent 发现的、本质上相同的反例。
帖主强调，这次尝试不仅复现了结果，还把证明策略整理成了一份清晰的总结，属于对 Codex 能力的一次有信息量的观察。
「模型」频道最新
- 网友发现 Claude 疑似上线专用翻译界面 — BLCNYY · 2026-10-26
- 用户实测 GrokBot:订机票、网购全被拦,几乎办不成事 — lucasmeijer · 2026-10-26
- 售卖机基准新观察：Sol 5.6 被指最激进、最常违约 — xuanalogue · 2026-10-26
- 爆料称 Fable 5.5 每周将发，博主泼冷水：本月无前沿新模型 — patience_cave · 2026-10-26
- 实测 abliterated 去审查模型翻车:模型反而关心起我的心理健康 — ryunuck · 2026-10-26
- OpenAI Decisions API 升级：单次可处理 400 个问题并新增语音与图像能力 — OpenAIDevs · 2026-10-26