量子位
·
数学之问 | 丘成桐给AI出题，一场智能时代的认知重构即将开启
💡
原文中文，约2000字，阅读约需5分钟。
📝
内容提要
丘成桐教授将在2025年WAIC举办“数学之问”论坛，探讨AI与数学的深度融合，聚焦AI的数学基础，解决AI模型瓶颈，促进数学研究新范式。多位国际数学家将参与，展示人机对抗解题挑战，推动AI与数学协同发展。
🎯
关键要点
- 丘成桐教授将在2025年WAIC举办“数学之问”论坛，探讨AI与数学的深度融合。
- 论坛将于2025年7月26日至28日在上海世博展览馆举行，吸引多位国际数学家参与。
- AI的性能提升依赖于数学理论，尤其是在大模型参数接近物理极限时。
- “Math for AI”和“AI for Math”的重要性日益凸显，成为当前AI发展的关键。
- AI的“黑箱”问题源于数学工具的缺失，影响了AI在医疗等领域的应用。
- DeepMind的AlphaGeometry展示了AI在数学研究中的反哺效应，推动了数学研究的新范式。
- 论坛将设置“人机对抗”环节，丘成桐教授将亲自审核数学题目。
- 大会将发布“AI+数学未解问题清单”，促进AI与数学的协同发展。
- 徐宗本院士将发表演讲，探讨AI技术的核心问题与无限维智能问题的解决方案。
- 论坛旨在推动数学与AI的深度融合，为人类认知世界打开无限可能。
❓
延伸问答
丘成桐教授将在何时何地举办“数学之问”论坛？
论坛将于2025年7月26日至28日在上海世博展览馆举行。
“数学之问”论坛的主要议题是什么？
论坛将探讨AI与数学的深度融合，聚焦AI的数学基础和解决AI模型瓶颈。
AI的“黑箱”问题是什么？
AI的“黑箱”问题源于数学工具的缺失，导致无法理论上解释其决策逻辑。
论坛将如何促进AI与数学的协同发展？
论坛将发布“AI+数学未解问题清单”，并通过人机对抗环节推动双方的合作。
徐宗本院士将在论坛上讨论什么主题？
徐宗本院士将讨论《AI：无限维问题vs有限维技术》的主题。
“Math for AI”和“AI for Math”有什么重要性？
这两者的重要性在于它们推动了AI的优化和数学研究的新范式。
➡️
