第六章 一道证明题的答案（1/4）

　　为数学系的学生，梅森数是个么东，陆舟当然是道的。
　　毕竟一说到梅森数，就不得不提到一位伟大的华国数学家，以他在92年发表的《梅森数分规》，让梅森数变成了一条可以数学符号表达的公式，也就是国际上惯称的氏猜测。
　　而在此前，虽然英国数学家香斯、法国数学家托洛塔、德国数学家伯利哈、印度数学家曼纽杨和国数学家吉里斯等都曾分提出过猜测，但他们的猜测有一个同点，那就是都以似表达式提出，并与实际情况的程度均难如人意。
　　而氏猜测的公式却很简洁，当2^（2^n）＜P＜2^（2^（n+1））时，MP有2^（n+1）－1个是数。
　　看起来很简单是不是？
　　我上我也行是不是？
　　然而就这么一条猜测，未明或反，已经成了著的数学难题，困扰了个数学二十多年。
　　不过这玩意儿就像黎曼猜想一样，虽然无法实，但并不妨碍后人假设他成立，并将它拿来运用。
　　当然了，有了的计公式，将寻宝的工作给了计机，想要发现梅森数依旧不是一易的事情。
　　截止到前（2014年），数学一发现44个梅森数。
　　于这梅森数有么用？
　　好像也没么用。
　　硬要说的话，RSA法一个，次网购都得谢隐藏在密码里拆解不开的大数。与此同时，大数还用来考验计机性能。比如intel检验芯片使用的就是GIMPS程序，SKYLAKE芯片也曾由此发现BUG。
　　另外，纠结数学是否有用，其实没么意义。很多时候趋势数学家行动的动机，并不一定是解开一道式能获得多少经济益，而是因为它就在那里。