澳门威尼斯人

10月31日下午，应澳门威尼斯人(中国)唯一官方网站 邀请，南京大学杨俊锋教授在学院507报告厅作了题为“AI时代的数学价值、研究方式与人才培养”的学术报告。报告会由学院副院长韩英波教授主持，部分教师和研究生参加了此次报告会。

本次报告聚焦于人工智能时代数学学科的价值重估与发展范式。杨俊锋教授首先结合陶哲轩等学者的相关论述，介绍了人工智能技术对数学研究方式与人才培养模式带来的深刻变革，随后围绕证明与理解、形式化与人机协作、学术评价与责任等核心议题展开论述。报告指出，当答案与证明因人工智能而更易获得时，数学学科应重新审视其核心价值所在，研究者需主动参与知识的创造与传承，而数学教育亦应在技术辅助与独立思考之间寻求平衡。报告中，杨俊锋教授还结合《莱顿宣言》，系统梳理了国际数学共同体面对技术浪潮的若干思考与应对思路。同时，他进一步讨论了形式化验证与人机协作研究范式在推动数学前沿探索中的潜在作用与现实挑战。

报告结束后，杨俊锋教授与在场师生围绕 AI 辅助证明、数学形式化、学术评价改革以及研究生创新能力培养等问题进行了深入交流和热烈讨论。（初审：汤京永，再审：严辉银，终审：韩英波）