OpenAI가 자사 내부 프런티어 AI 모델이 도출한 다양한 수학 연구 결과를 외부에 공개했다. 단순히 결과만 내놓은 것이 아니라, 결과를 어떻게 얻었는지에 대한 세부 정보와 검증 수단까지 함께 제공했다는 점에서 눈여겨볼 만하다. AI가 생성한 과학적 성과를 학계와 어떻게 공유해야 하는지에 대한 하나의 선례를 만들려는 시도로 해석된다.
무엇을 공개했나
OpenAI는 이번 공개 내용을 GitHub 저장소를 통해 배포했다. 저장소에는 논문 수정과 인용에 대한 절차(프로토콜)가 포함되어 있으며, 회사 측은 향후 커뮤니티가 호스팅하는 다른 대안 플랫폼도 계속 검토하고 있다고 밝혔다. 앞으로 공개될 자료에 대해서는 인용 체계, 수학적 설명 방식, 결과 제시 형식 등 논문의 완성도를 높이는 방향으로 개선하겠다는 계획도 함께 전했다.
특히 눈에 띄는 부분은 증명 중 다수를 Lean으로 형식화해 함께 제공했다는 점이다. Lean은 수학적 증명을 컴퓨터가 검증할 수 있도록 만든 프로그래밍 언어로, 사람이 일일이 증명 과정을 검토하지 않아도 논리적 오류 여부를 기계적으로 확인할 수 있게 해준다. OpenAI는 앞으로도 형식화된 증명을 저장소에 지속적으로 추가할 예정이라고 설명했다.
외부 자문 그룹의 권고를 반영한 공개 방식
OpenAI는 이번 결과를 공개하는 과정에서 프린스턴 고등연구소(Institute for Advanced Study) 산하의 독립 자문 그룹인 ‘Advisory Group on Mathematics and Artificial Intelligence’와 협의했다고 밝혔다. 이 자문 그룹의 조언과 공개된 권고안을 참고해 공개 방식과 수위를 결정했다는 것이다. AI 기업이 자체적으로 결과를 내놓는 대신 외부 전문가 집단의 의견을 수렴해 공개 프로토콜을 수립했다는 점은, 그동안 ‘AI가 낸 연구 성과를 어떻게 검증하고 신뢰할 것인가’라는 질문에 대한 하나의 답을 제시하려는 움직임으로 볼 수 있다.
추론 과정과 연산량까지 투명하게 공개
OpenAI는 단순 결과물 외에도 과학적 투명성을 위해 추가 정보를 함께 공개했다. 구체적으로는 모델이 문제를 어떻게 풀어냈는지를 보여주는 추론 요약 10건, ChatGPT Pro 사용량 기준으로 환산한 연산 비용 추정치, 그리고 모델이 시도한 문제 수에 대한 통계가 포함됐다. 원문에 따르면 평균적인 결과 하나를 얻는 데 소요된 연산량은 ChatGPT Pro 기준 약 3시간의 ‘사고(thinking)’ 연산에 해당하는 수준이었다고 한다. 이는 AI가 고난도 수학 문제를 푸는 데 드는 실제 비용 감각을 외부에서도 가늠할 수 있게 해주는 드문 사례다.
기존 AI 수학 연구 공개와 무엇이 다른가
그동안 AI 모델의 수학 문제 해결 능력은 주로 올림피아드 문제 풀이 성능이나 벤치마크 점수로 알려져 왔다. 반면 이번 공개는 벤치마크 점수가 아니라 실제 ‘새로운 수학적 결과물’ 자체를, 그것도 검증 가능한 형식(Lean 형식화)과 함께 내놓았다는 점에서 차이가 있다. 또한 연산 비용과 시도 횟수 같은 메타데이터까지 공개함으로써, 외부 연구자들이 결과의 신뢰도와 재현 가능성을 스스로 판단할 수 있는 여지를 남겼다. 이는 모델 성능을 과시하는 홍보성 발표와는 결이 다른 접근이다.
한국 연구자와 개발자가 주목할 지점
한국의 수학 연구자나 Lean 등 정리 증명 도구에 관심 있는 개발자라면, 이번에 공개된 GitHub 저장소를 통해 AI가 생성한 증명을 직접 검토하고 Lean 코드로 그 타당성을 확인해볼 수 있다. 특히 형식 검증 도구에 익숙한 개발자라면 AI가 만든 증명이 실제로 논리적 허점 없이 성립하는지를 기계적으로 검증해보는 좋은 사례 연구가 될 수 있다. 다만 이번 공개는 모델 자체를 공개한 것이 아니라 모델이 만들어낸 결과물을 공개한 것이므로, 동일한 모델을 직접 사용해볼 수 있는 것은 아니라는 점은 유의해야 한다. OpenAI는 결과를 만들어낸 모델 자체도 책임감 있게(responsibly) 공개하기 위해 노력 중이라고 밝혔지만, 구체적인 시점이나 방식은 아직 밝히지 않았다.
앞으로의 계획
OpenAI는 AI가 만든 주요 수학적 결과를 수학계가 더 잘 이해할 수 있도록 일련의 워크숍, 콘퍼런스, 특별 프로그램에 자금을 지원할 계획이라고 밝혔다. 구체적인 일정이나 규모는 아직 공개되지 않았으며, 관련 소식은 추후 추가로 공유될 예정이다. 또한 커뮤니티의 피드백을 지속적으로 반영해 향후 주요 과학적 성과를 공개하는 기준 자체도 계속 업데이트해 나가겠다는 방침이다.
답글 남기기