An OpenAI model solved a famous math problem that stumped humans for 80 years

개요

OpenAI의 AI 모델이 80년간 난제로 남아있던 에르되시 단위 거리 추측을 반증하며 수학 분야에서 AI의 발전 가능성을 보여주었습니다.

주요 내용

* 에르되시 단위 거리 추측: 2차원 평면상의 n개의 점이 주어졌을 때, 두 점 사이의 거리가 정확히 1인 쌍의 최대 개수를 구하는 문제로, 폴 에르되시는 이 최대 개수가 n보다 약간 빠르게 증가할 것이라고 추측했습니다.
* AI 모델의 반증: OpenAI의 AI 모델은 기존의 그리드 형태 배열보다 더 복잡한 고차원 공간에서의 배열을 2차원으로 투영하는 방식을 사용하여 에르되시 추측보다 더 많은 단위 거리 쌍을 가질 수 있음을 증명했습니다.
* AI의 수학적 기여: AI는 방대한 수학 논문을 학습하여 인간이 접근하기 어려운 분야의 지식을 활용하고, 성공 가능성이 낮더라도 끈기 있게 여러 증명 전략을 탐색하는 데 강점을 보입니다.
* 인간과 AI의 협업: 현재 AI는 인간 수학자들의 조언을 받아 문제를 해결하거나, 특정 분야의 지식을 활용하는 데 도움을 주지만, 새로운 이론을 구축하거나 흥미로운 질문을 던지는 역할은 인간의 영역으로 남아있습니다.
* AI 발전 속도: LLM은 최근 1~3년 사이에 산술 문제 해결에서 고등학교 수학 경시 대회 우승, 그리고 이번과 같은 주요 수학 문제 반증에 이르기까지 급격한 발전을 보여주고 있습니다.

시사점

OpenAI의 AI 모델이 에르되시 단위 거리 추측을 반증한 것은 AI가 단순히 연산 능력을 넘어 창의적인 수학적 탐구 영역으로 진입했음을 시사하며, 향후 인간 수학자와 AI가 상호 보완하며 연구를 발전시켜 나갈 가능성을 열었습니다.