OpenAI, 내부 프론티어 모델의 수학 결과와 Lean 형식화 공개

OpenAI가 내부 프론티어 모델이 생성한 새로운 수학 결과를 공개하며 수학 커뮤니티와 진전을 공유한다. 이번 발표는 고등연구소의 독립 기구인 '수학 및 인공지능 자문 그룹'과의 협의를 통해 수립된 모범 사례를 따랐다.

결과는 논문 수정 및 인용 프로토콜을 포함한 GitHub 저장소에 게시되었다. 투명성과 검증 가능성을 높이기 위해 OpenAI는 다수의 증명을 컴퓨터로 검증할 수 있는 프로그래밍 언어 Lean으로 형식화하여 공개했다. 저장소는 추가 형식화가 확보되는 대로 업데이트될 예정이다.

발표 자료에는 모델의 추론 요약 10건과 시도된 문제에 대한 통계 등 결과 도출 방법론도 포함됐다. 연산 사용량은 ChatGPT Pro 기준으로 추정되었으며, 평균적으로 약 3시간 분량의 ChatGPT Pro 추론이 소요된 것으로 나타났다.

OpenAI는 이러한 AI 생성 주요 결과를 이해하기 위한 워크숍, 컨퍼런스, 특별 프로그램을 지원할 계획이다. 회사는 과학자들이 최첨단 기능을 활용할 수 있도록 해당 모델을 책임 있게 공개하기 위해 노력하고 있다고 밝혔다.