또 다시 가장 큰 소수가 발견되었군요.

lifthrasiir의 이미지

* "가장 큰 소수"는 "largest known prime"을 뜻합니다. :)

http://mersenne.org/24036583.htm

2003년 11월에 2^20996011 - 1이 발견된 게 얼마 안 되었는데 한 달 전(5월 15일)에 2^24036583 - 1이 소수로 판명되었군요... 오늘 GIMPS 심심해서 들어 갔다가 알았습니다. 이런... 최근에 안 들어 가 봐서 몰랐습니다 :p

GIMPS 하면 빼 놓을 수 없는(정말?) 사람이 Landon Curt Noll 씨입니다. (ioccc의 심사 위원이기도 합니다-_-) 이 사람 누리집에 가 보면 현재까지 알려 진 모든 메르센 소수[1]의 숫자 표기, 영문 표기(one thousand two hundred and thirty-four 같은...)를 제공하고 있는데, 아깝게도 이번에 발견된 건 아직 안 들어 갔군요... http://isthe.com/chongo/tech/math/prime/mersenne.html 에서 볼 수 있습니다.

문제의 723만 5733자리-_- 소수는 http://mersenne.org/prime7.htm 에서 볼 수 있습니다. 예전에는 text/plain으로 브라우저 창에 띄웠는데 너무 많다 보니까 이번엔 zip 포맷으로 제공하는 군요.

그나저나, 겨우 반 년이 지나서 새 소수가 발견된 걸 보면 슬슬 소수 발견 사이클이 짧아져 가는 것도 같습니다. 다음 그림은 현재까지 발견된 "알려져 있는 가장 큰 소수"의 자릿수와 그 발견 연도를 그래프로 그린 것입니다.


대략 The Prime Pages에서 가져 왔습니다-_-

냠... 갑자기 Prime95 다시 깔아서 해 볼까 하는 생각이 드네요-_- 귀찮아서 안 하고 있었는데...;;

- 토끼군

[1] 메르센 소수는 2^n - 1 꼴의 소수를 가리키며, 그 소수 판정법이 다른 소수들보다 상대적으로 간단하고 쉬운 편이어서 큰 소수 리스트에 자주 나오는 소수입니다. 현재까지 41개 발견되었습니다.

puzzlet의 이미지

대표적인 대형 grid computation 중 하나죠. 컴퓨터에 설치하면 CPU가 비는 시간동안 소수 탐색을 합니다. 6년 전에 데스크탑에서 쓰다가 노트북으로 전환하고 나서 결별했던 기억이 있네요. 방금 데스크탑 리눅스에서 다시 돌려보기 시작했습니다.

덧붙이자면, 천만자리의 소수를 맨 처음으로 발견한 사람에게는 Electronic Frontier Foundation에서 10만불을 지급하기 때문에 Prime95는 꿈(?)을 안고 돌려 볼 수도 있는 소프트웨어이기도 합니다. :) 이 페이지를 참고하세요: http://www.mersenne.org/prize.htm

발발다빠따반반나다발딸발발다빠따따맣발발다뿌
멓터벅더떠벋떠벌더벌벌떠벌떠더법벍떠더벌벌떠

puzzlet의 이미지

tokigun wrote:
http://isthe.com/chongo/tech/math/prime/mersenne.html 에서 볼 수 있습니다.

그나저나 ioccc에서 자주 보이는 chongo.c가 모두 저 사람 작품이군요.

발발다빠따반반나다발딸발발다빠따따맣발발다뿌
멓터벅더떠벋떠벌더벌벌떠벌떠더법벍떠더벌벌떠

lifthrasiir의 이미지

puzzlet wrote:
덧붙이자면, 천만자리의 소수를 맨 처음으로 발견한 사람에게는 Electronic Frontier Foundation에서 10만불을 지급하기 때문에 Prime95는 꿈(?)을 안고 돌려 볼 수도 있는 소프트웨어이기도 합니다. :) 이 페이지를 참고하세요: http://www.mersenne.org/prize.htm

GIMPS와 다른 소수 발견자들이 5만 달러를 떼어 먹어서 실제로 돌아 가는 돈은 5만 달러로 알고 있습니다. :)

Quote:
If you were to find a 10,000,000 digit prime today the above rules imply that $5,000 would go to Michael Cameron, discoverer of the 39th known Mersenne prime, $5,000 would go to Michael Shafer, discoverer of the 40th known Mersenne prime, $5,000 would go to Josh Findley, discoverer of the 41st known Mersenne prime, $0 would go to discoverers of algorithmic breakthroughs, $10,000 would go to GIMPS primarily to fund future awards, $25,000 would go to charity, and $50,000 would go to you.

그리고 5만 달러라도 얻으려는 희망을 무참히 짓밟는 한 마디...

Quote:
Now the bad news. Testing a single 10,000,000 digit number takes two months on a 2 GHz Pentium 4 computer. Your chance of success is roughly 1 in 250,000. Someone may find a 10,000,000 digit prime before GIMPS does.

...상금의 기대값은 50000$ * (1 / 250000) = 0.2$입니다.

- 토끼군

Stand Alone Complex의 이미지

오호.. 흥미롭군요..

저도 해볼까합니다.

RET ;My life :P

ckd007의 이미지

:P 아는 만큼 보인다더니 보통때 같으면 알아듣지도 못했을 어려운 말들이

오늘은 많이 이해가 됩니다.

시험공부 하러 도서관 갔다가 공부가 안되 '수학세계탐험기' 란 책을

읽었는데 소수 이야기가 나오더라구요 ~

siegfried86의 이미지

예전 같았으면 뭐 그냥 그렇지 라고 넘어 갔을 기사군요..

여기서 어떤 분이 추천해주셨던..

(누군지는 기억이 죄송 ㅠ.ㅠ;; )

수학이란 무엇인가 책을 사서 요즘 열심히 보고 있습니다.

그 책을 읽으면서 그동안 제가 알고 있던 지식이 얼마나 조잡한지를

새삼깨달으며 절망하고 있다는 ;;;

그리고 그 책에 탄력받아.. 수학귀신이라는 책을 봤는데요..

수학귀신 책을 어릴때 봤다면 정말 수학에 새로운 흥미를 가질수 있었을 텐데...

거기서는 근사한 수라고 표현한다죠...

언젠가 근사한 수의 일반공식 같은게 과연 나올까요?

소수가 무한개인 것을 증명하는게 재밌던데...

知之者 不如好之者 好之者 不如樂之者

ㅡ,.ㅡ;;의 이미지

저거 발견해서 어따 쓰죠?..ㅡ,.ㅡ;;

상금주나요..ㅡ,.ㅡ;;

발견한뒤 솟수라는걸 어떻게 증명한다?...ㅡ,.ㅡ;;


----------------------------------------------------------------------------

M.W.Park의 이미지

ㅡ,.ㅡ;; wrote:
저거 발견해서 어따 쓰죠?..ㅡ,.ㅡ;;

상금주나요..ㅡ,.ㅡ;;

발견한뒤 솟수라는걸 어떻게 증명한다?...ㅡ,.ㅡ;;

암호화 알고리즘 같은 데서 요긴하게 쓰이지 않나요?

-----
오늘 의 취미는 끝없는, 끝없는 인내다. 1973 法頂

ㅡ,.ㅡ;;의 이미지

M.W.Park wrote:
ㅡ,.ㅡ;; wrote:
저거 발견해서 어따 쓰죠?..ㅡ,.ㅡ;;

상금주나요..ㅡ,.ㅡ;;

발견한뒤 솟수라는걸 어떻게 증명한다?...ㅡ,.ㅡ;;

암호화 알고리즘 같은 데서 요긴하게 쓰이지 않나요?

연속적인 패턴변환을 실시하기위해 사용하신다는거 같은데..
솟수가 어떤공식에 의해서 도출되는것이 아니기 때문에 힘들거 같은데..


----------------------------------------------------------------------------

feanor의 이미지

발견해서 전혀 쓸 데가 없습니다.

메르센느 수가 소수임을 증명하는 방법은 직접 나누어보는 [...] 등의 무식한 방법이 아니라, 루카스-렘머 테스트를 사용합니다. 증명은... 어렵습니다. 관심 있으면 관련 도서를 찾아보시구요... Prime95는 약간 변형된 알고리즘을 사용합니다. 요는, 메르센느 수가 특정한 형태를 띠고 있기 때문에 소수임을 매우 빠르게 증명할 수 있다는 것입니다.

(다시 말하자면, 특정한 형태를 띠고 있기 때문에 암호학적인 목적에는 아무런 쓸모가 없습니다.)

Lucas-Lehmer Test
http://mathworld.wolfram.com/Lucas-LehmerTest.html

--feanor

feanor의 이미지

아, stress test 목적으로 사용할 수는 있습니다.

이미 알려진 메르센느 소수들을 검증하는데만도 엄청난 양의 계산이 필요하기 때문에, 새로운 컴퓨터가 결함 없이 제대로 작동하는지 보기 위해 검증 프로그램을 실행하여 나온 결과를 이미 알려진 결과와 비교해 볼 수 있습니다.

--feanor

puzzlet의 이미지

tokigun wrote:
그리고 5만 달러라도 얻으려는 희망을 무참히 짓밟는 한 마디...

Quote:
Now the bad news. Testing a single 10,000,000 digit number takes two months on a 2 GHz Pentium 4 computer. Your chance of success is roughly 1 in 250,000. Someone may find a 10,000,000 digit prime before GIMPS does.

...상금의 기대값은 50000$ * (1 / 250000) = 0.2$입니다.


두 달에 1/250000이라고 해도 로또보다 확률 높네요. :)

발발다빠따반반나다발딸발발다빠따따맣발발다뿌
멓터벅더떠벋떠벌더벌벌떠벌떠더법벍떠더벌벌떠

alfalf의 이미지

puzzlet wrote:
tokigun wrote:
그리고 5만 달러라도 얻으려는 희망을 무참히 짓밟는 한 마디...

Quote:
Now the bad news. Testing a single 10,000,000 digit number takes two months on a 2 GHz Pentium 4 computer. Your chance of success is roughly 1 in 250,000. Someone may find a 10,000,000 digit prime before GIMPS does.

...상금의 기대값은 50000$ * (1 / 250000) = 0.2$입니다.


두 달에 1/250000이라고 해도 로또보다 확률 높네요. :)

더군다나 로또처럼 돈도 안들고 어차피 켜놓는 컴퓨터... SETI@home 보다 훨신 구미가 당기네요. :wink:

lifthrasiir의 이미지

feanor wrote:
아, stress test 목적으로 사용할 수는 있습니다.

이미 알려진 메르센느 소수들을 검증하는데만도 엄청난 양의 계산이 필요하기 때문에, 새로운 컴퓨터가 결함 없이 제대로 작동하는지 보기 위해 검증 프로그램을 실행하여 나온 결과를 이미 알려진 결과와 비교해 볼 수 있습니다.

--feanor

stress test 용으로 Prime95를 사용하는 건 우리나라 컴퓨터 관련 커뮤니티에서 흔히 볼 수 있는 현상이더군요. 오버클러킹 후 하루 종일 돌려서 문제가 없다면 오버클러킹 성공했다고들 그러죠.. :)

- 토끼군

lifthrasiir의 이미지

alfalf wrote:
puzzlet wrote:
tokigun wrote:
그리고 5만 달러라도 얻으려는 희망을 무참히 짓밟는 한 마디...

Quote:
Now the bad news. Testing a single 10,000,000 digit number takes two months on a 2 GHz Pentium 4 computer. Your chance of success is roughly 1 in 250,000. Someone may find a 10,000,000 digit prime before GIMPS does.

...상금의 기대값은 50000$ * (1 / 250000) = 0.2$입니다.


두 달에 1/250000이라고 해도 로또보다 확률 높네요. :)

더군다나 로또처럼 돈도 안들고 어차피 켜놓는 컴퓨터... SETI@home 보다 훨신 구미가 당기네요. :wink:

전기값은 듭니다 :)

- 토끼군