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