AI FOR MATH 学术研讨会
2026年9月19日 中山大学南校园新数学楼416
Written by：C. Li
Last updated：2026-09-13
会议简介
本次“AI for Math”研讨会旨在探讨人工智能在数学研究中的作用，围绕猜想发现、证明构建与形式化验证等环节，交流研究进展与实践经验。
地点: 广州市海珠区新港西路135号中山大学新数学楼（266栋）416教室
时间：2026年9月18日–9月20日。9月18日是接待日，9月20日离会。
邀请报告人
陈张弛 华东师范大学
傅孝明 中国科学技术大学
刘济豪 北京大学
许超 电子科技大学
孙天阳 中国科学技术大学
于飞 浙江大学
组织者
李长征, 张诗卓
中山大学数学学院
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
会议日程 （2026/09/19）
时间 | 报告人 | 单位 | 报告题目或活动 |
|---|---|---|---|
09:00–09:50 | 陈张弛 | 华东师范大学 | Nakano positivity may not imply Hodge-Riemann property |
09:50–10:10 | 茶歇 | ||
10:10–11:00 | 傅孝明 | 中国科学技术大学 | 多智能体协作驱动数学研究：范式、应用与实践 |
11:00–11:10 | 茶歇 | ||
11:10–12:00 | 刘济豪 | 北京大学 | The Yau-Tian-Donaldson Conjecture for constant scalar curvature metrics |
12:00–14:00 | 午餐与午间休息 | ||
14:00–14:50 | 许超 | 电子科技大学 | 数学Harness的设计与实验 |
14:50–15:10 | 茶歇 | ||
15:10–16:00 | 于飞 | 浙江大学 | Non-asphericity and Higher Homotopy of Strata of Differentials and Stability Spaces |
16:00–16:10 | 茶歇 | ||
16:10–16:40 | AI交流讨论 | ||
17:30 | 晚宴 | ||