2025年5月27日上午，学院“弘毅零一”学术报告会在25教0114报告厅隆重举行。新加坡管理大学孙军教授应邀作题为《从软件到大模型，从正确性到一致性》的专题报告，为150余名师生呈现了一场前沿学术盛宴。本次学术报告由刘志明教授主持。 

作为形式化验证与可信人工智能领域的权威专家，孙军教授以生活化的语言开启学术漫谈。他指出，在传统软件开发中，“正确性”作为形式化方法的基石，却因其定义复杂成为推广应用的掣肘。随着大语言模型的兴起，使得在代码生成、智能问答等开放性场景中，“何谓正确”的界定变得愈发困难。 

“当我们难以锚定绝对正确时，不妨将视线转向相对一致。”孙军教授在报告中强调，考虑大语言模型生成代码、智能问答等开放性任务特性，其团队创新性地将“逻辑一致性”确立为核心验证指标。通过代码生成验证框架和大语言模型安全防护体系两项实例研究，系统性阐释了多维参数调优、多轮结果交叉验证等形式化验证方法。实验结果表明，在逻辑自洽性维度达标的模型中，系统可靠性提升了40%。

刘志明教授在总结中指出，本次报告不仅为形式化方法研究开辟新视角，更启示青年学者在技术探索中保持开放思维。学院将持续建设“弘毅零一”学术品牌，搭建学术交流平台，促进师生在思维碰撞中探索前沿领域。

供稿：张维勇

供图：张维勇

初审：霍锦玲

复审：廖剑伟

终审：王一晖