오픈AI, 수학난제 722개 한꺼번에 증명 성공… 준-리만 가설 포함