圖源LogicStar

文 | 以明科技，鈦媒體APP注：自2011年以來，瑞士連續(xù)14年全球創(chuàng)新指數(shù)排名第一，是全球重要的創(chuàng)新策源地，也是中國首個創(chuàng)新戰(zhàn)略伙伴關(guān)系國，在創(chuàng)新發(fā)展和科技金融領(lǐng)域與中國具有極佳互補性。 由Venturelab主辦的“瑞士創(chuàng)新100強”，匯聚了最佳“瑞士制造”的初創(chuàng)及成長期科技創(chuàng)新企業(yè)，是瑞士最具國際影響力的創(chuàng)新生態(tài)標(biāo)桿。自2011年以來，該榜單每年在瑞士全國范圍內(nèi)評選出100家最具開創(chuàng)性和市場前景的瑞士創(chuàng)新企業(yè)和25家最具獨角獸潛力的瑞士成長期企業(yè)，覆蓋生命科學(xué)、工程機械、機器人、信息通信、低碳科技、食品科技等領(lǐng)域。 為了全方位展示和介紹瑞士最前沿的創(chuàng)新科技，鈦媒體APP與Venturelab的中國授權(quán)合作方以明科技（Insight Tech）合作推出《瑞士創(chuàng)新100強》專題，全面展示瑞士先鋒科創(chuàng)生態(tài)的全景。 本文為專欄第182期，介紹的LogicStar是2025年《瑞士創(chuàng)新100強》上榜企業(yè)，其致力于研發(fā)代碼智能體。

瑞士信息與通信科技公司LogicStar成立于2024年，公司致力于研發(fā)代碼智能體。該智能體融合了大語言模型的最新進展和經(jīng)典的計算機科學(xué)技術(shù)，可迅速定位當(dāng)前軟件系統(tǒng)中存在的代碼漏洞，并通過調(diào)用適配的大語言模型生成修復(fù)方案，全程無需人工介入。

LogicStar是蘇黎世聯(lián)邦理工學(xué)院與INSAIT的衍生公司，由Boris Paskalev、Mark Müller與Veselin Raychev與Martin Vechev 共同成立。Boris Paskalev為公司首席執(zhí)行官，擁有美國麻省理工學(xué)院計算機科學(xué)與電氣工程碩士學(xué)位，為DeepCode聯(lián)合創(chuàng)始人，擔(dān)任LatticeFlow、Netfabric等多家企業(yè)顧問，同時還是INSAIT（保加利亞國家計算機科學(xué)、人工智能與技術(shù)研究所）的戰(zhàn)略創(chuàng)業(yè)顧問。Mark Müller為公司首席技術(shù)官，擁有蘇黎世聯(lián)邦理工學(xué)院計算機科學(xué)博士學(xué)位。Veselin Raychev為公司首席架構(gòu)師，擁有蘇黎世聯(lián)邦理工學(xué)院計算機科學(xué)博士學(xué)位，同為DeepCode聯(lián)合創(chuàng)始人。Martin Vechev為公司顧問，目前擔(dān)任蘇黎世聯(lián)邦理工學(xué)院教授，為INSAIT（保加利亞國家計算機科學(xué)、人工智能與技術(shù)研究所）創(chuàng)始人。

圖源LgociStar

軟件行業(yè)長期面臨應(yīng)用程序維護的復(fù)雜性問題，這是開發(fā)過程中最耗時的環(huán)節(jié)。傳統(tǒng)方法通常依靠人工監(jiān)督和修復(fù)漏洞，調(diào)試過程耗費大量時間和資源，大量待處理漏洞往往堆積數(shù)周甚至數(shù)月得不到處理，導(dǎo)致開發(fā)團隊約有40%的工程時間耗費在問題分類和修復(fù)上，以致無法專注于新功能開發(fā)。AI編碼代理雖然在基準(zhǔn)測試和簡單任務(wù)中表現(xiàn)出色，但在復(fù)雜環(huán)境下卻容易出錯。

AI智能體（AI Agent）正在迅速發(fā)展，預(yù)計在未來十年內(nèi)將對企業(yè)業(yè)務(wù)運營、決策制定和自動化產(chǎn)生變革性影響。在美國，企業(yè)級AI智能體2024年市場規(guī)模為7.695億美元，預(yù)計到2025年將增長至10.7億美元，到2030年復(fù)合年增長率（CAGR）將達到43.6%。

圖源LogicStar

LogicStar開發(fā)了一款用于代碼漏洞自主修復(fù)的智能體（AI Agent），能夠自動識別、重現(xiàn)和修復(fù)軟件系統(tǒng)中的高精度代碼錯誤，減輕軟件維護和調(diào)試負擔(dān)，使工程團隊能夠?qū)Ｗ⒂陂_發(fā)新功能。

LogicStar智能體的核心在于將深度語義代碼推理與大語言模型的生成能力相結(jié)合。該智能體使用經(jīng)典的計算機科學(xué)方法對部署其技術(shù)的每個應(yīng)用程序進行深入的靜態(tài)和動態(tài)分析，能全面了解軟件的所有重要模塊，其功能、輸入輸出、內(nèi)外通信、變量與函數(shù)之間的關(guān)聯(lián)方式，以及其他任何關(guān)聯(lián)和依賴關(guān)系等。基于這種豐富的上下文信息，對于遇到的每一個缺陷和漏洞，智能體都能夠精準(zhǔn)識別是應(yīng)用程序的哪些部分出現(xiàn)了問題，進而縮小需要模擬的范圍，在“最小化執(zhí)行環(huán)境”中，運行數(shù)千個旨在重現(xiàn)錯誤的測試，以精確識別漏洞的發(fā)生方式和位置。這實際上是在嘗試創(chuàng)建和測試一小段代碼或腳本，其測試目的是“如果執(zhí)行這段代碼，就會觸發(fā)這個特定漏洞”，進而驗證該漏洞真實存在而非偶發(fā)。確認(rèn)漏洞原因后，智能體會選用各種適合的大語言模型，要求嘗試修復(fù)該漏洞，并對多個候選修復(fù)方案進行驗證，最終確定最佳方案。

在將修復(fù)方案送給開發(fā)人員之前，Logicstar的智能體會對多種不同方案進行反復(fù)的獨立測試以及驗證，確保僅將經(jīng)過驗證的方案傳遞給開發(fā)團隊，全過程無需人工介入。智能體會始終展示工作過程，用戶也可安排開發(fā)人員審核和監(jiān)督智能體提出的修復(fù)方案。

Logicstar的智能體創(chuàng)造的這種“最小化執(zhí)行環(huán)境”，讓用戶能更小范圍、低成本、大批量地利用大語言模型資源，降低運營成本的同時提升找到正確方案的概率。經(jīng)測試，LogicStar可將漏洞平均修復(fù)時間縮短95%，并完全自主修復(fù)40%的應(yīng)用程序缺陷；對于多數(shù)拉取請求，具備100%測試覆蓋率，且通過靜態(tài)驗證。

2025年2月，LogicStar完成了300萬美元的種子輪融資，投資方包括 Northzone、Sequoia與DeepMind等知名風(fēng)險投資機構(gòu)。

圖源以明科技

2025年《瑞士創(chuàng)新100強》中文版由以明科技（Insight Tech）榮譽發(fā)布。以明科技是《瑞士創(chuàng)新100強》的中國授權(quán)合作方，負責(zé)《瑞士創(chuàng)新100強》在中國的運營推廣并協(xié)助榜單項目對華商業(yè)合作。以明科技是中歐（瑞士）產(chǎn)業(yè)創(chuàng)新合作服務(wù)商，致力于以創(chuàng)新加速器、股權(quán)投資和商業(yè)咨詢服務(wù)，促進瑞士創(chuàng)新中國化和中國產(chǎn)業(yè)國際化。 獲取《瑞士創(chuàng)新100強》完整榜單及行業(yè)榜單，請訪問以明科技公號或官網(wǎng)。