Welcome to the AI crisis in math

개요

AI 모델이 수학 분야에서 오래된 난제들을 해결하는 능력을 보여주면서, 많은 수학자들이 해당 분야의 미래와 자신들의 역할에 대해 실존적 위기를 느끼고 있습니다.

주요 내용

* AI의 수학 능력 급증: 과거에는 기초적인 산술조차 어려워했던 AI 모델들이 단기간에 고도의 추상 수학 문제 해결 능력을 보여주며 수학계에 큰 파장을 일으켰습니다.
* 핵심 역량의 불일치: AI는 여전히 기본적인 연산(예: 덧셈, 날짜 계산)에 약점을 보이지만, 논리적 추론과 연결성이 중요한 고차원 수학 문제 해결에는 뛰어난 성능을 보입니다.
* OpenAI의 Astra 모델과 10가지 수학적 성과: OpenAI의 최신 모델 Astra는 2024년 5월, 80년 된 단위 거리 추측(unit distance conjecture)을 증명하고, 이후 발표된 '10 Advances in Mathematics and Theoretical Computer Science' 논문에서 양자 게임 이론, 고차원 구면 포장 등 여러 복잡한 수학 및 이론 컴퓨터 과학 분야의 난제들을 해결했음을 주장했습니다.
* 수학계의 반응과 논란: 일부 수학자들은 AI의 이러한 성과에 깊은 인상을 받았지만, OpenAI의 초기 발표에서 이전 연구에 대한 인용 및 공로 인정이 미흡했던 점에 대한 비판도 제기되었습니다. AI의 결과물이 기존 연구 위에 구축되었을 가능성과 그에 대한 적절한 출처 표기 문제가 논란이 되었습니다.
* AI의 수학적 지식 생성 방식의 불확실성: AI 모델이 이러한 난제들을 어떻게 해결했는지에 대한 투명성이 부족하며, 이 과정에 인간 수학자의 개입이 어느 정도였는지, 그리고 이러한 방식이 확장 가능한지에 대한 의문이 제기됩니다.
* 수학 연구 및 교육의 미래에 대한 우려: AI가 현재의 난제들을 빠르게 해결하면서, 인간 수학자들의 역할, 특히 새로운 문제를 발견하고 정의하는 능력에 대한 근본적인 질문이 제기됩니다. 또한, AI의 발달 속도를 고려할 때 학생들의 박사 과정 연구 주제가 AI에 의해 쉽게 해결될 수 있다는 점도 우려 사항입니다.
* 수학 분야의 민주화와 비용 문제: AI는 수학적 직관은 있지만 공식적인 훈련이 부족한 사람들에게 새로운 도구를 제공하여 분야를 발전시킬 수 있다는 잠재력이 있습니다. 그러나 고성능 AI 모델 운영에 드는 비용은 수학계처럼 예산이 상대적으로 적은 분야의 연구자들에게 진입 장벽이 될 수 있습니다.
* AI 산업의 '광고 놀이터'로서의 수학: 일부 수학자들은 AI 기업들이 수학 분야를 자신들의 기술을 과시하고 홍보하기 위한 수단으로 이용하고 있다고 비판하며, 이러한 과대광고에 동참하지 않겠다는 '라이덴 선언(Leiden Declaration)'에 서명하는 등 조직적인 저항 움직임도 있습니다.

시사점

AI의 수학적 능력 발전은 학계의 연구 방식, 교육 과정, 그리고 수학의 본질에 대한 근본적인 재고를 요구하며, 이는 단순한 문제 해결을 넘어 새로운 수학적 발견과 응용의 가능성을 탐색하게 할 것입니다.