作者：孫宇晨
一
ノーベルはダイナマイトを発明した。彼の生涯の富の大部分は、このダイナマイトから生まれた。
1888年、あるフランスの新聞が彼の死亡記事を誤って掲載し、その見出しは「死の商人、死す」だったと言われている。彼は自身の死亡記事を読み、数年後に遺言を残した。
今日、誰も彼を死の商人とは呼ばない。
「ノーベル」は中立的な名詞となった。「ボルト」や「ワット」のように、感情を伴わず、単なる単位である。彼は資金を「人類に最大の貢献をした者」に託し、金は人類全体の手に戻り、彼の名もまた中立性を取り戻した。それは弁護によるものではなく、100年以上にわたる受賞者リストによるものだ。
この話をするのは、私が彼を理解しているからだ。私は金がどこから来るのか、そして金がどこへ行くのかを知っている。
二
私の富の根源は数学である。
ブロックチェーンという業界は全体として、いくつかの長期研究に支えられた暗号学的構成と安全性の仮定の上に成り立っている。すなわち、楕円曲線上の離散対数の困難性、ハッシュ関数の不可逆性、巨大な数の分解の困難性である。1985年、二人の数学者がそれぞれ楕円曲線を暗号に利用できると考えた。一人は大学に、もう一人はIBMに所属し、互いに面識はなかった。当時、これが役に立つと思った者はいなかった。彼らが黒板に書き記したものは、後に数兆ドル規模の市場となり、前例のないもの、すなわち、個人が誰の許可も必要とせずに自らの富を完全に管理できるものを生み出した。彼ら自身は、一銭も受け取っていない。
この自由は、数学が人類に与えた最も過小評価された贈り物の一つである。私はこの贈り物から多くを受け取った。この賞を設立するのは、まずその恩返しである。
三
ノーベル賞には数学賞がない。これは100年以上前の見落としであり、おそらく個人的な理由か、単に思いつかなかったのだろう。
後にフィールズ賞ができた。4年に一度、40歳以下が対象である。アーベル賞もできた。毎年一回、生涯の業績を称える。どちらも素晴らしいが、そのリズムは前の時代のリズムである。
数学界には、実は別の賞があった。エルデシュは生涯にわたって問題に値段を付け、25ドルから1万ドルまで、解いた者に小切手を切った。多くの人がその小切手を額に入れて壁に飾り、生涯換金しなかった。彼が1996年に亡くなった後、そのような小切手はほとんど発行されなくなった。
そして数学は、異なる時代に入りつつある。人工知能は物理実験はできないが、推論はできる。人工知能が物理学者のために衝突型加速器を造るのは難しいが、数学者の代わりに一万通りの道を試すことはできる。今日、ある予想が提示されてから解決されるまで、数ヶ月かもしれないし、数日かもしれない。4年に一度の賞は、このような速度に直面して、一日単位で計時される時代に、4年に一度しか鳴らない鐘のようなものだ。
四
だから、孫宇晨賞のルールは非常にシンプルである。
賞は問題に付随し、人には付随しない。年次総会を待たず、推薦を待たず、年齢を待たない。
各問題には、二つの欄に名前が記される。一つの欄は証明者を記録し、もう一つの欄は形式化者、すなわち証明を機械に移す者を記録する。二つの欄は同一人物でも構わないし、地球の反対側にいて互いに面識がなくても構わない。人間でも、AIでも、人間がAIを使っても構わない。どの欄であれ、私は種を問わない。同じ名前が何度も現れてもよく、どの欄に現れても構わない。
金の条件はただ一つ：機械が証明を一行目から最後の行まで検証し、一歩の誤差もないこと。通過後、二つの欄に記載されたリストが、その問題の賞金の所有者となる。この基準は私が発明したものではない。ショルツェは自身の最も重要な定理を公開し、人々に機械への移植を依頼した。フェルマーの最終定理も、今まさに人々によって一行ずつ機械に移植されているところである。
機械による検証が行われる前でも、人間による証明が無駄になるわけではない。数学界が受け入れれば、まず名前が掲載される。金は一銭も動かず、ステータス欄には「証明済み、形式化待ち」と表示される。
問題を解く欄の金は、上架された後に解決された問題に対してのみ支払われる。上架時に既に解決されていた場合、証明者の名前は記録されるが、金はそれを機械に移植した者にのみ支払われる。この賞は、その設立後に起こったことを記録し、数学史に遡って賞金を支払うことはない。
役割分担は明確である：名前は数学界に、金は機械に、資金提供者はどちらにも関与しない。人間の判断はただ一つ、機械に書き込まれた問題が、その問題であることを確認することだけである。
私が決定権を持つ最後の事項が一つ残っている：問題リストである。どの問題を上架するか、いくらの値段を付けるかは、私の署名による。エルデシュの小切手も、値段は彼自身が書いたものであり、ここで例外を装うつもりはない。しかし、一度棚に掛けられたら、ロックされる：問題は追加のみで削減はなく、金は支払いのみで返金はなく、私を含めて誰も変更できない。間違って書かれた問題も、支払われ、その後再掲載される。
私のこだわりは、全てこの一事に注がれている。価格設定以外の、検証、支払い、名前の掲載については、私に一票もない。
結果が全てを決める。
五
このルールの中で、私が最も気に入っているのは「待つ」という一字である。
ある問題が解決され、数学界に受け入れられた後、金はすぐには動かない。まず証明者の名前が掲載され、形式化の欄は空欄のままで、ステータス欄には「証明済み、形式化待ち」と表示される。誰かがこの証明を機械に移植し、機械が検証し、空欄に名前が記されると、その瞬間に金の帰属の旅が始まる。
他の賞では、「待つ」ことは遅延であり、プロセスであり、必要悪である。ここでは、「待つ」こと自体が一つのリストである。
エルデシュの小切手は、多くの人が壁に飾り、生涯換金しなかった。飾られた金は過去を向き、記念である。チェーン上に掛けられた金は未来を向き、召集である。空いたままの欄は、全世界に対してこう言っている：ここに仕事があり、値段が付いている、と。
こうして、この問題リストは同時に別のものを生み出す：人類が既に認めたが、機械がまだ認めていない全てを示す、公開された地図である。この地図は今日、存在しない。断片がいくつかの場所に散らばっており、一度も統一されたことがなく、ましてや値段が付けられたこともない。
形式化を志す者に欠けているのは熱意ではなく、値段の付いた施工図である。誰がその空欄を埋めるか、誰が金を受け取るか。今後、長大な証明を機械に移植するにあたり、熱意は彼らのもの、請求書は私のものだ。
六
私はまた、趣味について語りたい。これがこの賞とノーベル賞を真に分かつ点である。
ノーベルは発明家だった。彼は生涯、物事は有用であり、地に足がつき、作り出され、売られ、人々の生活を変えるべきだと信じていた。これが彼の趣味であり、彼の賞にも刻まれている：物理学、化学、医学、文学、平和、全ては現実世界への褒賞である。100年以上にわたり、この賞は地上に楼閣を築く者を褒賞してきた。
私の趣味は異なり、その源泉を隠すつもりはない。私はダリオ・アモデイの『慈愛の機械』（Machines of Loving Grace）を読み、その中で描かれた光景、すなわちデータセンターに収められた天才の国に深く同意した。
私が同意するのは、私も同じことをしているからだ。ブロックチェーンは初日から空中に築かれた王国であった：工場もなく、鉱山もなく、国土もなく、コンセンサスと数学だけがある。私が人工知能に取り組むのも、この王国に煉瓦を積み上げることである。私は、今世紀において、人類の最も重要な建築物のかなりの部分が空中に築かれると信じている。そして空中の王国の基礎は、純粋な推論のみであり得る。ハーディは1940年に『ある数学者の弁明』の中で、数論という学問が決して実用的な用途を持たないことに安心していると書いた。80年後、数論は私の業界の基礎となっている。
だから私はノーベルと異なる方向を選んだ。彼は地に足のついたものを褒賞し、私は宙に浮いているが厳密に組み合わされたものを褒賞する。これはどちらが正しいか間違っているかではなく、二つの時代、二つの趣味である。私はこの空中の王国の思想を、一つの賞によって、年々伝えていきたいと考えている。
七
2007年の秋、三人が同じ年に北京大学に入った。一人は深圳から来て、数学オリンピックの金メダルを持ち、直接数学学院に入った。一人は桂林から来て、まず地球惑星科学を学び、後に数学に転向した。一人は恵州から来て、歴史を学んだ。
19年後、最初の二人はフィラデルフィアで同じ表彰台に立った。王虹と鄧煜は2026年のフィールズ賞を受賞した。
三人目の人物は、先日、飛行機の個室で知乎（中国のQ&Aサイト）を見ていて、このニュースを目にした。彼はスマートフォンを置き、最初に浮かんだのは誇りではなかった。それは、「我々の世代も、何かをすべき時が来たのだ」ということだった。
彼らは証明によって貢献する。私は証明ができない。私にできることは、証明する人々が金を受け取れるようにすることだ。
八
過去数年間、私は散発的にいくつかの慈善寄付を行ってきた。今から、私の慈善活動の重点はこの賞に移る。理由はただ一つ：これが、私が人類のためにできることの中で、最も貢献の大きいものだからである。
賞は現在、数学のみを対象とする。
九
もう一つ、この賞がなぜ私の名前を冠しているのかについて。
二つの理由がある。
第一に、人名を冠した賞は、この世で最も非政治的なものである。ノーベル、フィールズ、アーベル、チューリング、ウルフ、数学と科学の世界で最も長く続いている賞は、ほとんどが個人の名前である。国家は変わり、組織は改名され、企業は倒産するが、個人の名前が一度賞に刻まれれば、誰もそれを修正することはできない。
第二に、それは自分自身へのけじめである。私は36歳で、必要な量を超える富を蓄積した。個人の富に方向性がなければ、最終的には遺産争いとオークション・ハウスの落札記録にしかならない。私は自分がまだ冷静なうちに、この金に自らの手で道筋を示したい：それは数学から来て、数学へと還る。
私自身の論争については、リストが唯一の答えである。私は誰にも今すぐ信じることを求めない。
孫宇晨賞は待つことができる。
十
最後に一つ。この賞は、誰に対しても誰かを信頼することを要求しない。あなたは機械の検証を信頼するだけでよく、機械は論理のみを認識する。初回の賞金プールは既にブロックチェーンに組み込まれており、アドレスは公開され、残高は全世界から確認可能である。私は金を追加する権利のみを保持している。
受賞した証明は全て公開され、誰でもそれが成立するかどうかを自分で検証できる。私を信頼する必要も、いかなる委員会を信頼する必要もない。全ての賞金の支払いはチェーン上に残り、公開され、変更不可能であり、100年後でも検証可能である。ひとたび証明が成立すれば、永遠に成立する。私は証明者への報酬も、そのような性質のものであることを望む。
私は数学者ではない。私は傍観者であり、金を支払う。残りは証明に委ねる。
孫宇晨
