[일반] 세상에서 가장 긴 수학 논문

[익명(118.235)]

- dc official App

[익명(around6296)]

쓸모없는 정의 쓸모없이 컴퓨터로 증명해봤자 뭔 의미가 있다고

[익명(around6296)]

정리

[익명(104.28)]

너보단

[익명(w3gq0w2syydw)]

4색정리:?? - dc App

[익명(1.235)]

boolean이 불린이겠냐고 ㅡㅡ

[수갤러 1(121.135)]

맞는데? - dc App

[익명(goodwong)]

기사에 틀린게 너무 많네. 일단 Nature에 publish된건 아님. 애초에 Natue는 저런 수학논문들은 안실어줌. Nature에 실린건 뉴스느낌으로 공유한거지 정식 출판물로서 실린건 아님. 저 논문은 SAT 라는 학회에 실림. 그리고 가장 긴 논문도 아님. 그냥 supplements 가 엄청 큰거지 논문자체는 꽤 짧다.

[익명(goodwong)]

논문 이름 자체는 Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer