2026年8月10日，国科大密码学院成功召开AI 在数学证明中的应用研讨在线研讨会。
会议交流围绕AI 在数学证明中的应用进行，并对该领域前沿算法的设计与安全评估作深入探讨。会上，与会专家还就近期相关科研成果和项目进展进行了研讨。
