I
アルフレッド・ノーベルはダイナマイトを発明し、その大部分の富を築いた。
1888 年、あるフランスの新聞が誤って彼の訃報を「死の商人、死去」という見出しで掲載したという逸話がある。ノーベルは自分の訃報を読み、数年後に遺言書を作成した。
今日、彼を「死の商人」と呼ぶ者はいない。
「ノーベル」は、「ボルト」や「ワット」と同様に中立的な用語となった——感情を排し、単なる単位として。彼は「人類に最大の恩恵をもたらした者たち」のために自らの富を残した。彼の富は人類へ還元され、彼の名声は自己正当化ではなく、世紀にわたる受賞者のリストによって中立性を取り戻したのだ。
私がこの話を共有するのは、彼を理解しているからだ。私は富の出所と、それが向かう先を知っている。
II
私の富は数学の上に築かれた。
ブロックチェーン業界全体は、いくつかのよく研究された暗号学的構成要素と数学的仮定に基づいている：楕円曲線上での離散対数問題の難解性、ハッシュ関数の不可逆性、そして巨大数の素因数分解の計算量的困難さ。1985 年、二人の数学者が独立して、楕円曲線を暗号に応用するというアイデアを思いついた——一人は大学で、もう一人は IBM で、互いの存在を全く知らずに。当時、誰も実用的な価値を見出していなかった。彼らが黒板に描いたスケッチは、後に兆ドル規模の市場へと進化し、個人に前例のないものを与えた：真の意味での、許可不要な金融の主権を。しかし、彼ら二人の数学者は、自分が可能にした革命から一銭も得ることはなかった。
この自由は、数学が人類にもたらした最も過小評価されている贈り物の一つだ。私はこの贈り物から多大なものを受け取ってきた。この賞を設立することは、何よりもまず、その基盤への返礼なのだ。
III
数学にはノーベル賞がない。この欠落は 1 世紀以上前から続いている——個人的な理由によるものかもしれないし、単なる見落としかもしれない。
その後、40 歳未満の数学者に 4 年ごとに授与されるフィールズ賞と、生涯の功績を称えて毎年授与されるアーベル賞が登場した。どちらも卓越しているが、そのリズムは過ぎ去った時代のものだ。
しかし、数学界には独自の伝統があった。ポール・エルデシュは人生をかけて未解決の数学的問題に懸賞金をかけ、25 ドルから 10,000 ドルまでを提供した。問題を解いた者は誰でも彼から小切手を受け取った。多くの者がこれらの小切手を額縁に入れて飾り、生前に現金化することはなかった。エルデシュは 1996 年に亡くなり、それ以来、こうした懸賞金は希少なものとなった。
数学は今、まったく新しい時代に入ろうとしている。人工知能は物理実験を行うことはできないが、論理推論においては優れている。物理学者のために粒子加速器を構築することは難しいかもしれないが、数学者のために一万通りの経路を探求することはできる。今日では、予想を提唱してから証明するまでの期間は、数ヶ月、あるいは数日ということもある。このような前例のないスピードに対して、4 年ごとに授与される賞は、日々変化する世界の中で遅く鳴る鐘のようなものだ。
IV
そのため、Justin Sun Prize の設計は極めてシンプルだ。
この賞は人物ではなく、解答を報酬とする。年次ガラパーティーもなく、官僚的な推薦手続きもなく、年齢制限もない。
すべての課題は、二つの異なる貢献者を認識する：証明者と形式化担当者——証明を機械検証可能な形式に変換する者だ。これらの役割は同じ人が担ってもよいし、地球の裏側にいる見知らぬ人が担ってもよい。人間でも AI でも、そのハイブリッドでも構わない——私が気にするのは結果だけであり、貢献者が人間か機械かは問わない。同じ名前が、獲得した枠において何度でも登場してもよい。
支払いには一つのトリガーしかない：機械が最初の行から最後の行まで、エラーなしに証明を検証しなければならない。検証に合格すれば、二つの欄に記載された者がその問題に対する賞金の所有者となる。
私はこの基準を発明したのではない——ペーター・ショルツは画期的な定理をオンラインで公開し、コミュニティに機械検証のための形式化を呼びかけた；フェルマーの最終定理は現在、コードへと一行ずつ翻訳されている最中だ。
しかし、人間の功績は機械が作業を完了するずっと前に認められる。数学コミュニティが証明を受け入れれば、証明者の名前は公式に認知される。資金はロックされたままとなり、ステータスは「証明済み、形式化待ち」と更新される。
問題解決の懸賞金は、公式登録簿に追加された後に解決された課題にのみ適用される。もし問題がすでに解決済みの状態で含まれた場合、証明者の名前は記録されるが、賞金は完全に機械向けに形式化した者に渡される。この賞は歴史が展開する様子を記録するものであり、すでに完了した仕事に対して遡及的に賞を出すことはない。
境界線は明確に引かれている：クレジットは数学コミュニティに帰属し、賞金は機械に帰属し、資金提供者は両方から厳格に独立を保つ。人間の判断はただ一つのことだけに留保される：機械にコード化された問題が確かに正しい問題であることを確認すること。
私の権限はただ一つのことから始まり、終わる：リストである。どの課題が追加され、どのような懸賞金が付随するか——それは私の単独裁量にある。エルデシュは自ら小切手の金額を書き込み、私はその伝統を破る理由を見出せない。しかし一度懸賞金がリストされると、それは固定される：問題は追加のみが可能で削除はできず、資金は支払われるのみで、資金提供者によって引き出すことはできない。
私を含め、誰もこれを改ざんすることはできない。もし課題の設定が誤っていた場合、懸賞金は支払われ、修正版が再リストされる。
私の個人的な関心はこの単一のタスクに完全に集中している。懸賞金の価格設定を除けば、検証、支払い、または名前の帰属について投票権はない。
結果がすべてを語る。
V
これらの規則で最も魅力的なのは「待ち時間」だ。
問題が解決され、数学コミュニティに受け入れられた後、賞金は直ちに授与されない。まず証明者の名前が上がり、形式化欄は空白のまま、ステータスは「証明済み、形式化待ち」と表示される。誰かがその証明を形式化し、機械がそれを検証すると、その人の名前が空白欄に入力され、賞金の所有権確立のプロセスがその瞬間に始まる。
他の賞では、待ち時間は死んだ時間——官僚的なプロセスであり、必要悪だ。ここでは、待ち時間そのものが、実行すべきタスクのオープンな在庫リストとなる。
多くの人々がエルデシュの小切手を壁に飾り、現金化しなかった。現金化されない小切手は過去への記念碑だが、オンチェーンでロックされた賞金は未来への触媒だ。その空白のスロットは事実上、世界に向けてこう告げている：歴史的なタスクが待っており、そこには懸賞金がかかっていると。
この問題リストからは、はるかに大きなものが育つ：公的な地図——人類が受け入れたが、機械はまだ検証していないすべてのものを記述する地図だ。そのような地図は今日存在しない。断片として、ばらばらのプラットフォームに散在しているだけで——統一されておらず、もちろん値札も付いていない。
形式化に取り組む人々は情熱を欠いたことがない；彼らが欠いているのは、明確な懸賞金が付いた青写真だ。懸賞金はタスクを完了した者に渡る。今日以降、長い証明を機械に投入するための情熱は彼らのものだが、財政的支援は私の責任だ。
VI
指針となる哲学についても語りたい。ここがこの賞がノーベル賞と真に異なる点だ。
ノーベルは発明家だった。彼は生涯を通じて、物は有用であるべきだと信じていた——現実社会に根を下ろし、構築され、販売され、人々の生き方を変えるべきだと。それが彼の指針哲学であり、彼の名を冠した賞——物理学、化学、医学、文学、平和——に刻み込まれている。それぞれが、具体的で現実世界への影響を持つ仕事を報酬とする。1 世紀以上にわたり、ノーベル賞は堅実な地面の上で構築する者たちを称えてきた。
私の指針哲学は異なり、その起源を隠す理由も見当たらない。私はダリオ・アモデイのエッセイ『Machines of Loving Grace』を読み、彼が描くビジョン——データセンターの中に住む天才たちの国家——に共感している。
私はそのビジョンに共感する。なぜなら、私は同じ究極目標に向かって働いているからだ。当初から、ブロックチェーンは完全に抽象的な領域で構築されてきた——工場も鉱山も領土もなく、合意形成と数学だけがある。AI における私の仕事は、その領域を拡張するもう一つの方法に過ぎない。今世紀、人類にとって最も重要な構造の大部分はデジタル領域に存在すると私は信じており、純粋な推論こそが、そのような領域を構築するための唯一の基盤だ。1940 年、G.H.ハーディは『A Mathematician’s Apology』の中で、数論が決して実用的用途を持たないことを喜んでいると書いた。80 年後、数論は私の業界の基盤となっている。
ノーベルと私は異なる方向を選んだ。彼は具体的で現実世界への応用を報酬とし、私は純粋に理論的なもの——完璧な論理的精度で構築された抽象的構造——を報酬とする。どちらのアプローチも他より優れているわけではない；これらは二つの時代と二つの異なるパラダイムを反映している。私はこの抽象的で論理駆動型の王国のビジョンを、賞を通じて年々継承していきたい。
VII
2007 年の秋、3 人の学生が北京大学に同年入学した。一人は深圳から来たオリンピック金メダリストで、数理科学部に進んだ。もう一人は桂林から来て、地球空間科学部から始め、数学へ転部した。3 人目は恵州出身で歴史学を専攻した。
19 年後、そのうちの 2 人がフィラデルフィアで舞台を共有した。王虹（Wang Hong）と鄧煜（Deng Yu）が 2026 年フィールズ賞を受賞した。
3 人目は最近、プライベートジェットの機内でオンラインニュースを見ていた。彼はスマホを置いた。最初の考えは誇りではなかった。こう思ったのだ：我々の世代は成人した。自分たちの貢献をする時が来たと。
彼らの貢献は定理を証明することだ。私の貢献は、彼らがそれに対して報われることを保証することだ。
VIII
長年にわたり、私の慈善活動は様々なイニシアチブに分散していた。今後、私はこの賞にすべての焦点を集中させる——なぜなら、これは人類に対する私の最も重要な潜在的貢献を表しているからだ。
現時点では、これは数学賞だ。
IX
最後に、なぜこの賞が私の名前を冠するのかについての理由を二つ挙げる。
第一に、人名を冠した賞は、組織政治を超える数少ないものの一つだ。ノーベル、フィールズ、アーベル、チューリング、ウォルフ——数学および科学分野で最も永続的な賞は、ほぼすべて個人の名を冠している。国は変わり、組織はリブランドし、企業は消滅する。一度賞に名前が載れば、それは残る。誰も書き換えることはできない。
第二に、私自身への義務だ。私は 36 歳だ。すでに蓄積した富は必要な分以上にある。目的のない富は相続紛争を生み、単なるオークションハウスの記録に成り下がる。健全な精神と能力があるうちに、私はこの富を自分で導きたい：それは数学から生まれ、数学へ還る。
私をめぐるあらゆる公衆の注視については、受賞者のリストが雄弁に語らせることとしよう。今日、誰かが私の言葉を信じることを期待はしない。
Justin Sun Prize は時の試練に耐えるように構築されている。
X
結びにあたり、この賞は人々の間の信頼を必要としない。検証は数学的だ。機械は論理にのみ従う。初期の賞金プールはすでにブロックチェーンへ送金済みだ。アドレスは公開されており、誰でも残高を確認できる。私はさらに資金を追加する権利のみを保持する。
すべての勝利した証明は公開され、誰でも自分で調べることができる。信頼は不要だ——私に対しても、委員会に対しても。すべての支払いはチェーン上に残り——公開され、不変であり、100 年後でも検証可能だ。一度証明が確立されれば、それは永遠に残る。証明者に与えられる報酬も、同じような永続性を反映することを願う。
私は数学者ではない。単なる観察者であり、パトロンだ。あとは証明に委ねよう。
Justin Sun
Justin Sun Prize に関する詳細情報は、以下の公式チャンネルをご覧ください：
公式サイト: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
