내부 프론티어 모델에 의해 생성된 다양한 새로운 수학적 결과를 발표합니다.
수학 커뮤니티와 결과를 공유하는 방식을 개선하고자 하면서, 우리는 고등연구소의 수학 및 인공지능 자문그룹(새 창에서 열림)와 협력하여 최선의 방식을 개발해왔습니다. 또한 그들의 조언과 공개 권고(새 창에서 열림)를 참고하여 이러한 결과를 공개하는 방식을 결정했습니다.
이 릴리스에 대해서는 GitHub 저장소에 결과를 공개하며, 논문 수정 및 인용 방법에 관한 프로토콜도 함께 제공합니다. 위원회의 지침을 준수하는 다른 커뮤니티에서 운영되는 대안 방식을 계속해서 검토하고 있습니다. 향후 릴리스에서는 인용, 수학적 설명, 결과 제시 방식을 통해 논문의 질을 더욱 향상시키기로 약속합니다.
우리의 GitHub 저장소의 일부로, 컴퓨터에 의해 수학적 증명을 검사할 수 있게 하는 프로그래밍 언어인 Lean에서의 많은 증명들의 형식화된 내용을 공유합니다. 우리는 그런 형식화된 내용을 얻을 때마다 저장소를 업데이트할 것입니다.
과학적 투명성과 개방성을 증진하기 위해, 우리는 결과를 어떻게 얻었는지에 대한 추가 세부 정보도 저장소에 공개하고 있습니다. 여기에는 모델의 추론에 대한 10개의 요약, ChatGPT Pro를 사용하여 수행된 계산량에 대한 추정치, 그리고 시도된 문제의 수에 관한 통계가 포함됩니다. 평균 결과는 약 3시간의 ChatGPT Pro 사용 시간과 동등한 계산량을 사용했습니다.
우리는 이 발전이 인류 지식의 한계를 넓히고 수학 분야의 더 큰 진전을 가능하게 하기를 원합니다. 우리는 AI가 도출한 주요 결과에 대한 이해를 위한 일련의 워크숍, 컨퍼런스, 특별 프로그램을 지원할 예정입니다. 향후 이에 대해 더 많은 정보를 공유할 것입니다.
우리는 과학자들에게 최첨단 기술을 직접 제공하고 싶으며, 이러한 결과를 도출한 모델을 책임감 있게 공개하기 위해 노력하고 있습니다. 따라서 수학 및 기타 과학 분야의 내부 프론티어 모델을 지속적으로 평가하는 것이 중요합니다. 이를 통해 해당 분야를 발전시키는 도구를 더욱 빠르게 개발할 수 있습니다. 우리는 커뮤니티의 피드백에 따라 계속 행동하고, 주요 과학적 진전이 공개될 때마다 우리의 기준을 업데이트할 것입니다.