OpenAI의 백만 달러 수학 증명 이면의 비하인드 스... 노트