人工智能的发展已跨越简单的工程化堆叠，进入以数学底层逻辑为驱动的深水区。通过Math for AI与AI for Math的双向赋能，智能系统正从概率统计机器向具备逻辑推演能力的科学计算工具进化。

WAIC 2025在上海举办的“人工智能的数学边界与基础重构”论坛，揭示了AI与数学从辅助到共创的范式转变。随着大模型对数学理论的迫切需求以及AI在科学发现上的反哺，这场盛会通过菲尔兹奖得主丘成桐的AI挑战赛、顶尖模型现场解题、以及国际实验室揭牌等亮点，预示着人机共演的智能新纪元，而上海正以其独特的生态优势，成为全球“AI+数学”融合研究的战略枢纽。