OpenAI, 내부 모델로 수학 난제 증명 결과 공개
Sharing AI Progress in Mathematics
OpenAI가 내부 프런티어 모델로 얻은 다양한 수학적 결과를 GitHub에 공개했다. Institute for Advanced Study의 자문을 받아 논문 개정 및 인용 프로토콜을 마련했고, 많은 증명을 Lean으로 형식화했다. 평균 결과는 ChatGPT Pro 사고 약 3시간 분량의 컴퓨트를 사용했으며, 모델 추론 요약과 시도 문제 통계도 함께 제공한다. AI가 인류 지식의 최전선을 넓히도록 워크숍과 컨퍼런스도 지원할 계획이다.
우리는 이 진전이 인류 지식의 최전선을 밀어붙이고 수학의 추가 발전을 가능하게 하기를 바랍니다.