오픈AI(OpenAI)가 인공지능(AI) 모델이 자체적으로 도출한 수학 연구 원고 722편과 관련 증명 자료를 깃허브(GitHub)에 공개하며 학계에 큰 파장을 일으키고 있습니다. 이 방대한 자료는 약 4,000개의 연구 문제에 AI 모델을 적용하여 얻은 결과물로, AI가 복잡한 수학적 추론과 문제 해결 능력을 갖췄음을 입증하는 중요한 진전으로 평가됩니다.
공개된 자료는 722편의 원고를 372개의 '결과 묶음'으로 분류하며, 각 묶음에는 주요 결과, 논증, 후속 결과 또는 대안 증명 등이 포함될 수 있습니다. 특히, AI 모델이 리만 제타 함수의 영점 없는 영역, 유일 게임 추측(Unique Games Conjecture) 등 기존 수학계의 주요 미해결 난제들을 해결하거나 상당한 진전을 보인 것으로 알려져 주목받고 있습니다. 하나의 결과 도출에 사용된 평균 연산량은 챗GPT 프로(ChatGPT Pro)가 약 3시간 동안 사고하는 데 필요한 연산량과 맞먹는 수준이며, 다수의 증명은 린(Lean) 언어로 형식화되어 컴퓨터로 검증 가능하도록 제공됩니다. 오픈AI는 독립 수학 자문그룹의 권고를 반영하여 공개 방식을 결정했으며, 향후 AI가 도출한 결과를 이해하기 위한 학술 행사 지원과 해당 모델의 공개도 추진할 예정입니다.
이번 오픈AI의 발표는 AI가 단순한 도구를 넘어 새로운 지식을 창출하는 주체로 부상하고 있음을 보여줍니다. 특히, 수학과 같은 추상적이고 복잡한 분야에서 AI가 인간의 오랜 난제를 해결하고 새로운 증명을 제시하는 능력은 과학 연구의 패러다임을 변화시킬 잠재력을 가집니다. 이는 AI가 연구자의 생산성을 높이는 보조 역할을 넘어, 독자적인 연구를 수행하며 인류의 지식 확장에 기여할 수 있음을 시사하며, 앞으로 AI와 인간 연구자 간의 협력 방식과 AI 윤리 문제에 대한 심도 깊은 논의가 필요함을 강조합니다.