이론적 컴퓨터과학은 저널보다 학회에 주로 논문을 내고, 주로 아카이브할만한 가치가 있거나 다른 여러 이유가 있을 때 저널버젼으로 정리해서 내곤 한다. (저널에 새로 실리는 논문이 없는 것은 아니다.) 이러한 저널로 유명한 저널이 Journal of the ACM, Siam Journal on Computing이나 ACM Transactions on Computation Theory (ToCT), Journal of Cryptology 등등이 있다. 그런데, 바로 엊그제 ToCT에 P=NP의 증명을 주장하는 다음과 같은 논문이 실렸다.

3SAT은 NP-complete로 잘 알려진 문제로써, 제목에 따르면 3SAT이 다항식시간에 풀리니 P=NP가 된다. ToCT는 얼마전 글에서 소개했던 Scott Aaronson의 P=NP임을 증명/반증하기 어렵다는 Algebrization이 실려있기도 한, 명백히 피어리뷰가 잘 되는 저널이다!! 이정도의 권위있는 저널에 P=NP의 증명/반증이 실린것은 내가 알기로는 처음이다.

그런데 사실 이건 알고보니 휴먼에러였다 -_- ㅋㅋ 아래는 ToCT의 치프에디터 Ryan O’donnell의 해명 트윗.

즉 이미 Rejection 메일은 갔는데, 행정적 오류로 업로드 되어버렸다고. Ryan Williams의 다른 트윗을 보면 사실 데스크리젝이였다고 한다 -_-ㅋㅋ 결국 다음과 같은 노트가 생기고 곧 내릴듯하다. 페이지가 없어질것 같아서 캡쳐해서 기록용으로 여기 써놓는다 ㅋㅋㅋ