AI Agent 形式方法入门：先写规约并紧盯不变量

DominikTornow 建议形式方法新手先让 AI 编码 agent 写出形式规约（specification），随后围绕必须始终为真的不变量展开讨论。他的观点是，没有不变量的形式模型只是“严谨地说了句废话”；相关转发背景为 poteto 分享的 AIE 演讲，涉及 grok @bot 团队如何在不牺牲质量的前提下快速迭代。