수학 분야 AI 발전 내용 공유

이번 릴리스에서는 논문 수정 및 인용에 대한 프로토콜을 갖춘 GitHub 저장소에 결과를 게시합니다. 저희는 위원회의 지침을 충족하는 커뮤니티 호스팅 대안을 계속 탐색하고 있습니다. 향후 릴리스를 위해, 이해도를 높이기 위해 인용, 수학적 설명(mathematical exposition), 결과 제시의 질을 더욱 개선하기 위해 노력할 것입니다.

GitHub 저장소의 일부로, 저희는 수학적 증명을 컴퓨터가 검사할 수 있게 해주는 프로그래밍 언어인 Lean에 많은 증명들의 형식화(formalizations)를 공유하고 있습니다. 이를 확보하는 대로 저장소를 업데이트하겠습니다.

과학적 투명성과 개방성을 촉진하기 위해, 결과 획득 방법에 대한 추가 세부 정보도 저장소에 게시합니다. 여기에는 모델의 추론 요약 10가지, ChatGPT Pro 사용량 측면에서의 컴퓨팅 비용 추정치, 시도된 문제 수에 대한 통계가 포함됩니다. 평균 결과는 대략 3시간 분량의 ChatGPT Pro 사고와 동등한 컴퓨팅을 사용했습니다.

저희는 이러한 발전이 인류 지식의 최전선을 밀고 나가고 수학 분야의 추가 발전을 가능하게 하기를 바랍니다. AI가 생산한 주요 결과에 대한 이해를 중심으로 일련의 워크숍, 컨퍼런스, 특별 프로그램을 지원할 것이며, 이에 대해서는 가까운 시일 내에 더 많이 공유하겠습니다.

저희는 과학자들에게 최첨단 역량을 직접 제공하고자 하며, 이러한 결과를 생성한 모델을 책임감 있게 출시하기 위해 노력하고 있습니다. 이것이 바로 수학 및 기타 과학 분야에서 내부 프론티어 모델(frontier models)을 계속 평가하는 것이 중요하며, 이를 통해 해당 분야를 발전시킬 도구를 개발 속도를 높일 수 있기 때문입니다. 저희는 커뮤니티의 피드백에 지속적으로 대응하고 주요 과학적 진전 사항 공개에 대한 표준을 업데이트할 것입니다.