LogicStar:引领应用维护AI代理新潮流

字数 1781,阅读大约需 9 分钟

LogicStar:引领应用维护AI代理新潮流
LogicStar曾是由Boris Paskalev创立的代码审查初创公司,2020年9月被网络安全巨头Snyk收购

LogicStar:致力于构建应用维护AI代理的新兴力量

在人工智能飞速发展的当下,瑞士初创公司LogicStar异军突起,全力投身于AI代理领域,目标是为应用程序维护带来全新的解决方案。这家成立于2024年夏天的公司,已成功获得300万美元的种子轮前融资,旨在为开发者市场提供能够自主维护软件应用程序的工具,这一方向区别于更为常见的代码协同开发AI代理应用场景。

独特的技术定位与愿景

LogicStar首席执行官兼联合创始人Boris Paskalev认为,他们的AI代理未来有望与代码开发代理,如Cognition AI的Devin等,实现商业上的双赢合作。目前,AI代理在构建和部署软件时,代码准确性是一个关键问题,这与人类开发者面临的情况类似。而LogicStar希望通过自动检测并修复部署代码中出现的漏洞,为软件开发助力。

Paskalev指出,即使是目前最优秀的模型和代理,也无法解决大多数呈现给它们的漏洞。这为专注于提高修复成功率、实现更少繁琐应用维护梦想的AI初创公司创造了机会。为此,LogicStar基于大型语言模型(LLMs)构建平台,采用模型无关的方法,可灵活选用不同的LLMs,如OpenAI的GPT或中国的DeepSeek,以最大化其AI代理的效用,依据不同基础模型对解决特定代码问题的适配性来做出选择。

LogicStar的创始团队具备深厚的技术和特定领域知识,有能力构建一个能够解决编程难题的平台,甚至可以解决一些单独依靠LLMs难以应对的问题。值得一提的是,Paskalev曾成功将其先前的代码审查初创公司DeepCode,于2020年9月出售给网络安全巨头Snyk,这无疑为团队增添了成功的创业经验。

最初,团队考虑为代码构建一个大型语言模型,但随后意识到这很快会成为一种商品。于是,他们转变思路,基于现有优秀的大型语言模型和代码AI代理,思考如何从中提取最大的商业价值。这一想法建立在团队对软件应用程序分析方法的深刻理解之上,将其与大型语言模型相结合,并专注于验证模型和AI代理给出的建议。

创新的实践方法:测试驱动开发

在实际操作中,LogicStar会运用 “经典计算机科学方法” 对部署其技术的每个应用程序进行分析,以构建 “知识库”。这使得AI代理能够全面了解软件的输入输出、变量与函数的链接以及其他关联和依赖关系等。

当面对漏洞时,AI代理能够确定应用程序的哪些部分受到影响,从而缩小需要模拟的函数范围,以便测试大量潜在的修复方案。Paskalev表示,这种 “最小化执行环境” 使AI代理能够运行 “数千次” 测试,旨在重现漏洞以识别 “失败测试”,并通过这种 “测试驱动开发” 方法,最终找到有效的修复方案。

实际上,漏洞修复方案源自LLMs,但由于LogicStar的平台提供了 “非常快速的执行环境”,其AI代理能够大规模地筛选出最佳方案,为用户提供捷径,直接获取LLMs的最佳成果。Paskalev强调:“我们看到(LLMs)在原型设计、测试等方面表现出色,但在(代码)生产和商业应用方面还远远不够。我们的平台正是要解决这一问题,能够安全地提取模型的能力,为开发者节省时间,让他们专注于更重要的事情。”

目标市场与发展规划

LogicStar最初将目标锁定为企业客户,其 “硅代理” 旨在与企业开发团队协同工作,以远低于雇佣人类开发者的成本,承担一系列应用程序维护任务,使工程人才能够投入到更具创造性和挑战性的工作中。尽管该初创公司宣传其具备 “完全自主” 的应用程序维护能力,但Paskalev确认,平台将允许人类开发者审查(并以其他方式监督)AI代理提出的修复方案,毕竟赢得信任是首要任务。他还补充道:“人类开发者的准确率在80%到90%之间,我们(AI代理)的目标就是达到这一水平。”

目前,LogicStar仍处于早期发展阶段,其技术的alpha版本正在与一些未公开的公司(Paskalev称之为 “设计合作伙伴”)进行测试。当前,该技术仅支持Python语言,但对TypeScript、JavaScript和Java的扩展已提上日程,“即将推出”。Paskalev表示:“种子轮前融资的主要目标是与设计合作伙伴一起验证技术的可行性,目前专注于Python。我们已经在这上面花费了一年时间,并且有很多扩展的机会。所以我们首先聚焦于此,以展示在一种情况下的价值。”

强大的融资支持

LogicStar的种子轮前融资由欧洲风险投资公司Northzone领投,来自DeepMind、Fleet、红杉资本scouts、Snyk和Spotify的天使投资者也参与了本轮融资。Northzone的合伙人Michiel Kotting在一份声明中表示:“AI驱动的代码生成仍处于早期阶段,但我们已经看到的生产力提升具有革命性。这项技术在简化开发流程、降低成本和加速创新方面的潜力巨大。LogicStar团队拥有丰富的技术专长和成功的业绩记录,有能力交付真正有影响力的成果。软件开发的未来正在重塑,LogicStar将在软件维护中发挥关键作用。”

例如,另一初创公司CodeGuard,同样致力于利用AI技术提升软件的稳定性,但侧重于代码审查环节,通过AI分析代码结构和逻辑,提前发现潜在的风险点,已获得了知名投资机构的青睐。而LogicStar与之不同,专注于应用维护这一细分领域,有望在该领域占据一席之地。

LogicStar目前正在运营一个等待名单,供有兴趣提前获取其技术的潜在客户登记。公司计划在今年晚些时候发布beta版本。

© 版权声明

相关文章

暂无评论

暂无评论...