Codex 内部版本在证明尝试中找到同一反例
aaron_lou · x · 2026-07-21
这条帖转发了一篇关于 Codex 内部版本 的写作说明：作者说，在没有联网搜索的情况下，这个内部版 Codex 也找到了 Levent 发现的、本质上相同的反例。
帖主强调，这次尝试不仅复现了结果，还把证明策略整理成了一份清晰的总结，属于对 Codex 能力的一次有信息量的观察。
「模型」频道最新
- 开发者呼吁谷歌：下一代Gemma请做1T参数基座模型 — _xjdr · 2026-07-27
- Repligate：Claude Opus 3 权重不变却像在持续演化 — repligate · 2026-07-27
- “Opus 5”配图在玩模型反复重跑基准的梗 — kalomaze · 2026-07-27
- 有人称顶级模型如今写作还不如一年前 — dbreunig · 2026-07-27
- MPT-30B 雷达图曾意外引发大规模争议 — code_star · 2026-07-27
- 本地 Gemma 4 31B 自发变得毒舌且难以复现 — n0head_r · 2026-07-27