Find XO: OpenAI가 수학 문제 해결 과정을 담은 연구 논문 저장소를 공개했다 (github.com)

- OpenAI 내부 AI 모델이 생성한 수학 논문과 증명 자료를 모아 공개한 저장소에는 다양한 수학 분야별 연구 결과가 포함되어 있다. - 저장소에는 719편의 논문이 372개의 그룹으로 나누어 정리되어 있으며, 약 42%의 결과는 Lean이라는 형식적 증명 시스템으로 검증되었다. - 각 연구 결과는 평균 3시간 분량의 ChatGPT Pro 모델 연산을 통해 약 4,000개의 수학 문제를 풀면서 도출되었고, 일부는 사람이 내용을 다듬었다. - 형식적으로 증명되지 않은 논문은 오류 가능성이 있어 수정 작업이 진행 중이며, 향후 커뮤니티 기반 공개도 검토되고 있다.