报告时间：2026年4月9日（星期四）10:20-11:30
报告地点：翡翠湖校区科教楼B座一楼大数据中心
报 告 人：刘若川 中国科学院院士
工作单位：北京大学
举办单位：数学学院
报告简介：
人工智能正在深刻改变数学研究的方式。从DeepMind的AlphaProof在国际数学奥林匹克中的表现，到形式化证明系统Lean的快速发展，AI for Mathematics已成为国际学术热点。本报告将介绍该领域的最新进展与核心问题，并分享北京大学数学团队在AI辅助数学研究方面的工作与思考，探讨数学家如何与AI协作开展前沿研究。
报告人简介：
刘若川，中国科学院院士，北京大学数学科学学院院长，兼任中国数学会第十四届副理事长。2008年获得麻省理工学院博士学位，2012年回到北京大学工作。刘若川的研究领域是算术几何与代数数论，其研究工作聚焦于p进霍奇理论、p进自守形式以及代数K理论等当代数学的重要前沿方向。2017年获得国家杰出青年科学基金项目资助，2019年入选国家特支计划。曾获首届“科学探索奖”、中国青年科技奖、国家级教学成果奖一等奖、陈省身数学奖、ICTP-IMU拉马努金奖、何梁何利基金科学与技术创新奖等。2022年入选首批“新基石研究员”，2023年主持自然科学基金创新研究群体项目。其独立完成的《p进霍奇理论及其应用》项目荣获2020年度国家自然科学奖二等奖。
