AI 요약
오픈AI(OpenAI)는 지난 5월 20일, 자사의 AI 챗봇 소프트웨어가 기하학 분야의 오랜 난제인 폴 에르되시(Paul Erdős, 1913–1996)의 '단일 거리 문제(unit-distance problem)'를 해결하고 그의 기존 추론이 틀렸음을 입증했다고 발표했습니다. 1946년 에르되시는 평면 상에 동일한 거리를 갖는 점들의 쌍을 최대한 많이 배치하는 최선의 방법을 제안하며 이보다 뛰어난 배열은 불가능할 것이라는 가설을 세웠으나, AI가 이를 보기 좋게 깨뜨렸습니다. 오픈AI의 비공개 AI 시스템은 대수적 수론(algebraic number theory)을 활용하여 특정 방정식의 해가 되는 좌표들을 정교하게 선택해 에르되시가 예상했던 한계를 뛰어넘는 점의 배열 방식을 찾아냈습니다. 이 혁신적인 성과는 오픈AI와 무관한 캐나다 토론토 대학교의 다니엘 리트(Daniel Litt) 교수를 비롯한 외부 수학자 그룹에 의해 독립적으로 검증되었습니다. 학계 연구진은 이번 발견을 AI가 인간의 명확한 지도 없이 자율적으로 중요한 학술 연구 성과를 도출해 낸 최초의 역사적 사례로 평가하며 놀라움을 나타내고 있습니다.
핵심 인사이트
- 80년 만의 기하학 난제 해결: 1946년 헝가리의 천재 수학자 폴 에르되시가 제시하고 그 누구도 넘어서지 못할 것이라 단언했던 '단일 거리 문제'의 한계를 AI가 최초로 극복했습니다.
- AI 역사상 최초의 자율적 학술 성과: 오픈AI의 수학자 세바스티앙 부벡(Sebastien Bubeck)은 이번 성과가 AI가 연구 분야에서 독자적(autonomously)으로 의미 있는 결과물을 도출해 낸 최초의 사례라고 강조했습니다.
- 독립적인 학계 검증: 토론토 대학교의 다니엘 리트(Daniel Litt) 교수 등 제3의 수학자들이 오픈AI가 도출한 수학적 증명을 객관적으로 검증하고 성과의 유효성을 인정했습니다.
주요 디테일
- 단일 프롬프트의 기적: 오픈AI 측은 구체적인 기술 모델명이나 정밀한 증명 단계를 완전히 밝히지는 않았으나, 이번 난제 해결이 단 한 번의 프롬프트(single prompt) 입력을 통해 이뤄졌다고 설명했습니다.
- 대수적 수론을 이용한 해법: AI 모델은 대수적 수론(algebraic number theory)을 동원해 기하학적 문제를 대수 방정식으로 변환하고, 그 해가 되는 특정 좌표들을 선택해 새로운 점들의 배열을 제시했습니다.
- 폴 에르되시의 유산: 평생 1,500편 이상의 논문을 남기고 1,000개 이상의 미해결 문제를 남긴 폴 에르되시의 열린 문제들이 현대에 이르러 AI에 의해 차례로 해결되는 신호탄이 되었습니다.
- 학계의 압도적인 찬사: 조지아 공과대학교의 톰 트로터(Tom Trotter) 교수는 "에르되시가 살아있었다면 이 성과에 열광했을 것"이라 평했고, UC 버클리의 토니 펭(Tony Feng) 교수 또한 믿기 힘든 수준의 놀라운 성과라고 찬사를 보냈습니다.
향후 전망
- 수학 및 기초과학의 AI 연구 가속화: 단순 계산이나 코드 작성을 넘어 고도로 창의적이고 이론적인 수학적 증명 영역까지 AI가 자율적으로 개입하면서, 향후 기초과학 연구의 패러다임이 AI 협업 중심으로 크게 재편될 전망입니다.