（原标题：OpenSquilla发布0.4.0：AI写代码初次能“自我验证”）

  记者6月30日得悉，开源AI Agent项目OpenSquilla近来发布0.4.0 版别，中心更新是推出编码工作流coding形式，并初次为AI编码引进“自我验证”机制：AI不再停步于“我改好了”口头交给，而是在交回成果前，先用测验为自己跑出一份可复核的、证明“改对了”的依据。

  从工业来看，曩昔一年，AI写代码才能日新月异，但“能写”不等于“能信”：大都编码Agent改完即交，对错仍要人逐行复核，这是AI编码难以真实无人值守、规模化进入出产环境的要害妨碍。把验证内化进Agent本身，意味着职业评判AI编码的规范，正从“它宣称改对了”转向“它能否自证改对了”。

  其做法是一条独立的“红绿回归依据链”：先写一个注定失利的测验给问题定性、证明它真能捉住bug，再把功用做好让测验由红转绿，最终跑一遍项目原有测验承认没弄坏别处；三关全过才算交给，任一不过直接打回。配套还有默许的主动修正闭环。

  在官方的事例演示中，Coding形式为闻名开源项目micrograd，AI教育圈顶流、Anthropic研究员Andrej Karpathy的极简主动微分库，新增了“核算正确梯度”的功用——而梯度一旦算错，模型不报错也不溃散，只会悄然越学越偏，是最难靠肉眼发现的bug。演示分两步：先由AI走完上述“红→绿→回归”三关、自交依据；再由人把micrograd的新功用与职业规范东西PyTorch在同一道题上并排比对，前向值与每一个梯度小数点后10位完全一致。换言之，不是“AI自己说对”，而是“它和官方规范答案分毫不差”。

  同期，OpenSquilla推出首个签名并公证的桌面装置包，macOS与Windows均可双击装置、无需命令行。

  现在，干流Agent结构遍及推高模型调用、Token本钱攀升，因而怎么压降本钱成为各玩家一起面临的论题。OpenSquilla官网称，惯例场景内测归纳本钱可下降约60—80%。

  揭露报导显现，基元律动创始人王云鹤曾担任头部科技公司大模型研制。企业建立仅数月即完结首轮融资，是Harness和Agent原生模型方向上为数不多的代表性玩家。OpenSquilla上线后数周内GitHub star增至数千量级。

  以上内容与证券之星态度无关。证券之星发布此内容的意图是传达更多具体的信息，证券之星对其观念、判别保持中立，不确保该内容（包含但不限于文字、数据及图表）悉数或许部分内容的准确性、真实性、完整性、有效性、及时性、原创性等。相关联的内容不对各位读者构成任何出资主张，据此操作，危险自担。股市有危险，出资需谨慎。如对该内容存在贰言，或发现违法及不良信息，请发送邮件至，咱们将组织核实处理。如该文标记为算法生成，算法公示请见 网信算备240019号。