数学+AI：未来十年，数学将如何被改写？多位知名数学家齐聚#2026未来科学论坛#-数学专场：机器证明和数学形式化
7月12日，2026未来科学论坛期间将举办【数学专场研讨会 - 机器证明和数学形式化】。届时，将由浙江大学数学高等研究院教授、中国科学院院士、2024未来科学大奖-数学与计算机科学奖获奖者、2026未来科学论坛Program Committee联席主席孙斌勇担任Session Chair，并邀请美国加州大学洛杉矶分校数学系教授、美国数学会会士徐宙利，四川大学数学学院教授吕琦 作学术分享与探讨。在对话环节，还将同时邀请北京大学国际数学研究中心博雅特聘教授、北京大学国际机器学习研究中心副主任、北京中关村学院常务副院长董彬，北京大学国际机器学习研究中心主任 / 数学科学学院讲席教授、上海交通大学人工智能学院首席顾问、中国科学院院士、美国数学学会会士鄂维南，中国科学院数学与系统科学研究院研究员、中国科学院国家数学与交叉科学中心执行主任高小山，Project Numina创始人李嘉，北京大学博雅讲席教授 / 数学科学学院院长、中国科学院院士刘若川共同展开对话，分享洞见。

#数学##未来科学大奖##未来论坛#