證券時報網
吳永芳
2025-03-04 10:38
人民財訊3月3日電,科大國創近日在機構現場調研時表示,目前,國創星碼編程AI助手已深度融合DeepSeek代碼生成能力和公司形式化驗證核心技術,正面向國防軍工、航天航空、運營商、金融等領域特定場景進行推廣試用。