2025年7月26日-28日，世界人工智能大会（WAIC 2025）将在上海世博展览馆等地举办。其中，“数学之问”系列活动聚焦‘Math for AI’与‘AI for Math’的双向需求，探讨人工智能在数学理论支撑下的进化路径。菲尔兹奖得主丘成桐教授将为论坛特别命题，由AI现场解题并展示推理过程。活动还邀请了来自英国、日本、西班牙等国的院士专家共同出题，并发布‘AI+数学未解问题清单’。中国科学院院士徐宗本将发表主题演讲《AI：无限维问题vs有限维技术》。此次活动旨在推动数学与AI的深度融合，重构智能边界，引发全球学界关注。