白泽明理Formal eXplainable AI

明理笔记 · AI编程

AI编程

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

共 9 篇

AI编程 · 2026/09/08

机器人视频模仿能学会动作时,动作脚本还要人写吗

BeyondMimic 用开源运动跟踪把人体动作学到人形机上:侧空翻、冲刺、spin-kick 等能在真机跑。学会动作之后,换航点、摇杆、避障仍要人写测试时的代价函数或关键帧。机器人视频模仿先把参考动作跑稳;动作脚本写的是任务目标与边界,不是逐帧关节角。

阅读全文

AI编程 · 2026/08/02

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

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

阅读全文