OpenAI, 수학계와의 불화 속에서 호지 추측 해결 ... 노트