张继平院士在东北大学作“AI时代的数学研究”学术报告

10月28日上午，中国科学院院士、北京大学博雅讲座教授、中俄数学中心主任张继平在主楼822室作题为“AI时代的数学研究”的学术报告。理学院院长于永亮主持报告会。

报告中，张继平院士从人工智能对数学研究带来的深刻影响出发，回顾了数学研究方式从“人+机器”向“人×机器”演进的发展历程。张继平介绍了计算机技术在数学研究中的应用，阐述了形式化数学在提高证明严谨性和构建机器可验证数学体系方面的重要作用。在此基础上，进一步介绍了机器学习和人工智能参与数学研究的新进展，展示了人工智能在发现数学规律、拓展研究思路和提高研究效率方面的潜力。张继平表示，人工智能为数学研究带来新的机遇，也对证明验证和学术评价提出了新的要求。未来应进一步探索健康的人机协同模式，使人工智能成为增强人类数学理解和创造能力的重要工具。

张继平院士与现场师生围绕AI生成数学证明的可靠性、青年数学科研人员如何拥抱AI时代以及未来数学专业人才培养体系等问题进行了深入讨论。现场师生就人工智能在数学研究中的作用边界、形式化证明的发展及相关研究方向积极交流，学术交流气氛热烈。