数学之问｜当AI与数学在上海相遇：WAIC 2025背后的智慧革命

本文主要介绍了2025年世界人工智能大会（WAIC）在上海举办的高端论坛，聚焦人工智能与数学的交叉领域。背景方面，随着大模型参数突破万亿，传统调参方法遇到瓶颈，亟需数学理论的系统性支撑，同时AI也在反哺数学研究，如DeepMind的AlphaGeometry在几何定理证明方面超越人类平均水平。研究目的方面，论坛旨在通过顶尖数学家的命题挑战、大模型现场解题、数学家与大模型的思维激荡等方式，探索AI与数学的协同发展。结论方面，论坛展现了AI与数学融合的前沿动态，如AI在数学证明、规律发现和猜想生成方面的能力，同时也指出了AI在原创性理论构建方面的局限性。此外，上海作为AI与数学融合的沃土，正通过系统化布局打造全球标杆，推动基础理论突破、AI辅助数学研究和产业场景转化。