什么是“梅审数”?

以十七世纪法国数学家马兰·梅尔塞纳(M·Mersenne)的名字定名把形如2p-1(p为素数)的整数叫作“梅审数”。它可以是素数,也可以是合数。例如M_2=2~2-1=3,M_3=2~3-1=7,M_5=2~5-1=31,M_7=2~7-1=127均为素数,但M_(11)=2~(11)-1=2047=23·89,则是一个合数。判定一个梅审数是否为素数,或是当已知其为合数时分解其素因数,均非易事。截至1978年止共找到25个梅审数,第25个梅审数于1978年得到。它是一个6533位数:M_(21701)=2_(21701)-1 1984年2月-7日《参考消息》第3版上刊登了一篇文章《三十二小时解开三世纪之久的难题》中提到了一个梅审数2~(251)-1说它是一个69位数