Codex 内部版本在证明尝试中找到同一反例
aaron_lou · x · 2026-07-21
这条帖转发了一篇关于 **Codex 内部版本** 的写作说明：作者说，在**没有联网搜索**的情况下，这个内部版 Codex 也找到了 Levent 发现的、**本质上相同的反例**。 帖主强调，这次尝试不仅复现了结果，还把证明策略整理成了一份**清晰的总结**，属于对 Codex 能力的一次有信息量的观察。
「模型」频道最新
- Kimi 到 Sol 再到 Fable 的级联策略达 89.9% 覆盖率 — ZainHasan6 · 2026-07-21
- 用户称 Grok 4.5 已成规划和任务默认模型 — elonmusk · 2026-07-21
- xAI 将把 SpaceX 工程数据加入 2T 训练补充阶段 — elonmusk · 2026-07-21
- Kimi 研究员称美国前沿实验室可调动上千块 GPU — dotey · 2026-07-21
- Jina 发布 0.6B reranker，BEIR 表现对标 4B 模型 — _reachsumit · 2026-07-21
- Anthropic 押对模型设计，OpenAI 可能靠服务架构拉开差距 — haider1 · 2026-07-21