Codex 内部版本在证明尝试中找到同一反例
aaron_lou · x · 2026-07-21
这条帖转发了一篇关于 Codex 内部版本 的写作说明：作者说，在没有联网搜索的情况下，这个内部版 Codex 也找到了 Levent 发现的、本质上相同的反例。
帖主强调，这次尝试不仅复现了结果，还把证明策略整理成了一份清晰的总结，属于对 Codex 能力的一次有信息量的观察。
「模型」频道最新
- AI 日报:传 OpenAI GPT-Live-1 上 API,Pro 订阅暂停新注册 — koltregaskes · 2026-09-11
- 同题 Echo Maze 实测:三大模型看似成功,代码里藏着同一个 bug — eyishazyer · 2026-09-11
- 新基准一出分数暴跌 70 点:「刷榜」现象如何让跑分失真 — airesearch12 · 2026-09-11
- ChatGPT 竟劝用户「问题太复杂,去试试更笨的回答」 — phido3000 · 2026-09-11
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11