OpenAI, 미공개 모델로 수학 원고 722편 공개
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI가 내부 모델로 생성한 수학 원고 722편과 증명 아티팩트를 GitHub에 공개했다. 372개 패밀리로 분류되며, 일부는 Lean 형식화가 완료됐다. 대부분 미공개 모델로 약 4,000개 문제를 풀어 얻은 결과로, 평균 3시간의 추론 컴퓨팅이 사용됐다. 리만 제타 함수의 무영점 영역과 CM 아벨 다양체에 대한 호지 추측 등 예외적 결과도 포함됐다.
검증되지 않은 결과 중 일부에는 문제가 있을 수 있습니다. 그러한 문제를 신속히 수정하기 위해 노력하겠습니다.