小讯AIGC

图源LogicStar

文 | 以明科技，钛媒体APP注：自2011年以来，瑞士连续14年全球创新指数排名第一，是全球重要的创新策源地，也是中国首个创新战略伙伴关系国，在创新发展和科技金融领域与中国具有极佳互补性。 由Venturelab主办的“瑞士创新100强”，汇聚了最佳“瑞士制造”的初创及成长期科技创新企业，是瑞士最具国际影响力的创新生态标杆。自2011年以来，该榜单每年在瑞士全国范围内评选出100家最具开创性和市场前景的瑞士创新企业和25家最具独角兽潜力的瑞士成长期企业，覆盖生命科学、工程机械、机器人、信息通信、低碳科技、食品科技等领域。 为了全方位展示和介绍瑞士最前沿的创新科技，钛媒体APP与Venturelab的中国授权合作方以明科技（Insight Tech）合作推出《瑞士创新100强》专题，全面展示瑞士先锋科创生态的全景。 本文为专栏第182期，介绍的LogicStar是2025年《瑞士创新100强》上榜企业，其致力于研发代码智能体。

瑞士信息与通信科技公司LogicStar成立于2024年，公司致力于研发代码智能体。该智能体融合了大语言模型的最新进展和经典的计算机科学技术，可迅速定位当前软件系统中存在的代码漏洞，并通过调用适配的大语言模型生成修复方案，全程无需人工介入。

LogicStar是苏黎世联邦理工学院与INSAIT的衍生公司，由Boris Paskalev、Mark Müller与Veselin Raychev与Martin Vechev 共同成立。Boris Paskalev为公司首席执行官，拥有美国麻省理工学院计算机科学与电气工程硕士学位，为DeepCode联合创始人，担任LatticeFlow、Netfabric等多家企业顾问，同时还是INSAIT（保加利亚国家计算机科学、人工智能与技术研究所）的战略创业顾问。Mark Müller为公司首席技术官，拥有苏黎世联邦理工学院计算机科学博士学位。Veselin Raychev为公司首席架构师，拥有苏黎世联邦理工学院计算机科学博士学位，同为DeepCode联合创始人。Martin Vechev为公司顾问，目前担任苏黎世联邦理工学院教授，为INSAIT（保加利亚国家计算机科学、人工智能与技术研究所）创始人。

图源LgociStar

软件行业长期面临应用程序维护的复杂性问题，这是开发过程中最耗时的环节。传统方法通常依靠人工监督和修复漏洞，调试过程耗费大量时间和资源，大量待处理漏洞往往堆积数周甚至数月得不到处理，导致开发团队约有40%的工程时间耗费在问题分类和修复上，以致无法专注于新功能开发。AI编码代理虽然在基准测试和简单任务中表现出色，但在复杂环境下却容易出错。

AI智能体（AI Agent）正在迅速发展，预计在未来十年内将对企业业务运营、决策制定和自动化产生变革性影响。在美国，企业级AI智能体2024年市场规模为7.695亿美元，预计到2025年将增长至10.7亿美元，到2030年复合年增长率（CAGR）将达到43.6%。

图源LogicStar

LogicStar开发了一款用于代码漏洞自主修复的智能体（AI Agent），能够自动识别、重现和修复软件系统中的高精度代码错误，减轻软件维护和调试负担，使工程团队能够专注于开发新功能。

LogicStar智能体的核心在于将深度语义代码推理与大语言模型的生成能力相结合。该智能体使用经典的计算机科学方法对部署其技术的每个应用程序进行深入的静态和动态分析，能全面了解软件的所有重要模块，其功能、输入输出、内外通信、变量与函数之间的关联方式，以及其他任何关联和依赖关系等。基于这种丰富的上下文信息，对于遇到的每一个缺陷和漏洞，智能体都能够精准识别是应用程序的哪些部分出现了问题，进而缩小需要模拟的范围，在“最小化执行环境”中，运行数千个旨在重现错误的测试，以精确识别漏洞的发生方式和位置。这实际上是在尝试创建和测试一小段代码或脚本，其测试目的是“如果执行这段代码，就会触发这个特定漏洞”，进而验证该漏洞真实存在而非偶发。确认漏洞原因后，智能体会选用各种适合的大语言模型，要求尝试修复该漏洞，并对多个候选修复方案进行验证，最终确定最佳方案。

在将修复方案送给开发人员之前，Logicstar的智能体会对多种不同方案进行反复的独立测试以及验证，确保仅将经过验证的方案传递给开发团队，全过程无需人工介入。智能体会始终展示工作过程，用户也可安排开发人员审核和监督智能体提出的修复方案。

Logicstar的智能体创造的这种“最小化执行环境”，让用户能更小范围、低成本、大批量地利用大语言模型资源，降低运营成本的同时提升找到正确方案的概率。经测试，LogicStar可将漏洞平均修复时间缩短95%，并完全自主修复40%的应用程序缺陷；对于多数拉取请求，具备100%测试覆盖率，且通过静态验证。

2025年2月，LogicStar完成了300万美元的种子轮融资，投资方包括 Northzone、Sequoia与DeepMind等知名风险投资机构。

图源以明科技

2025年《瑞士创新100强》中文版由以明科技（Insight Tech）荣誉发布。以明科技是《瑞士创新100强》的中国授权合作方，负责《瑞士创新100强》在中国的运营推广并协助榜单项目对华商业合作。以明科技是中欧（瑞士）产业创新合作服务商，致力于以创新加速器、股权投资和商业咨询服务，促进瑞士创新中国化和中国产业国际化。 获取《瑞士创新100强》完整榜单及行业榜单，请访问以明科技公号或官网。