なぜ孫宇晨賞を設立するのか

一
ノーベルはダイナマイトを発明した。彼の生涯の財産の大部分は、この発明から得られたものだ。
1888年、あるフランスの新聞が彼の死亡記事を誤って掲載し、見出しを「死の商人、死す」としたという。彼は自分の死亡記事を読み、数年後に遺言を残した。
今日、彼を死の商人と呼ぶ人はもういない。
「ノーベル」は「ボルト」や「ワット」と同じように、感情を伴わない中立的な名詞、単なる単位になった。彼は「人類に最大の貢献をした人々」にお金を託し、そのお金は人類の手に戻り、彼の名前もまた中立へと回帰した。それは弁明によってではなく、百年以上にわたる受賞者のリストによって成し遂げられた。
私がこの話をするのは、彼を理解しているからだ。お金がどこから来たのかも、お金がどこへ行けるのかも知っている。

二
私の財産の根源は、数学にある。
ブロックチェーンという業界全体は、いくつかの長期的な研究に支えられた暗号学的構成と安全性の仮定の上に成り立っている。楕円曲線上の離散対数問題は解くのが難しく、ハッシュ関数は逆算できず、大きな数は素因数分解が難しい。1985年、二人の数学者がそれぞれ、楕円曲線を暗号に使えると考えついた。一人は大学で、もう一人はIBMで、互いに面識はなかった。その年、このことに有用性を見いだす人は誰もいなかった。彼らが黒板に書いたものは、後に1兆ドル規模の市場となり、前例のないものとなった――人が誰の許可も必要とせず、自分の財産を完全に支配できるようになったのだ。彼ら自身は、一銭も受け取らなかった。
この自由は、数学が人類に贈った、最も過小評価されている贈り物の一つだ。私はこの贈り物から多くを得た。この賞を設立するのは、まずその借りを返すためだ。

三
ノーベル賞には数学賞がない。これは百年以上前の見落としであり、個人的な理由があったのかもしれないし、単に思い至らなかっただけかもしれない。
その後、4年に一度、40歳未満を対象とするフィールズ賞が生まれ、毎年、生涯の業績を称えるアーベル賞が生まれた。どちらも素晴らしいが、そのリズムは前の時代のリズムだ。
数学界には、実は別の賞があった。Erdősは生涯、問題に25ドルから1万ドルまでの値札を付け、誰かが解けば小切手を切った。多くの人がその小切手を額に入れて壁に飾り、生涯換金しなかった。彼が1996年に亡くなった後、そのような小切手が切られることはますます少なくなった。
しかし数学は、異なる時代に入りつつある。人工知能は実験を行えないが、導出はできる。人工知能が物理学者のために衝突型加速器を造るのは難しいが、数学者の代わりに1万通りの道を試すことはできる。今日、ある予想が提起されてから解決されるまで、数か月かかることもあれば、数日で済むこともある。4年に一度授与される賞は、これほど速い速度を前にすると、日単位で時を刻む時代に置かれた、4年に一度だけ鳴る鐘のようなものだ。

四
だから孫宇晨賞のルールは非常にシンプルだ。
賞は人ではなく、問題に付随する。年次総会を待たず、推薦を待たず、年齢も問わない。
各問題には、二つの署名欄を設ける。一つは証明者、もう一つは形式化した者、つまり証明を機械に移した者を記録する欄だ。二つの欄が同じ人物でもよいし、地球の反対側にいて互いに面識がなくてもよい。人間でも、AIでも、人間がAIを使ってもよい。どちらの欄でも、私は種を問わない。同じ名前が何度現れてもよく、どちらの欄に現れてもよい。
お金を動かすトリガーは一つだけだ。機械が証明を最初の行から最後の行まで、一歩の誤りもなく検証すること。通過した後、二つの欄に記された名前が、その問題の賞金の全受領者となる。この基準は私が発明したものではない。Scholzeは自らの最も重要な定理を掲げ、それを機械に移す人を募った。フェルマーの最終定理は、今まさに一行ずつ機械の中へ移されている。
機械が検証する前でも、人間の証明が無駄になるわけではない。数学界が受け入れれば、名前は先に掲げられ、お金は一分たりとも動かず、ステータス欄には「証明済み、形式化待ち」と記される。
問題を解いた欄の賞金は、掲載後に解決された問題にのみ支払われる。掲載時点ですでに解決されていた問題は、証明者の名前を記録するだけで、お金はそれを機械に移した者にのみ支払われる。この賞が記録するのは、設立後に起きた出来事であり、数学史に遡って賞金を支給するものではない。
分業は明確だ。名前は数学界に帰属し、お金は機械に帰属し、出資者は両方に関与しない。人間の判断に残るのは一つだけだ。機械に書き込まれた問題が、まさにその問題であることを確認すること。
最後に、私が決めることが一つだけ残っている。問題リストだ。どの問題を掲載し、いくらの賞金を設定するかは、私が署名する。Erdősの小切手も、金額は彼自身が書いた。ここで例外を装うつもりはない。しかし、いったん棚に掲げたら、変更不能になる。問題は追加するだけで削除せず、お金は換金するだけで返還しない。私を含め、誰にも変更できない。間違って書かれた問題にも、予定どおり支払ったうえで、再掲載する。
私の好みは、すべてこの一つのことに注ぎ込む。価格設定を除けば、検証、支払い、名前の掲載について、私は一票も持たない。
結果がすべてを決める。

五
このルールの中で、私が最も気に入っているのは「待つ」という一文字だ。
ある問題が解決され、数学界に受け入れられた後も、お金はすぐには動かない。証明者の名前が先に掲げられ、形式化の欄は空白のまま、ステータス欄には「証明済み、形式化待ち」と記される。誰かがこの証明を機械に移し、機械が検証したとき、空欄に名前が入り、お金の帰属をめぐる旅もその瞬間に始まる。
ほかの賞において、待つことは遅延であり、手続きであり、必要悪だ。ここでは、待つことそのものが一つのリストになる。
Erdősの小切手は、多くの人が壁に額装して飾り、生涯換金しなかった。額装されたお金が過去を向けば、それは記念だ。チェーン上に掲げられたお金が未来を向けば、それは呼びかけになる。そこに空いている欄は、世界中に向かってこう告げるのと同じだ。ここには仕事があり、価値がある。
こうしてこの問題リストには、同時に別のものが育つ。人類がすでに認め、機械がまだ認めていないすべてのものを記した、公開された地図だ。この地図は今日、まだ存在しない。いくつかの場所に断片として散在しているだけで、統一されたことはなく、まして値札が付いたこともない。
形式化に取り組む人々に熱意が欠けていることはない。足りないのは、値札の付いた施工図だ。その空欄を埋めた者が、お金を受け取る。これからは、長い証明を機械に移す熱意は彼らのもの、請求書は私のものだ。$ETH

‌#Gate打金狗獨家支持0Gas交易