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

2025年上海世博展览馆将举办“人工智能的数学边界与基础重构”论坛，聚焦AI与数学的融合。

论坛将汇聚菲尔兹奖得主，展示AI在数学研究中的应用与挑战。

AI与数学的双向需求推动论坛的诞生，AI技术与数学研究进入深度交织的新阶段。

AI对数学的反哺效应显著，DeepMind的AlphaGeometry在几何定理证明方面超越人类。

论坛亮点包括菲尔兹奖得主的参与和AI现场解题展示，体现人机协同的生动演示。

数学家与大模型团队的圆桌论坛探讨AI在复杂几何题和学生错误解答中的应用。

中外学生结对仪式象征数学与AI的跨域融合，推动人才培养与国际合作。

中国科学院院士徐宗本提出AI架构设计的核心矛盾，强调无限维问题与有限维技术的关系。

Hitchin–Ngo实验室与Fefferman实验室在沪揭牌，标志国际顶尖数学研究力量落地上海。

全球数学家的思辨对话探讨数学突破与AGI的关系，强调人类数学家的独特价值。

上海通过建设数学与交叉学科研究院，推动AI与数学的全链条突破。

AI对数学研究的影响经历数十年演进，从计算辅助到协同能力的研究伙伴。

机械验证与形式化方法的成熟为数学证明提供了高正确性保障。

算法驱动的逻辑推理使机器处理超大规模逻辑推理，拓展数学证明的边界。

深度学习与大模型使AI从验证工具升级为发现助手，重塑数学研究的范式。

上海具备AI与数学融合发展的独特优势，推动系统化布局打造全球标杆。

上海通过人才培养、开放平台建设、政策支持等措施完善融合发展生态。