GIMPS

GIMPSとは

GIMPS（Great Internet Mersenne Prime Search）は、1996年にスタートしたプロジェクトで、メルセンヌ素数の発見を目的としています。このプログラムでは、参加者のコンピュータを活用し、分散型コンピューティングの手法を用いて解析や検証を行います。プロジェクトは、ジョージ・ウォルトマンの手によって開発されたオープンソースソフトウェアを使用して、誰でも自由に参加することが可能です。

メルセンヌ素数とは

メルセンヌ素数は、形が $M_n = 2^n - 1$ で表される素数のことを指します。ここで、nは自然数です。これらの素数は、特に大きいものが多く、数理的にも興味があります。GIMPSは、これらのメルセンヌ素数の探索を行うことで知られています。

プロジェクトの実績

GIMPSは今までに18のメルセンヌ素数を発見しており、そのうち16は発見時点で最大のメルセンヌ素数でした。2024年10月時点での最大の発見は、$M_{777218} = 2^{2136279841} - 1$ という素数です。これによって、GIMPSは数学界における重要な役割を果たしています。

主な発見者と発見の年

GIMPSに参加する数々の研究者は、これまでに多くのメルセンヌ素数を発見してきました。以下にその主な年と発見者を挙げます。

• - 1996年11月13日: Joel Armengaud が $M_{35} = 2^{21,398,269} - 1$ を発見。
• - 1997年8月24日: Gordon Spence が $M_{36} = 2^{22,976,221} - 1$ を発見。
• - 1998年1月27日: Roland Clarkson が $M_{37} = 2^{23,021,377} - 1$ を発見。
• - 1999年6月1日: Nayan Hajratwala が $M_{38} = 2^{26,972,593} - 1$ を発見。
• - 2001年11月14日: Michael Cameron が $M_{39} = 2^{213,466,917} - 1$ を発見。
• - 2003年11月17日: Michael Shafer が $M_{40} = 2^{220,996,011} - 1$ を発見。
• - 2004年5月15日: Josh Findley が $M_{41} = 2^{224,036,583} - 1$ を発見。
• - 2005年2月18日: Dr. Martin Nowak が $M_{42} = 2^{225,964,951} - 1$ を発見。
• - 2005年12月15日: Dr. Curtis Cooper と Dr. Steven Boone が $M_{43} = 2^{230,402,457} - 1$ を発見。
• - 2006年9月4日: 同上が $M_{44} = 2^{232,582,657} - 1$ を発見。
• - 2008年8月23日: UCLA が $M_{47} = 2^{243,112,609} - 1$ を発見。これは、最初の1000万桁を超える素数でした。
• - 2013年1月25日: Dr. Curtis Cooper が $M_{48} = 2^{257,885,161} - 1$ を発見。
• - 2016年1月7日: 同上が $M_{49} = 2^{274,207,281} - 1$ を発見。
• - 2018年12月7日: Patrick Laroche が $M_{51} = 2^{282,589,933} - 1$ を発見。
• - 2024年10月12日: Luke Durant が現在の最大メルセンヌ素数、$M_{52} = 2^{2136279841} - 1$ を発見。

今後の展望

GIMPSプロジェクトは今後も続き、さらなるメルセンヌ素数の発見が期待されています。分散コンピュータのリソースを利用することで、計算能力の限界を超える大規模な計算が現実となりつつあります。このプロジェクトは、数学の研究や理論の向上を図るための貴重な資源となっています。

• ---

関連する情報やリンクについては、GIMPSの公式ウェブサイトを参照してください。

もう一度検索