白泽明理Formal eXplainable AI

明理笔记 · AI编程

AI编程

AI 参与写代码之后,工程要跟着变:约束怎么立、边界怎么划、产出怎么验收。

共 8 篇

AI编程 · 2026/08/02

Codex 配 subagent:判断力留给主线程,重复交给便宜档

OpenAI 今年 7 月发布的 GPT-5.6 把模型分成 Sol、Terra、Luna 三档,Codex CLI 也原生支持给不同角色配不同模型。这篇笔记整理一套实际能跑的配置——主线程留最强判断力,范围明确的重复子任务交给更省的档位,并顺手纠正一个容易配错的细节:推理力度只有五档,没有「max」也没有「ultra」。

阅读全文