우리는 그런 정보로부터 생산된 폭넓은 범위의 새로운 수학적 결과들을 공개합니다 내부 프런티어 모델.
수학 커뮤니티와 결과를 공유하는 방식을 개선하고자 하면서, 우리는 독립적인 고등연구소(Institute for Advanced Study)(새 창에서 열기)의 수학·인공지능 자문단 모범 사례를 개발하며, 우리는 그들의 조언과 public 추천(새 창에서 열림) 이러한 결과를 공개하는 방식을 알리기 위한 것입니다.
이번 릴리스에서는 논문 개정 및 인용 절차와 함께 결과를 GitHub 저장소에 공개합니다. 또한 위원회의 가이드라인을 충족하는 커뮤니티 호스팅 방식의 다른 대안들을 이번 릴리스를 위해 계속 탐색하고 있습니다. 향후 릴리스에서는 결과에 대한 인용, 수학적 서술 및 제시 방식을 개선하여 더 나은 이해를 돕고 논문의 품질을 한층 더 향상시키기 위해 최선을 다하겠습니다.
저희 GitHub 저장소의 일환으로, 수학적 증명을 컴퓨터로 검증할 수 있게 해주는 프로그래밍 언어인 Lean으로 많은 증명들의 형식화를 공유하고 있습니다. 앞으로 형식화 자료를 확보하는 대로 저장소를 업데이트할 예정입니다.
과학적 투명성과 개방성을 촉진하기 위해, 결과를 얻은 방법에 대한 추가 세부 정보도 저장소에 공개하고 있습니다. 여기에는 모델의 추론에 대한 10개의 요약, ChatGPT Pro 사용량 기준으로 소요된 연산량의 추정치, 시도한 문제 수에 대한 통계가 포함됩니다. 평균 결과는 대략 ChatGPT Pro 사고 3시간 분량의 연산량을 사용했습니다.
우리는 이러한 진전이 인류 지식의 최전선을 확장하고 수학의 더 나은 발전을 가능하게 하기를 바랍니다. 우리는 AI가 산출한 주요 결과에 대한 이해를 위한 일련의 워크숍, 컨퍼런스 및 특별 프로그램을 지원할 예정이며, 이에 대한 자세한 내용은 가까운 시일 내에 공유하겠습니다.
우리는 과학자들에게 최첨단 역량을 직접 제공하고자 하며, 이러한 결과를 낸 모델을 책임감 있게 공개하기 위해 노력하고 있습니다. 이것이 우리가 그 분야의 발전을 위한 도구 개발을 가속화할 수 있도록 수학 및 기타 과학 분야에서 내부 프론티어 모델을 계속 평가하는 것이 중요한 이유입니다. 우리는 커뮤니티의 피드백에 지속적으로 대응하고 향후 주요 과학적 발전의 공개를 위한 기준을 업데이트해 나갈 것입니다.