Codex 内部版本在证明尝试中找到同一反例
aaron_lou · x · 2026-07-21
这条帖转发了一篇关于 Codex 内部版本 的写作说明：作者说，在没有联网搜索的情况下，这个内部版 Codex 也找到了 Levent 发现的、本质上相同的反例。
帖主强调，这次尝试不仅复现了结果，还把证明策略整理成了一份清晰的总结，属于对 Codex 能力的一次有信息量的观察。
「模型」频道最新
- AI Sextet 活动:6 模型 14 天完全免费,含 DeepSeek/Qwen/GLM — airesearch12 · 2026-09-11
- BullshitBench 榜单更新:GPT-6-Astra 领先历代 OpenAI 模型仍未及 Anthropic — scaling01 · 2026-09-11
- Agent Astra 在 GauntletBench 得 83%,成首个超人类基线的电脑操作 Agent — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11