AI in mathematics is forcing big questions

개요

AI는 수학 분야에서 복잡한 문제를 해결하는 데 활용되며, 이는 인간과 기계의 협력을 통해 ‘빅 매스매틱스(Big Mathematics)’ 시대를 열 가능성을 제시합니다.

주요 내용

* AI는 과거 인간이 수년간 해결해야 했던 복잡한 수학 문제를 단기간에 해결할 수 있는 잠재력을 보여주고 있습니다.
* 수학 연구의 전통적인 과정인 추측(conjecture) 제기, 증명, 검증 과정에 AI가 도입되면서 인간의 오랜 고민과 노력이 우회될 수 있습니다.
* Google DeepMind의 Aletheia와 OpenAI의 새로운 AI 시스템은 박사 학위 수준의 연구 결과물을 자율적으로 생성하거나, 복잡한 추측을 증명하는 등 AI의 수학적 추론 능력이 비약적으로 발전했음을 보여줍니다.
* LLM과 proof assistants(Isabelle, Lean, Rocq 등)의 결합은 비공식적인 증명을 기계가 이해할 수 있는 코드로 자동 변환하여 증명 과정을 가속화합니다. Math, Inc.의 Gauss는 Fields Medal 수상자의 증명을 단기간에 공식화했습니다.
* AI의 역할 증대에 대해 젊은 수학자들 사이에서는 대체될지도 모른다는 불안감이 존재하며, 일부는 AI를 오라클에 대한 사제처럼 인간 수학자가 도구로 전락할 수 있다는 우려를 표합니다.
* AI가 수학 문제를 해결하는 방식에 대한 논의는 크게 두 가지 방향으로 나뉩니다. 첫째, AI를 계산기처럼 인간의 이해를 돕는 도구로 사용하는 인간 중심적 관점입니다. 둘째, 인간과 AI가 협력하여 단독으로는 해결하기 어려운 문제를 푸는 협업적 비전입니다.
* AI의 발전은 수학의 본질, 즉 수학이 왜 존재하며 사회에 어떤 목적을 제공하는지에 대한 근본적인 질문을 던지게 합니다.
* AI의 발전은 수학 연구의 접근성, 동기 부여, 차세대 수학자들의 지적 능력에 대한 우려를 낳고 있습니다.

시사점

AI는 수학 연구의 효율성을 극대화하고 새로운 가능성을 열지만, 동시에 수학의 본질적인 가치와 인간 수학자의 역할에 대한 깊은 성찰을 요구하며, 수학계는 AI 시대에 대한 지침을 개발하고 논의를 이어가고 있습니다.