財聯(lián)社3月3日電，科大國創(chuàng)(300520.SZ)近日在機構(gòu)現(xiàn)場調(diào)研時表示，目前，國創(chuàng)星碼編程AI助手已深度融合DeepSeek代碼生成能力和公司形式化驗證核心技術(shù)，正面向國防軍工、航天航空、運營商、金融等領(lǐng)域特定場景進行推廣試用。