인공지능과 수학의 구조

Artificial Intelligence and the Structure of Mathematics

최근 인공지능(AI) 분야의 발전은 수학에 혁신적인 가능성을 열어주고 있습니다. AI가 주요 미해결 문제를 해결하고 새로운 수학적 개념을 자율적으로 발견하는 데 기여할 것이라는 기대가 큽니다. 본 논문에서는 AI가 수리 논리와 상호 보완적인 새로운 방법을 통해 형식적 증명의 전반적인 구조를 이해하는 데 기여함으로써 수학에 대한 새로운 시각을 제시할 수 있는 가능성을 탐구합니다. 우리는 먼저 보편적 증명과 구조적 하이퍼 그래프를 통해 수학의 형식적 구조를 개략적으로 설명하고, 이것이 수학의 기초 구조에 대해 제기하는 질문들을 논의합니다. 그런 다음, 자동화된 수학적 발견이 가능한 AI 모델의 주요 구성 요소와 충족해야 할 기준들을 제시합니다. AI 에이전트가 플라톤적인 수학 세계를 탐험할 때, 우리는 그들이 수학의 본질, 즉 전체적인 측면과 인간의 이해를 돕는 작은 부분에 대해 우리에게 많은 것을 가르쳐 줄 것이라고 기대합니다. 어쩌면 그들은 오래된 질문인 "수학은 발견되는 것인가, 아니면 발명되는 것인가?"에 대한 통찰력을 제공할 것입니다. 우리는 이러한 플라톤적인 세계의 지형을 완전히 이해할 수 있을까요?

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}?