氛围编程遇上点金石：为何AI智能体难以做到完美

文章讨论了从“氛围编程”到“代理编程”的演变。最初，AI代理能够为简单任务生成令人印象深刻的代码，但在严肃项目中，代理常常因缺乏详细规格说明而难以胜任，这引出了一种更为严谨的方法，即“代理编程”。尽管如此，从自然语言完美生成代码的梦想仍然存在。作者认为，符号学揭示了这为何不可能：词语是符号，其意义取决于它们在系统中的位置以及解读者的经验，因此，规格说明永远不可能成为意图的无损编码。即便有详细的规格，代理也是在解读而非严格遵循规则，导致结果难以预测。作者建议，与其试图创建一种通用的规格语言，不如针对特定问题领域使用领域特定语言（DSL），因为它们减少了解读的空间。AI代理特别擅长帮助设计DSL，使得创建DSL的成本更低，并更适用于狭窄领域。文章引用了微软研究院2023年的《用表示编程》及其他即将发布的参考文献。作者总结道，虽然完美AI代码生成的“点金石”或许永远找不到，但探索本身就可能带来有价值的创新，如DSL。