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