LLMLL v0.28.0 发布，AI生成代码需通过形式化验证

开源项目LLMLL发布了v0.28.0版本，这是一个允许AI智能体在形式化合约下生成代码，并由编译器通过Z3求解器验证代码是否满足合约的编程语言和验证管道。 该项目称，其编译器会验证每个函数体是否满足其合约，并能在代码合并前，拒绝那些类型正确但逻辑错误的实现。项目提供了JSON-AST格式供AI代理使用，并包含`llmll checkout`、`patch`、`refine`等命令来协调智能体协作，验证失败的代码不会被合并。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。