오픈AI, 내부 AI가 낸 수학 결과 공개... 증명도 검증용으로

오픈AI가 10월 6일(현지시간) 내부에서 개발 중인 AI 모델로 얻은 새 수학 연구 결과를 공개했다. 관련 자료는 개발자들이 코드와 문서를 공유하는 사이트 GitHub에 올렸다. 증명 가운데 여러 건은 컴퓨터로 검증할 수 있는 형태로 함께 내놓았다.

오픈AI는 이 결과를 만든 내부 모델도 공개를 준비 중이라고 밝혔다. 발표 페이지에 이용 대상과 출시일, 가격은 적지 않았다.

수학 증명, 컴퓨터로 확인할 수 있나

공개 자료에는 증명을 컴퓨터로 확인할 수 있게 옮긴 Lean 자료가 들어 있다. Lean은 수학 증명의 논리 단계를 컴퓨터로 검증하는 데 쓰는 도구다. 연구 결과를 설명한 글과 검증용 증명을 함께 볼 수 있다. 오픈AI는 자료를 확보하는 대로 더 올리겠다고 밝혔다.

모델이 답에 이른 과정을 담은 자료도 함께 올렸다. 모델의 사고 과정을 요약한 자료 10건이 들어 있다. 시도한 문제 수 통계와 계산량 추정치도 포함됐다. 최종 결과만 보여 주는 대신, 몇 문제를 시도했고 계산 자원을 얼마나 썼는지까지 공개한 구성이다.

오픈AI는 결과 하나를 얻는 데 든 평균 계산량을 ChatGPT Pro의 사고 기능을 약 3시간 쓰는 양에 빗대 설명했다. 발표 페이지에 성능 시험 점수는 따로 실리지 않았다.

이 자료, 누가 쓰나

수학 연구자와 AI의 문제 해결 능력을 지켜보는 사람이 곧바로 검토에 들어갈 수 있다. 저장소에는 논문을 고치거나 인용할 때 따를 절차도 함께 올렸다. 결과를 읽는 데 그치지 않고 후속 연구로 이어 가도록 한 것이다.

오픈AI는 수학과 AI 분야 독립 자문단의 권고를 반영해 공개 방식을 정했다고 설명했다. 자문단 지침에 맞는, 연구자 공동체가 운영하는 공개 창구도 추가로 검토하고 있다. AI가 만든 주요 결과를 이해하도록 돕는 워크숍, 학회, 특별 프로그램에는 자금을 지원할 계획이다.

AI가 낸 수학 결과와 이를 검토할 자료를 함께 공개했다는 점이 이번 발표의 핵심이다. 앞으로 Lean으로 검증할 수 있는 증명이 얼마나 늘어나는지, 공개를 준비 중인 모델이 언제 누구에게 열리는지가 관심사다.