Codex 找到同一反例
SebastienBubeck · x · 2026-07-20
Sebastien Bubeck 表示，GPT 也能做到同样的事，并建议去看 Codex 的写法：它为了找到反例所做的推理过程很出色。 他同时提醒，这个结果要结合“样本高度非随机”来理解，因此不想把结论看得过于严肃；另外，@aaron_lou 的推文里贴出了他在内部 Codex 上使用的完整提示词。
「模型」频道最新
- Kimi 团队与算力轶事外加一份民间模型榜单 — vista8 · 2026-07-21
- DavidAU 协作版据称提升了 Qwen 3.6 27B 的长上下文 Agent 表现 — My_Unbiased_Opinion · 2026-07-21
- 小语言模型更简短，大模型会把物理过程讲完整 — NickPassig · 2026-07-21
- IMO 2026 模型实测的来源与 Lean 证明链接 — deedydas · 2026-07-21
- Claude Fable、GPT-5.6 Sol、Kimi K3 都拿下 IMO 2026 满分 — deedydas · 2026-07-21
- Kimi K3 接入 Claude Code 工作流做同场对照 — tomcrawshaw01 · 2026-07-21