How an amputee Chinese scientist is fortifying the country’s military software

AI 摘要

一句话摘要: 中国科学家王吉在国防科技大学培养软件验证人才，强化军事软件安全。 关键事实: 王吉是国防科技大学计算机科学研究员，56岁，因紧急情况失去双腿，仍致力于软件验证教学，强调国防系统代码需如医生诊断般精准。 涉及主体: 王吉，国防科技大学（NUDT） 可能影响: 该领域人才培养可能提升中国军事软件可靠性，间接影响AI在国防安全应用中的可信度，对Web3中代码审计理念有类比参考。 是否值得继续跟踪: 是，软件验证是AI安全与区块链智能合约审计的核心交叉点，中国在该领域的投入可能影响全球技术竞争格局。 噪音/炒作风险: 低，文章聚焦具体人物与技术细节，非泛泛军事炒作，且软件验证是实际工程需求。