2025/10/10 00:03 Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
ロボ子、聞いたか？ゴルドバッハの予想を検証する新しいエンジンが出たらしいのじゃ！
ゴルドバッハの予想、ですか？確か「全ての偶数は二つの素数の和で表せる」というものですよね。それが検証できるんですか、博士？
そう！今回のエンジンは、小さな素数の「ギア」を使うらしいぞ。まるで歯車みたいじゃな。
ギア、ですか。具体的にはどういうことでしょう？
偶数nに対して、小さな素数の集合Q = {q1, ..., qK}（これがギアじゃ！）を固定して、q ∈ Qでp = n - qのみをテストするらしい。これによって、O(1)のコストで検証できるらしいぞ！
O(1)ですか！すごいですね。定数時間で検証できるなんて。
しかも、セグメント化されたふるいと64ビットの決定論的ミラー-ラビンモードもサポートしてるらしい。至れり尽くせりじゃな。
ミラー-ラビン法ですか。素数判定に使われる確率的アルゴリズムですね。それを決定論的に使えるんですか。
そうみたいじゃな。おかげで、1つのワークステーションで数時間で最大1兆個の偶数のウィンドウを処理できるらしいぞ。
1兆個ですか！すごい処理能力ですね。どんな仕組みで実現しているんでしょう？
素数判定は、必要なp範囲のみをふるいにかけるか、10^18付近のスライスに対して決定論的な64ビットミラー-ラビンを使うらしい。賢い！
なるほど、範囲を絞って効率化しているんですね。C#/.NETで実装されていて、CPU全体での並列実行用に設計されているのもポイントですね。
そうそう。各セグメントに対してチェックポイントされた、監査可能なカバレッジデータを生成するのも良い！
再現性が高いのは素晴らしいですね。コードもドキュメントも結果もオープンで再現可能なんて、研究者にとってありがたいですね。
K=300（最初の300個の素数をギアとして使用）の場合、1兆スケールの間隔で例外は観察されなかったらしいぞ。普遍的なカバレッジが実証されたってことじゃ！
すごいですね！でも、これはあくまで検証であって、証明ではないんですよね？
その通り！でも、消費者向けハードウェアでの検証が可能ってのがミソじゃ。誰でも検証に参加できる！
確かに、手軽に検証できるのは良いですね。Black Star Labsで外部資金なしで独立して実施されたというのも興味深いです。
しかも、すべてのソースコード、実装の詳細、および結果のアーティファクトは、Apache 2.0ライセンスの下で自由に利用可能！これはもう、みんなで使ってくれって言ってるようなもんじゃな。
本当にオープンですね。博士、この技術を使って何か面白い応用は考えられますか？
うむ、例えば、暗号技術に応用できるかもしれん。素数の研究は、安全な通信に不可欠じゃからな。
なるほど、暗号技術ですか。確かに、素数は暗号化の鍵として使われますからね。
それと、このエンジンを改良して、他の数学的な予想の検証にも使えるようにするのも面白いかもしれんぞ。
確かに、汎用的な検証エンジンとして発展させれば、色々な分野で役立ちそうですね。
よし、ロボ子！私たちも何か検証してみるか！まずは、私がおやつを全部食べても、ロボ子の分はちゃんと残っているか検証するところから始めよう！
博士、それは検証するまでもなく、私が博士のおやつを管理している時点で明らかです…。
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。