量子位
·
当 AI 与数学在上海相遇：2025 WAIC背后的智慧革命
💡
原文中文，约9500字，阅读约需23分钟。
📝
内容提要
2025年上海世博展览馆将举办“人工智能的数学边界与基础重构”论坛，聚焦AI与数学的融合，汇聚菲尔兹奖得主，展示AI在数学研究中的应用与挑战，推动国际合作与人才培养，促进AI与数学的协同发展，助力产业升级。
🎯
关键要点
- 2025年上海世博展览馆将举办“人工智能的数学边界与基础重构”论坛，聚焦AI与数学的融合。
- 论坛将汇聚菲尔兹奖得主，展示AI在数学研究中的应用与挑战。
- AI与数学的双向需求推动论坛的诞生，AI技术与数学研究进入深度交织的新阶段。
- AI对数学的反哺效应显著，DeepMind的AlphaGeometry在几何定理证明方面超越人类。
- 论坛亮点包括菲尔兹奖得主的参与和AI现场解题展示，体现人机协同的生动演示。
- 数学家与大模型团队的圆桌论坛探讨AI在复杂几何题和学生错误解答中的应用。
- 中外学生结对仪式象征数学与AI的跨域融合，推动人才培养与国际合作。
- 中国科学院院士徐宗本提出AI架构设计的核心矛盾，强调无限维问题与有限维技术的关系。
- Hitchin–Ngo实验室与Fefferman实验室在沪揭牌，标志国际顶尖数学研究力量落地上海。
- 全球数学家的思辨对话探讨数学突破与AGI的关系，强调人类数学家的独特价值。
- 上海通过建设数学与交叉学科研究院，推动AI与数学的全链条突破。
- AI对数学研究的影响经历数十年演进，从计算辅助到协同能力的研究伙伴。
- 机械验证与形式化方法的成熟为数学证明提供了高正确性保障。
- 算法驱动的逻辑推理使机器处理超大规模逻辑推理，拓展数学证明的边界。
- 深度学习与大模型使AI从验证工具升级为发现助手，重塑数学研究的范式。
- 上海具备AI与数学融合发展的独特优势，推动系统化布局打造全球标杆。
- 上海通过人才培养、开放平台建设、政策支持等措施完善融合发展生态。
❓
延伸问答
2025 WAIC论坛的主题是什么？
论坛主题为“人工智能的数学边界与基础重构”。
AI如何影响数学研究的方式？
AI从早期的计算辅助逐步发展为具备协同能力的研究伙伴，重塑了数学研究的范式。
论坛中有哪些知名数学家参与？
论坛汇聚了两位菲尔兹奖得主，包括丘成桐教授和Charles Fefferman。
AI在数学研究中的应用有哪些具体案例？
AI在几何定理证明、学生错误解答批改等方面展现了应用潜力。
上海在AI与数学融合发展方面有哪些优势？
上海拥有领先的算力基础设施和顶尖数学学科，为AI与数学交叉研究提供了沃土。
论坛中有哪些关于AI与数学的国际合作举措？
论坛举行了中外学生结对仪式，推动国际合作与人才培养。
➡️
