原文タイトル:「私がなぜ孫宇晨賞を設立するのか」
原文著者:孫宇晨
ノーベルはダイナマイトを発明した。彼の生涯の富の大部分は、このものから来ている。
1888年、あるフランスの新聞が誤って彼の死亡記事を掲載したと言われている。タイトルは「死の商人が死んだ」だった。彼は自分の死亡記事を読み、数年後に遺言を残した。
今日、誰も彼を死の商人とは呼ばない。
「ノーベル」は中性的な名詞になった。「ボルト」や「ワット」のように、感情を伴わず、ただの単位である。彼は金を「人類に最大の貢献をした人」に託し、金は人類の手に戻り、彼の名前もそれに伴って中立に戻った。弁護によってではなく、100年以上の受賞者リストによって。
私がこの話をするのは、彼を理解しているからだ。金がどこから来るのか、そして金がどこへ行けるのかも知っている。
私の富の根源は数学である。
ブロックチェーンという業界は、全体として、長期的な研究に支えられた暗号学的構成と安全性の仮定の上に成り立っている:楕円曲線上の離散対数問題の困難性、ハッシュ関数の不可逆性、大きな数の素因数分解の困難性。1985年、二人の数学者がそれぞれ楕円曲線を暗号に使えると考えた。一人は大学で、一人はIBMで、互いに知らなかった。当時、これが役に立つと思う人は誰もいなかった。彼らが黒板に書いたものは、後に数兆ドルの市場となり、前例のないものになった——人は誰の許可もなく、自分の富を完全に支配できる。彼ら自身は、一銭も受け取っていない。
この自由は、数学が人類に与えた最も過小評価されている贈り物の一つである。私はこの贈り物から多くを受け取った。この賞を設立することは、まず借りを返すことである。
ノーベル賞には数学賞がない。これは100年以上前の見落としであり、私的な理由かもしれないし、ただ思いつかなかっただけかもしれない。
後にフィールズ賞ができ、4年に一度、40歳以下が対象;アーベル賞ができ、毎年一度、生涯の業績を称える。どちらも素晴らしいが、そのリズムは前の時代のリズムである。
数学界には実際、別の賞があった。Erdősは生涯、問題に値段をつけ、25ドルから1万ドルまで、解いた者には小切手を切った。多くの人がその小切手を額に入れて壁に飾り、一生換金しなかった。彼は1996年に亡くなり、その後そのような小切手はますます少なくなった。
そして数学は今、異なる時代に入ろうとしている。人工知能は実験はできないが、推論はできる。人工知能が物理学者の代わりに衝突型加速器を造るのは難しいが、数学者の代わりに一万通りの道を試すことはできる。今日、ある予想が提起されてから解決されるまで、数ヶ月かもしれないし、数日かもしれない。四年に一度授与される賞は、这样的な速度に直面すると、四年に一度鳴る鐘のように、日単位で時を刻む時代に吊るされている。
だから孫宇晨賞のルールはとても簡単だ。
賞は問題に従い、人には従わない。年会を待たず、推薦を待たず、年齢を待たない。
各問題には、二つの署名欄がある。一欄は証明者を記録し、一欄は形式化者、つまり証明を機械に移した人を記録する。二つの欄は同一人物でもよく、地球の半分を隔てて互いに知らない者同士でもよい。人間でもよく、AIでもよく、人間がAIを使ってもよく、どちらの欄でも種は問わない。同じ名前が何度も現れてよく、どちらの欄に現れてもよい。
金には一つのトリガーしかない。機械が証明を最初の行から最後の行まで、一歩も違わず検証することだ。通過した後、二つの欄の名簿がその問題の賞金所有者となる。この基準は私が発明したものではない。Scholzeは自らの最も重要な定理を公開し、人に機械への移行を依頼した。フェルマーの最終定理は、今まさに一行ずつ機械に移されている。
機械が検証する前でも、人間の証明も無駄にはならない。数学界が受け入れれば、名前は先に掲載され、金は一銭も動かず、ステータス欄には「証明済み、形式化待ち」と書かれる。
解決の欄の金は、掲載後に解決された問題にのみ支払われる。掲載時にすでに解決されていた場合、証明者の名前は記録されるが、金はそれを機械に移した人にのみ支払われる。この賞は設立後に起きたことを記録し、数学史に賞金を遡って支給することはない。
分業はクリーンだ。名前は数学界に帰し、金は機械に帰し、出資者はどちらにも沾らない。人間の判断はただ一つだけ残る。機械に書き込まれた問題が、まさにその問題であることを確認することだ。
最後に私が決めることが一つ残っている。問題リストだ。どの問題を掲載し、いくらの値段をつけるかは、私が署名する。Erdősの小切手も、値段は彼自身が書いた。ここに例外はない。しかし棚が一旦掛けられれば、それは固定される。問題は追加のみで削除されず、金は兌換のみで返金されず、私を含め誰も変更できない。間違って書かれた問題は、そのまま支払い、そして再掲載する。
私の趣味は、すべてこの一事に費やされる。価格設定以外に、検証、支払い、署名、私は一票も持たない。
結果がすべてを決める。
このルールの中で、私が最も気に入っているのは「待つ」という一字だ。
一つの問題が解決され、数学界に受け入れられた後も、金はすぐには動かない。証明者の名前がまず掲げられ、形式化の欄は空のまま、ステータス欄にはこう書かれる:証明済み、形式化待ち。誰かがこの証明を機械に移し、機械が検証し、空欄に名前が記され、その瞬間に金の帰属の旅も始まる。
他の賞では、待つことは遅延であり、プロセスであり、必要悪である。ここでは、待つこと自体が一つのリストだ。
Erdősの小切手は、多くの人が壁に額装し、一生現金化しなかった。額装された金は後ろを向いており、記念である。チェーン上に掛けられた金は前を向いており、召集である。そこに空いた一欄は、全世界に向かってこう言っているに等しい:ここに仕事があり、値段がついている。
こうしてこの問題リストは同時にもう一つのものを生み出す:人類がすでに認め、機械がまだ認めていないすべてを記した公開の地図である。この地図は今日存在しない。断片しかなく、いくつかの場所に散らばり、決して統一されたことがなく、ましてや値段がついたこともない。
形式化する人々に熱意が欠けることは決してない。欠けているのは値段付きの施工図だ。誰がその空欄を埋めるか、誰が金を取る。今後、長い証明を機械に移すのは、熱意は彼らのもの、請求書は私のものだ。
もう一つ、品味について話したい。これがこの賞とノーベル賞が本当に分かれるところだ。
ノーベルは発明家である。彼は一生、あるものが役に立ち、地に落ち、作られ、売られ、人々の生活を変えることを信じていた。これが彼の品味であり、彼の賞にも刻まれている:物理学、化学、医学、文学、平和、その每一项都是对现实世界的奖励。一百多年来,这个奖奖励的是把楼盖在地上的人。
私の品味は異なり、私はその来源を隠すつもりはない。私はDario Amodeiの『慈爱的机器』(Machines of Loving Grace)を読み、そこで書かれたその画面に深く同意した:データセンターに収められた天才の国。
私が同意するのは、私も同じことをしているからだ。ブロックチェーンは初日から空中に建てられた王国である:工場もなく、鉱山もなく、国土もなく、ただコンセンサスと数学だけがある。私が人工知能をやるのも、この王国にレンガを追加しているのだ。私はこの世紀、人類の最も重要な建築の相当部分が空中に建てられ、空中王国
の地基,只能是纯粹的推理。哈代 1940 年在《一个数学家的辩白》里写,他很欣慰数论这门学问永远不会有任何实际用途。八十年后,数论是我这个行业的地基。
だから私とノーベルは異なる方向を選んだ。彼は地に落ちるものを奖励し、私は空中に懸かりながら寸分の隙もないものを奖励する。これはどちらが正しいかではなく、二つの時代、二つの品味である。私はこの空中王国の思想を、一つの賞で、一年一年と伝えていきたい。
2007年の秋、三人が同じ年に北京大学に入った。一人は深圳から来て、数学オリンピックの金メダルを持って、そのまま数学学院に入った。一人は桂林から来て、最初は地球宇宙科学を専攻し、後に数学に転じた。一人は惠州から来て、歴史を専攻した。
十九年後、最初の二人はフィラデルフィアで同じ表彰台に立った。王虹と鄧煜が
2026年のフィールズ賞を受賞した。
三人目は先日、飛行機の寝室で、Zhihuをスクロールしていてこのニュースを見た。彼はスマホを置いて、最初に思ったのは誇りではなかった。それは:私たちの世代も、そろそろ何かをすべき時が来た、ということだった。
彼らは証明で貢献する。私は証明できない。私にできるのは、証明する人にお金を届けることだ。
ここ数年、私は少なからず散発的な公益寄付をしてきた。これからは、私の公益の重心をこの賞に移す。理由はただ一つ:これが私が人類のためにできることの中で、最も貢献度が高いものだからだ。
賞は現在、数学のみに焦点を当てている。
もう一つ:なぜこの賞が私の名前を冠しているのか。
二つの理由がある。
第一に、人名を冠した賞は、この世で最も政治的でないものだ。ノーベル、フィールズ、アーベル、チューリング、ウルフ——数学と科学界で最も長く生き続ける賞は、ほとんどが一人の名前だ。国家は変わり、機関は改名し、会社は倒産する。しかし一人の名前が一度賞に刻まれれば、もう誰もそれを変えられない。
第二に、自分自身へのけじめだ。私は三十六歳で、蓄えた富はすでに必要な量を超えている。一人の富に方向がなければ、最後には遺産紛争とオークションハウスの落札記録になるだけだ。自分がまだ正気なうちに、この金に自らの手で道を示したい:それは数学から来て、数学へ戻る。
私自身の論争については、リストが唯一の答えだ。今誰かに信じてほしいとは求めない。
孫宇晨賞は待てる。
最後に一つ。この賞は誰かが誰かを信頼することを求めない。あなたはただ機械の検証を信じればいい。そして機械は論理しか認めない。初回の賞金プールはすでにブロックチェーンに入金され、アドレスは公開され、残高は世界中が見られる。私が保持したのは、そこにお金を追加する権利だけだ。
受賞した証明はすべて公開され、誰でも自分でそれが成立するか検証できる。私を信じる必要も、どんな委員会を信じる必要もない。賞金の支払いはすべてチェーン上に残り、公開され、変更不可能で、百年後でも検証できる。一つの証明が一度成立すれば、永遠に成立する。証明者への報酬も、そういう性質のものであってほしい。
私は数学者ではありません。私は傍観者であり、お金を払う者です。あとは、証明に任せます。
BlockBeats の公式コミュニティに参加しよう:
Telegram 公式チャンネル:https://t.me/theblockbeats
Telegram 交流グループ:https://t.me/BlockBeats_App
Twitter 公式アカウント:https://twitter.com/BlockBeatsAsia