软件正确性

用Agent做形式化验证？作者提醒细节最难

作者类比“让LLM评审修LLM输出”，质疑Agent形式化验证说法，强调可解释、表达力、可扩展的形式化很难做对。