凯时AG

2026-07-04 15:23:49 设为首页 | 加入珍藏

OpenSquilla宣布0.4.0:AI写代码首次能“自我验证”

2026-07-04 15:23:49 宣布 泉源:126邮箱 作者:傅慧君 浏览:1145次

记者6月30日获悉,,,,开源AI Agent项目OpenSquilla克日宣布0.4.0 版本,,,,焦点更新是推出编码事情流coding模式,,,,并首次为AI编码引入“自我验证”机制:AI不再止步于“我改好了”口头交付,,,,而是在交回效果前,,,,先用测试为自己跑出一份可复核的、证实“改对了”的证据。。。。。

这一机制指向AI Coding目今最棘手的瓶颈——信任。。。。。

从工业来看,,,,已往一年,,,,AI写代码能力突飞猛进,,,,但“能写”不即是“能信”:大都编码Agent改完即交,,,,对错仍要人逐行复核,,,,这是AI编码难以真正无人值守、规 ;;;;;肷樾蔚囊φ习。。。。。把验证内化进Agent自身,,,,意味着行业评判AI编码的标准,,,,正从“它声称改对了”转向“它能否自证改对了”。。。。。

其做法是一条自力的“红绿回归证据链”:先写一个注定失败的测试给问题定性、证实它真能捉住bug,,,,再把功效做好让测试由红转绿,,,,最后跑一遍项目原有测试确认没弄坏别处 ;;;;;三关全过才算交付,,,,任一不过直接打回。。。。。配套尚有默认的自动修复闭环。。。。。

在官方的案例演示中,,,,Coding模式为着名开源项目micrograd,,,,AI教育圈顶流、Anthropic研究员Andrej Karpathy的极简自动微分库,,,,新增了“盘算准确梯度”的功效——而梯度一旦算错,,,,模子不报错也不瓦解,,,,只会悄悄越学越偏,,,,是最难靠肉眼发明的bug。。。。。演示分两步:先由AI走完上述“红→绿→回归”三关、自交证据 ;;;;;再由人把micrograd的新功效与行业标准工具PyTorch在统一道题上并排比对,,,,前向值与每一个梯度小数点后10位完全一致。。。。 ;;;;;谎灾,,,,不是“AI自己说对”,,,,而是“它和官方标准谜底分绝不差”。。。。。

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

OpenSquilla主打“提升单位本钱的Agent智能”,,,,以Learnable Harness为切入点,,,,目的打造性价比最高的Agent产品。。。。。

现在,,,,主流Agent框架普遍推高模子挪用、Token本钱攀升,,,,因此怎样压降本钱成为各玩家配合面临的话题。。。。。OpenSquilla官网称,,,,通例场景内测综合本钱可下降约60—80%。。。。。

果真报道显示,,,,基元律动首创人王云鹤曾认真头部科技公司大模子研发。。。。。公司建设仅数月即完成首轮融资,,,,是Harness和Agent原生模子偏向上为数未几的代表性玩家。。。。。OpenSquilla上线后数周内GitHub star增至数千量级。。。。。

猪肉股异动飙升,,,,天邦食物、天域生物涨停,,,,华统股份涨超5%,,,,巨星农牧、立华股份、神农集团涨超4%,,,,天康生物等大幅跟涨。。。。。

责任编辑:詹昭云    校对:林育珊

今日热门

  1. 2026天下智能工业博览会|锚定立异“智”高点,,,,跑出生长“加速率”
  2. 我国首艘货舱系统天下产低温阀LNG运输船交付
  3. 港澳青年重庆踏寻长征路 传承红色基因、厚植家国情怀
  4. 傅利叶与名古屋大学告竣战略相助
  5. 中外选手南宁邕江竞渡迎端午
  6. 菲律宾为何会爆发强震
  7. 美加墨天下杯将启 华侨华人抢抓赛事机缘
  8. 去年1月至今年5月,,,,天下审查机关对毒品案件提出二审和再审抗诉300余件
  9. 吉林长春:无声球场上的铿锵玫瑰
  10. (墟落行·看振兴)山西朔州稻田里的“加减法”:减农药化肥 加绿色收益

相关推荐

【网站地图】