评估 AI 智能体合成智能合约时的意图丢失

一项针对智能体智能合约合成的新研究设计了基于交易重放执行的评估方法，发现常规 AI 裁判与分析工具会漏检明显的逻辑错误。研究据此提出需求引出优先（elicitation-first）架构，证实写代码前向用户主动提问澄清的效果远优于事后审查或打补丁。团队已开源相关评测工具、600 个任务及全部评测结果。