2025年12月21日，第三届开放原子大赛-vivo蓝河操作系统创新赛决赛在北京市经开区国家信创园会议中心圆满落幕。中国科学院工业人工智能研究所可信智能软件团队成员樊春松在薛吟兴、杨文章老师的指导下凭借参赛项目“Rust-ortho：项目级C2Rust智能语义转译工具”的卓越表现，在全国154支参赛队伍中脱颖而出，最终斩获大赛亚军（二等奖），并赢得奖金11万元。本次大赛由开放原子开源基金会主办，vivo承办，旨在攻克操作系统底层核心技术中“C语言向Rust语言自动转译”的行业难题。赛事自2025年8月启动以来，历经海选方案审查、复赛复杂环境验证等长达5个月的严苛选拔，最终仅有7支顶尖战队成功会师总决赛。我所团队在激烈的竞技中展现了深厚的技术底蕴，最终锁定亚军席位。

“开放原子大赛”是国内开源领域极具影响力的权威赛事，旨在汇聚产学研力量推动基础软件技术突破。本次“vivo蓝河操作系统创新赛”紧贴国产操作系统安全演进的核心需求，聚焦“C2Rust项目级转译”这一行业公认的技术难题，致力于挖掘利用AI赋能底层代码重构的创新方案，对于解决系统内存安全隐患、加速国产开源生态建设具有重要的战略意义。

获得本次殊荣的“Rust-ortho”项目直击操作系统内存安全这一关键痛点，针对传统转译方案中存在的代码Unsafe占比高、逻辑可维护性差等顽疾，团队另辟蹊径提出了“基于功能语义抽象的双阶段转译架构”。该方案创造性地引入多智能体（Multi-Agent）协作框架，通过“转译前端”将复杂的C代码抽象为标准化的自然语言功能文档，再由“转译后端”基于文档重构出符合Rust原生风格（Rust Style）的安全代码。这一技术路线有效绕开了C语言底层实现的复杂耦合，实现了从“语法对齐”到“语义重构”的跨越式突破，不仅大幅降低了转译代码中的Unsafe关键字占比，更从根本上提升了基础软件的安全性与可维护性，具有极高的工程应用价值。

本次决赛评审团阵容强大，汇聚了来自北京大学、清华大学、南开大学等顶尖学府的学术权威以及vivo操作系统资深技术专家。在路演答辩环节，评审专家组对我所团队在功能语义抽象及转译工具链构建上的技术深度给予了高度评价，一致认为该成果兼具学术创新性与产业落地潜力，对加速国产操作系统生态建设具有重要意义。未来，可信智能软件团队将继续依托人工智能与形式化方法领域的科研优势，持续推动开源技术创新，为我国基础软件的安全发展贡献更多科技力量。