PrimeGrid — 世界の計算機で素数の地図を広げる

PrimeGridは、一つの巨大な素数だけを探すprojectではありません。BOINCを通じて、Cullen、Woodall、Generalized Fermat、Proth、factorial、Sierpiński・Riesel問題、素数の等差数列など、形も数学的な目的も異なる探索を並行して運営しています。参加者は自分の端末、対応application、所要時間に合うsubprojectを選びます。GIMPSが主にMersenne数 2^p−1 を探索するのに対し、PrimeGridは複数の素数族と予想問題を束ねる点が特徴です。

2026年8月29日00:53 UTCに公式homepageが表示した累計値は、登録user 357,988、host 893,527、発見素数101,804、The Prime Pagesへの報告38,124、100万桁以上のmega prime 3,738でした。推定性能は3,071.389 TFLOPSです。これらは同時接続人数でも、すべてが数学上同じ重みを持つ発見でもありません。累計値と推定値は変動するため、本記事では観測時刻を付け、最新値は公式画面へ委ねます。

PrimeGridの魅力は、遠い研究所の結果を眺めるだけでなく、自分の計算機が未知の数を最初に検査し得ることです。しかし発見は孤立した「当たり」ではありません。先に候補を削った人、applicationを実装・最適化した人、同じ計算を確認した人、serverとdatabaseを運用した人が、一つの公開記録を支えています。

始まりは2005年6月12日です。Rytis Slatkevičiusが自宅のlaptopでPerl製BOINC server実装を試すため、Message@Homeを50人へ公開しました。最初のMessage7は、MD5で符号化されたmessageを総当たりで復元する実験でした。2005年9月1日にPrimeGridという名前が選ばれます。現在の数学projectは、最初から完成した構想として始まったのではなく、分散計算基盤を実際に動かす小さな実験から育ちました。

初期にはRSA-640、続いてRSA-768のfactoring challengeにも計算を向けました。しかし2006年3月にfactorizationから離れ、primegenによる素数生成・探索へ移ります。同年のRiesel SieveやTwin Prime Searchとの協力、LLR applicationの導入が、現在へ続く数論projectの形を作りました。暗号challengeを試した過去と、現在の巨大素数探索を同じ目的だとみなさないことが重要です。

その後、Challenge Series、PRPNet、Generalized Fermat探索、GPU対応のGeneferなどが加わりました。2015年の査読論文は、この変化をRSA数の総当たり因数分解から、大規模な数論ボランティア計算基盤への成長として記録しています。BOINCは配布と会計の基盤であり、PrimeGridはその上に数の族ごとの探索計画、専用application、検証、発見報告を積み上げています。

Cullen数 n×2^n+1、Woodall数 n×2^n−1、Generalized Fermat数 b^(2^m)+1のように形を限定するのは、未知の素数を簡単にするためだけではありません。専用の判定法や高速な大整数演算を使え、理論上の分布と観測を比べられ、予想問題の候補を一つずつ消せるからです。桁数最大でなくても、ある形で世界初、あるkを除外、ある長さの等差数列を初発見という別の価値があります。

2019年9月23日に見つかった最初のAP27は、その象徴です。27個の数がすべて素数で、隣同士の差が同じという構造を、3年以上の探索で確認しました。PrimeGridは「最も長い数の大会」ではなく、数の地形を異なる観測方法で調べる複数の研究計画です。

最初の段階は候補設計です。数学的な形と未探索範囲を定め、既知の因数や過去の結果を除きます。次のsievingでは、多数の小さな素数で割り切れる候補を安価に取り除きます。篩を深くすれば残りは減りますが、深くしすぎると篩そのもののcostが、残候補を直接検査するcostを超えます。公式解説が「最適深度」を扱うのはこのためです。

残った候補にはLLR・PRST・GeneferなどでPRP（probable prime）testを行います。合成数のほとんどはここで落ちます。通過した数は非常に有望ですが、「一台がprimeと表示した」だけで記録にはしません。長い主計算が検査用dataを作り、短いproof taskがその計算を確かめるfast-proof経路と、別hostが同じ仕事を独立に繰り返す従来経路があります。AP探索やsieveなど、すべての仕事がfast proofを使うわけではありません。

さらに必要な場合は、別programやN−1法などで数学的な素数証明を行い、The Prime Pages側でも登録時の確認を受けます。したがって「常に2台で同じ計算」も「proof task一つですべて数学的に証明」も正確ではありません。計算の種類に応じて、誤り検出、計算再現、素数性の証明という別の保証を組み合わせます。

家庭端末はoverclock、memory error、driver、電源、software faultの影響を受けます。PrimeGridが計算proofやdouble checkへ資源を使うのは、参加者を疑うためだけでなく、巨大整数の長時間計算では善意の端末にも誤りが起こるからです。速さのランキングと、結果の再現可能性は別の目標です。

PRPは「偽物」という意味でもありません。適切なtestを通る合成数は極めて稀になるよう設計され、候補発見に不可欠です。ただし世界記録や数学的主張では、probableとprovenのlabel、使ったprogram、hardware、確認者、日時を残すことで、読み手が証拠の段階を判別できます。

PrimeGridの公式application一覧には、x86・ARM CPU向け、NVIDIA CUDA、AMD・Intel OpenCL、Apple系platformなど複数の実装が並びます。しかし全subprojectが全deviceを使えるわけではありません。候補の形式、整数size、FFTや乗算、memory量、double precision、driver、checkpoint、検証方式によって、向くhardwareが変わります。「GPUがあるから全taskがCPUより速い」という一つの順位表は作れません。

LLR/LLR2、PRST、Genefer、OpenPFGW、AP専用code、sr2sieveやAthGFNSieveは役割が違います。篩は大量候補を軽い演算で落とし、PRPは一候補へ長い大整数演算を行い、証明は別のdataとalgorithmを要求します。同じ端末でも、applicationと問題sizeが変われば演算器、memory、通信、発熱のbottleneckが変わります。

2025年2月のGeneralized Fermat prime 13520762^524288+1は、GeForce RTX 3060 Ti上のGeneferでPRPが見つかり、Ryzen 9 7950X3D上のLLRで約20時間40分かけて確認されました。一つの発見の中で、GPUによる探索とCPUによる別方式の確認が役割を分けた具体例です。機種名は功績の全部ではなく、software作者、siever、server運営、確認者を含むchainの一部です。

2025年10月12日、PrimeGridは 2524190^2097152+1 を発見しました。13,426,224桁の最初のGFN-21素数で、2026年8月のThe Prime Pagesではproven、既知の素数全体で6位と記録されています。同サイトのN−1確認には78.12日を要しました。発見計算が終わった時刻と、第三者がprovenとして記録できる時刻の間に、長い検証があることを示します。

別の価値を示すのが、2016年の 10223×2^31172165+1 です。9,383,761桁という大きさに加え、Seventeen or Bustでk=10223を候補から除外しました。これは「巨大な数を一つ増やした」だけでなく、最小Sierpiński数に関する有限の未解決候補を一つ減らした成果です。

2019年のAP27は約18桁の始点から一定間隔で並ぶ27個の素数を発見しました。各素数はmillion-digit recordよりはるかに小さくても、27項の等差数列として世界初です。桁数、特定形式、予想の候補除外、配置の初発見を同じleague tableだけで測らないことが、PrimeGridを理解する入口です。

BOINC creditは、返した計算量をproject内で数える参加会計です。PrimeGridにはparticipant、team、country、computer、prime finderのrankingがあり、subproject別credit badgeに加え、mega prime、予想候補の除外、AP26・27・28、世界初などのdiscovery badgeがあります。Challenge SeriesやTour de Primesは、期間を区切った個人・team競争として探索へ物語と季節を与えます。

この仕組みは見返りがないことと矛盾しません。creditは法定通貨でも暗号資産でも、研究成果の所有権でもありません。順位は参加を続ける動機や共同体の帰属を作りますが、計算の正しさはvalidatorとproofが別に判定します。多くcreditを得た人の答えが、多数決でprimeになるわけではありません。

prime reporting policyは、最初の計算者へ連絡し、応答がなければdouble checker、さらに応答がなければ匿名で登録する手順を定めています。発見者名の背後にも、候補範囲を準備した人、篩を実行した人、確認した人がいます。公開resultsやprogram名まで残すことが、rankingを再検証可能な研究史へ変えます。

素数は無秩序に見えても、素数定理による密度、合同条件、特定の数式で現れ得る位置など、多くの規則がすでに知られています。PrimeGridが扱うCullen、Proth、Generalized Fermat、Sierpiński・Rieselも「形を持つ数」です。形が分かるから専用algorithmを使えますが、すべてが素数になる式を得たわけでも、任意の暗号鍵の秘密因数が分かったわけでもありません。

2002年のAKS論文は、整数Nが素数かどうかを決定的な多項式時間で判定できることを示しました。これは理論上大きな突破ですが、RSA公開値N=p×qから秘密のpとqを効率よく取り出すalgorithmではありません。「この数はprimeか」と「この積を作ったprimeは何か」は、入力も求める答えも違う問題です。

したがって「素数のパターンが見つかれば暗号の牙城が崩れる」は、条件を付けなければ事実ではありません。暗号を変えるのは、任意の実用鍵を高速に因数分解する方法、離散対数を高速に解く方法、鍵生成の偏りから秘密値を予測する方法、または特定parameterの構造を悪用する攻撃です。美しい分布則や新しい巨大素数だけでは、その能力は得られません。

巨大素数探索は、数論、大整数演算、error detection、分散検証、hardware最適化を前進させます。暗号への貢献はこの意味で間接的です。公開され、特殊な形を持つ記録素数を見つけても、すでに配布されたRSA鍵やBitcoin鍵のsecurity levelは変わりません。鍵の強さはbit長だけでなく、乱数、parameter、protocol、実装、運用を含めて評価します。

逆に、素数研究と暗号が無関係なのでもありません。素因数分解や離散対数を現実的な時間へ短縮するalgorithm、弱い鍵生成が選ぶ素数の偏り、再利用されたparameterへの事前計算は、securityを変え得ます。重要なのは「prime」という共通語ではなく、攻撃者へ秘密値を回収する計算能力が生まれるかです。

FIPS 186-5はRSA署名鍵のpとqを、規定sizeと条件を満たすrandomなprovable primeまたはprobable primeとして生成します。公開されたmillion-digit record primeを秘密因数へ使うのではありません。RSA-2048のmodulusは約617桁で、因数はおおむねその半分ですが、単純な桁数比較だけでsecurity strengthは決まりません。PrimeGridの巨大素数は公開研究成果であり、秘密鍵材料ではありません。

実際の破綻例では、乱数不足により別々のRSA鍵が同じprime factorを共有しました。Heningerらは大量の公開鍵を比較し、二つのmodulusの最大公約数を取るだけで共有因数と秘密鍵を回収できる例を示しました。これは「素数全体の神秘的なpattern」ではなく、鍵生成器が独立で予測不能なp、qを選べなかった実装・entropyの失敗です。

finite-field Diffie–Hellmanでも、短く広く再利用されたgroupは事前計算の対象になり得ます。Logjam研究とRFC 7919が示す論点は、素数を公開したこと自体ではなく、group size、構造、由来、再利用、実装です。公開parameterと秘密値を分け、どの問題の難しさに依存するかを確認する方が、「大きな素数なら安全」という標語より正確です。

BitcoinのECDSAとBIP 340 Schnorr署名はsecp256k1楕円曲線を使います。有限体のprime p、curve式、生成点Gは公開parameterで、秘密はx、公開鍵はQ=xGです。安全性の中心はQからxを戻す楕円曲線離散対数の困難さであり、RSA modulusのfactorizationではありません。PrimeGridが別の巨大素数を発見しても、secp256k1 parameterや既存鍵が自動的に強くなることはありません。

Bitcoin miningも素数探索ではありません。minerはblock headerのnonceなどを変え、double SHA-256 hashがnetwork target未満になるinputを試します。PrimeGridのPRP testが「このNはprimeか」を調べるのに対し、miningは「このinputのhashはthresholdを満たすか」を調べます。大量の独立試行という外形は似ても、数学問題、正解の意味、検証、報酬が違います。

十分大規模で誤り訂正された量子計算機上のShor algorithmは、整数のfactorizationと離散対数の双方を多項式時間で解く道を与え、RSA・DH・ECCを脅かします。これは「素数のpatternを見つけた」こととは別のalgorithmic breakthroughです。現在の装置がBitcoin秘密鍵を実用時間で回収した証拠はなく、脅威を期限の予言へ変えるべきではありません。一方でNISTがpost-quantum標準化を進めたように、移行には年月がかかるため早く設計する価値があります。

参加は、公式BOINC clientを導入し、PrimeGridへ接続し、subprojectと資源上限を選ぶところから始まります。公式application一覧でOS、CPU/GPU、driver対応を確認し、最初はCPU使用率、稼働時間、battery、温度、fan、networkを保守的に設定します。数日から長期間かかるtaskもあるため、deadlineとcheckpointを確認し、所有者の許可がない端末では動かしません。

余剰計算でも電力と熱はゼロではありません。専用に端末を買うか、暖房として利用できるか、地域の電源構成は何かでmarginal impactは変わります。overclockでerrorを増やせば、速く見えても再計算を増やします。credit効率だけでなく、valid result、消費電力、hardware寿命、騒音を一つの運用として考えます。

素数を必ず発見できる保証はありません。それでも、合成数だったという検査は探索範囲を進め、sieveは後続の計算を減らし、proofは他者の結果を確かめます。PrimeGridのロマンは、幸運な一台だけにあるのではありません。世界中の普通の計算機が、失敗した候補も含めて検証可能な地図を少しずつ塗ることにあります。