내부 프런티어 모델이 도출한 다양한 새로운 수학 연구 결과를 공개합니다.
수학계와 연구 결과를 공유하는 방식을 표준화하고자, 독립적인 자문 기구인 고등연구소의 수학 및 인공지능 자문단(새 창에서 열기)과 협의하며 모범 사례를 마련하고 있습니다. 이번 연구 결과 공개에도 자문단의 조언과 공개 권고 사항(새 창에서 열기)을 반영하고 있습니다.
이번에는 논문 수정 및 인용 절차와 함께 연구 결과를 GitHub 리포지터리에 공개합니다. 이번 결과를 공개할 다른 방안으로, 자문단의 지침을 충족하면서 커뮤니티가 직접 운영하는 플랫폼도 계속 검토하고 있습니다. 향후 공개할 논문은 인용, 수학적 설명, 결과 제시 방식을 개선해 이해하기 쉽도록 품질을 더욱 높이겠습니다.
GitHub 리포지터리에는 다수의 증명을 Lean으로 형식화한 자료도 공유합니다. Lean은 컴퓨터로 수학적 증명을 검증할 수 있게 해 주는 프로그래밍 언어입니다. 추가 증명 형식화 자료가 확보되는 대로 리포지터리를 업데이트하겠습니다.
과학 연구의 투명성과 개방성을 높이기 위해, 결과를 도출한 과정에 관한 추가 세부 정보도 리포지터리에 공개합니다. 여기에는 모델의 추론 과정 요약 10건, ChatGPT에서의 Pro 사용량으로 환산한 연산량 추정치, 풀이를 시도한 문제 수에 관한 통계가 포함됩니다. 결과 하나를 도출하는 데 사용된 연산량은 평균적으로 ChatGPT Pro가 약 3시간 동안 추론하는 데 쓰는 연산량에 해당합니다.
이러한 성과가 인류 지식의 경계를 넓히고 수학의 발전으로 이어지기를 바랍니다. AI가 도출한 주요 연구 결과의 이해를 돕는 일련의 워크숍, 학술대회, 특별 프로그램에 자금을 지원할 예정입니다. 이에 관한 자세한 내용은 조만간 공유하겠습니다.
과학자들이 최첨단 기능을 직접 활용할 수 있도록, 이번 결과를 도출한 모델을 책임감 있게 공개하기 위해 노력하고 있습니다. 이를 위해서는 내부 프런티어 모델의 수학 및 기타 과학 분야 역량을 지속적으로 평가하는 것이 중요합니다. 그래야 이들 분야의 발전을 이끌 도구를 더 빠르게 개발할 수 있습니다. 앞으로도 커뮤니티의 피드백을 반영하고, 주요 과학적 성과를 공개하는 기준을 지속적으로 개선하겠습니다.
