AI可探索数学的全局结构，揭示其深层规律与本质。
Artificial Intelligence and the Structure of Mathematics
- 用结构超图构建数学证明的全局框架
- 提出可实现数学发现的AI模型标准
- 适合对数学基础与AI交叉研究者阅读
人工智能的进步正在为数学带来变革性能力。人们期望AI能解决重大开放问题，并自主发现新数学概念。本文进一步探讨：通过与数学逻辑互补的新路径，AI或可揭示形式证明的全局结构。我们首先以通用证明和结构超图描述数学的形式结构，讨论其对数学基础的启示；随后概述实现自动化数学发现的AI模型的核心要素及评估标准。当我们将AI代理派往柏拉图数学世界时，它们或许能让我们理解数学的整体本质，以及那些促进人类理解的细微脉络。这可能为古老问题‘数学是被发现的还是被发明的？’提供新洞见，能否真正‘体悟’这些柏拉图世界的地形？
原文摘要 · Abstract (English)
Recent progress in artificial intelligence (AI) is unlocking transformative capabilities for mathematics. There is great hope that AI will help solve major open problems and autonomously discover new mathematical concepts. In this essay, we further consider how AI may open a grand perspective on mathematics by forging a new route, complementary to mathematical\textbf{ logic,} to understanding the global structure of formal \textbf{proof}\textbf{s}. We begin by providing a sketch of the formal structure of mathematics in terms of universal proof and structural hypergraphs and discuss questions this raises about the foundational structure of mathematics. We then outline the main ingredients and provide a set of criteria to be satisfied for AI models capable of automated mathematical discovery. As we send AI agents to traverse Platonic mathematical worlds, we expect they will teach us about the nature of mathematics: both as a whole, and the small ribbons conducive to human understanding. Perhaps they will shed light on the old question: "Is mathematics discovered or invented?" Can we grok the terrain of these \textbf{Platonic worlds}?
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。