把AI关进可信“笼子”，软件湘企跑出新赛道｜湖南新智造

三湘都市报·新湖南客户端全媒体记者 胡锐

“如果把软件开发比作建大楼，传统开发工具就像手工绘图，我们的AI辅助工具就是智能设计软件，能自动查错、提优化建议，甚至生成部分代码，让整个开发过程又快又稳。” 近日，湖南泛联新安信息科技有限公司市场中心运营总监胡春山在接受三湘都市报记者采访时，这样解释自家产品的定位。

在国产基础软件的赛道版图里，多数细分领域已经跑出成熟上市企业，唯独对高可信产业安全影响最深远的开发支撑类赛道，至今还没有形成行业巨头。泛联新安从高可信软件测试赛道起步，锚定这片空白领域持续深耕，2023年启动AI转型后，更是把战略直接升级为“AI For Trusted Code”——AI赋能，代码可信。

“我们是做高可信软件测试出身的，对测试数据的理解比普通AI团队深得多。”胡春山说，团队没有跟风做通用大模型，而是把多年积累的高可信领域测试经验、工业场景数据，全部注入嵌入式垂域AI模型，把AI能力和传统开发支撑工具彻底拧成了一股绳。

在他看来，新质生产力在AI板块的核心创新空间就在产业落地侧，中国制造业的全球领先优势，给本土基础软件企业送来了最扎实的换道机会。“我们有全世界最丰富的工业场景，能拿到海量真实研发数据，这是海外厂商根本比不了的优势。”

作为本土成长起来的团队，泛联新安对国内开发者的生态需求理解得更透彻。胡春山以国产飞机除冰系统为例，当时他们为了攻克膨胀率上的技术卡点，第一时间就上门为本土企业完成了定制化适配，要是换做海外标准化工具厂商，按部就班走完服务流程，响应效率根本跟不上本土企业的紧急研发节奏。

“大模型擅长生成，但有幻觉；程序分析擅长验证，能守住确定性。” 胡春山道出了团队的核心技术逻辑，他们把静态动态分析、形式化验证这些传统程序分析能力做成AI的“可信约束层”，把功能安全标准植入代码生成的全流程，用自动化测试替代人工评审，从根源上对抗AI生成内容的不可靠性，彻底解决高可信领域AI落地的核心痛点。

依托数百个制造业用户的场景沉淀，这套融合技术已经在汇川技术等智能制造头部企业落地，服务上千名嵌入式开发人员，AI生成代码占比达到30%，带动整体开发效率提升15%、测试效率提升50%以上。

近一年，泛联新安客户增长率、业绩增长率双双突破50%。“比如去年的客户总量是200家，今年的目标是突破300家。”

在人才稀缺的基础软件赛道，泛联新安靠产学用协同破局。“和国防科大、清华、复旦等高校深度绑定，推出精英人才计划，在本科、研一、研二阶段就提前锁定优秀后备人才。”胡春山称，再依托长沙的城市文化吸引力，和北上广深形成错位竞争，把核心技术人才留在湖南。

“基础软件是长坡厚雪的赛道，不可能靠一两个客户就爆发式增长。”胡春山说，团队已经找准了高可信行业AI驱动开发支撑软件这条主赛道，数百亿级的市场空间里，技术和数据积累形成的护城河足够深厚，本土团队完全有机会实现从跟跑到领跑的跨越。

作者：胡锐

责编：胡锐

一审：胡锐

二审：朱蓉

三审：彭治国

来源：三湘都市报