![]()
圖源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強》完整榜單及行業榜單,請訪問以明科技公號或官網。
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.