[일반] 7대 밀레니엄 난제중에 p=np 이게 제일 어려울 듯

[익명(110.11)]

리만 가설보다 이게 ㄹㅇ 개꿀아니냐

근데 증명만 되면 진짜 개꿀일 거 같다.

p != np 라고 증명되면 좆망인 거고

같다라고 한다면 컴퓨터 과학의 엄청난 발전이 이뤄지겠지

[하루룽(ailedear)]

이제 증명 불가능함이 증명되는거임

[codefox(codefox)]

증명불가능하다는것을 증명하는것의 증명불가능함이 증명될수도 - dc App

[익명(1.231)]

개인적으로는 어어어? 하다가 누군가가 NP complete한걸 polytime에 풀었으면 하고있음. P !=NP라거나 증명불가능이면 증명이 상당히 수학기초론쪽일텐데 그럼 읽지도 못하고 너무 슬프잖아

[ㅍㄱㅈ(121.134)]

하지만 P=NP가 거짓임을 증명할 가능성이 더 높겠지..?