實力！科大國創蟬聯軟博會百強企業 「科創星雲驗證器」入選年度優秀創新軟件產品

（來源：安徽省軟件行業協會）

軟件作為數字經濟的核心載體，正與人工智能、數據要素深度融合，驅動產業創新範式發生根本性變革。人工智能不僅重塑軟件架構與研發模式，更通過激活數據要素的潛在價值，重構軟件產業生態，為高質量發展注入強勁動能，成為引領全球新一輪科技競爭與經濟增長的關鍵引擎。

2025年10月15日，第27屆中國國際軟件博覽會在鄭州開幕。工業和信息化部總工程師謝少鋒，中國電子信息行業聯合會常務副會長周子學，河南省鄭州市市長莊建球出席開幕式並致辭，中國工程院院士譚建榮作主題報告。

本屆軟博會以「開源構築新生態 軟件智造新未來」為主題，期間發佈多項軟件和信息技術服務創新成果，科大國創榮獲2025年度軟件和信息技術服務競爭力百強企業稱號，科大國創全資子公司中科國創自主研發的「科創星雲驗證器」入選2024～2025年度優秀創新軟件產品推廣目錄。

技術驅動

雙輪並進引領AI時代數智化創新

作為國內領先的人工智能+軟件上市企業，科大國創本次展會重點展出AI+行業、高可信軟件等核心軟件產品，以及在可信數據空間、量子科技等未來產業的前沿軟件應用。

在「軟件定義一切」的時代，科大國創不斷發揮自身軟件技術優勢與深耕行業領域的融合應用，以AI技術為創新驅動力，以成熟運營體系為落地支撐，雙輪並進，致力於為行業打造低門檻、持續進化的AI底座和高效可信的運營底座，助力企業在數智化浪潮中穩健前行。

安全為本

形式化技術捍衞AI時代安全根基

在國家大力推進數據和人工智能安全的戰略背景下，科大國創本次創新軟件產品——「科創星雲驗證器」利用形式化驗證保障AI大模型在應用場景中的正確性，將深度神經網絡上的魯棒性質進行形式化描述並根據性質進行建模，將神經網絡的驗證問題轉變成形式化規約從而可以驗證正確性，從人工智能核心架構保障AI大模型的安全性與可靠性，捍衞AI時代的安全根基。