OpenAI, 수학의 '밀레니엄 문제' 중 하나를 풀었... 노트