孙割刚刚在 X 发布推文
なぜ私は「孫宇晨賞」を設立するのか
一
ノーベルは爆薬を発明した。彼の一生の富の大部分は、その“もの”によってもたらされた。
1888年に、フランスの新聞が彼の訃報を誤って送った——見出しは「死の商人が死んだ」。彼はそれを読んだ。そして数年後、遺言を立てた。
今日では誰も彼を「死の商人」とは呼ばない。
「ノーベル」は、ボルトやワットのような、中性的な名詞になった。そこに感情はなく、ただの単位だ。彼は金を「人類に最大の貢献をした人」に託し、その金は人類の手に戻った。すると彼の名前も、弁護によってではなく、100年以上の受賞者リストによって中立へと回帰した。
私がこの話をするのは、私は彼を理解しているからだ。金がどこから来るのかを知っているし、金がどこへ行き得るのかも知っている。
二
私の富の根源は数学だ。
ブロックチェーンというこの業界全体は、いくつかの長期研究に支えられた暗号学的構成と安全性の仮定の上に築かれている：楕円曲線上の離散対数は解けない、ハッシュ関数は不可逆である、大きな数は因数分解が難しい。1985年、2人の数学者がそれぞれ、楕円曲線を暗号に使えると考えた。1人は大学で、もう1人はIBMで働いており、互いを知らなかった。その年、そのことが役に立つとは誰も思っていなかった。彼らが黒板に書いたものは、のちに1兆ドル規模の市場になった。さらに、それは未曾有のものになった——誰も許可を必要とせずに、自分の富を完全に支配できるという形だ。彼ら自身は、1銭も受け取らなかった。
この自由は、数学が人類に送った最も過小評価された贈り物の一つだ。私はこの贈り物から多くを持ち帰った。この賞を設立するのは、まず借りを返すためだ。
三
ノーベル賞には数学賞がない。100年以上前の、あるいは手落ちであり、たぶん私的な事情があったのかもしれないし、あるいは単に思い至らなかっただけなのかもしれない。
その後、4年に1度のフェルマーンズ賞が生まれた。40歳以下が対象だ。さらに、アーベル賞が毎年生まれ、生涯の業績をたたえる。それらはいずれも良い。しかし、そのリズムは、ひとつ前の時代のリズムだ。
実は、数学界にも別の種類の賞があった。Erdősは生涯、問題に値札を付けた。25ドルから1万ドルまで。解けた者には小切手を切った。多くの人が小切手を額縁に入れて壁に飾り、一生換金しなかった。彼が1996年に亡くなると、その小切手が切られる回数はしだいに減っていった。
一方で、数学は別の時代へ入っている。AIは実験はできないが、導出はできる。AIは物理学者のために衝突型加速器を作るのは難しくても、数学者のために1万本の道筋を試すことはできる。今日では、ある予想が提示されてから解決されるまでが、数か月の場合もあれば、数日で済む場合もある。4年に一度の賞が、こうした速度に直面すると、4年ごとに打つ鐘が、日単位で時を刻む時代に掛けられているように感じられる。
四
だから、孫宇晨賞のルールはとても単純だ。
賞は“題目”に従い、“人”に従わない。年会にも、指名にも、年齢にも待たない。
各問題には2つの欄がある。1つは証明者、もう1つは形式化者——証明を機械の中へ移した人を記す。2つの欄は同じ人物でもよいし、半地球ほど離れて互いに知らない間柄でもよい。人でもよい、AIでもよい、人がAIを使う場合でもよい。どちらの欄がどの種であるかは私は気にしない。同じ名前が何度も出てきてもいい。出現する欄はどちらでもよい。
お金にはトリガーがひとつだけある。機械が証明を最初の行から最後の行まで、一歩も違えず照合すること。通った後、2つの欄に記された名簿こそが、その問題の賞金の受領者となる。この基準は私が発明したものではない。Scholzeは、自分の最重要定理を掲げ、誰かに機械へ移してもらった。フェルマーの最終定理は——いままさに、1行ずつ移し込まれている。
機械が照合する前に、人間の証明が無駄になることはない。数学界は受け入れる。名前は先に掲げられ、金は一銭も動かず、ステータス欄にはこう書かれる：「証明済み、形式化待ち」。
問題を解いた欄のお金は、“アップロードされた後に解決された問題”に対してのみ支払われる。アップロード時点ですでに解決済みなら、証明者の名前はそのまま記されるが、お金は“それを機械へ移した人”にだけ支払われる。この賞は、設立後に起きたことを記録するものであって、数学史に対してボーナスを追加発行するものではない。
分業はきれいだ。名前は数学界へ、金は機械へ。出資者は双方に一切関わらない。人間の判断として残るのは、ただ一つ——機械に書き込まれたその問題が、その問題であることを確認することだけだ。
最後に、私が決める事が一つ残っている：問題リスト。どの問題をアップロードするか、いくらの値段にするか、それに私が署名する。Erdősの小切手も、価格は彼自身が書いた。ここに例外はない。だが、棚に掲げられた瞬間に封印される：問題は増えても減らない、金は払い戻されない。私を含め誰にも変更できない。間違って書いた題目は、その代金を払い、そして改めて再掲する。
私の趣味は、このたった一つのことにすべて使っている。値付け以外、検証、送金、名義の記入について私は一票も持たない。
結果は私が言う通りだ。
五
この一連のルールの中で、私が最も好きなのは「待つ」という“等”——その一字だ。
ある題目が解決され、数学界に受け入れられた後でも、金はすぐ動かない。証明者の名前が先に掲げられ、形式化者の欄は空のまま。ステータス欄には「証明済み、形式化待ち」と書かれる。誰がその証明を機械へ移し、機械が照合し、空欄に名前が落ちた瞬間に——金の帰属の旅もまた、そのとき始動する。
他の賞では、待つことは遅延であり、手続きであり、必要な悪だ。だがここでは、待つこと自体が一枚の一覧だ。
Erdősの小切手を額縁に入れて壁に飾った人は多いが、多くは一生換金しなかった。飾られたお金は過去を振り返るための“記念”であり、チェーンに掛けられたお金は未来へ呼び集めるための“召集”だ。空のままの欄は、世界中にこう告げているのと同じだ——ここには生きた仕事があり、それには値がついている。
すると、この題目リストは同時に、もう一つのものも生み出す。公開された地図だ。そこには、人類がすでに認めたが、機械はいまだ認めていないすべてが印されている。この地図は今日には存在しない。あるのは断片だけで、いくつかの場所に散らばっていて、統一されたことはなく、そして価値の値札を付けられたこともない。
形式化する人に情熱が欠けていることは決してない。足りないのは、値段のついた“施工図面”だ。誰がその空欄を埋めるか——その人が金を得る。
これからは、長い証明を機械へ移す仕事をしている限り、熱意は彼らのもの。請求書は私のもの。
なぜ私は「孫宇晨賞」を設立するのか
一
ノーベルは爆薬を発明した。彼の一生の富の大部分は、その“もの”によってもたらされた。
1888年に、フランスの新聞が彼の訃報を誤って送った——見出しは「死の商人が死んだ」。彼はそれを読んだ。そして数年後、遺言を立てた。
今日では誰も彼を「死の商人」とは呼ばない。
「ノーベル」は、ボルトやワットのような、中性的な名詞になった。そこに感情はなく、ただの単位だ。彼は金を「人類に最大の貢献をした人」に託し、その金は人類の手に戻った。すると彼の名前も、弁護によってではなく、100年以上の受賞者リストによって中立へと回帰した。
私がこの話をするのは、私は彼を理解しているからだ。金がどこから来るのかを知っているし、金がどこへ行き得るのかも知っている。
二
私の富の根源は数学だ。
ブロックチェーンというこの業界全体は、いくつかの長期研究に支えられた暗号学的構成と安全性の仮定の上に築かれている：楕円曲線上の離散対数は解けない、ハッシュ関数は不可逆である、大きな数は因数分解が難しい。1985年、2人の数学者がそれぞれ、楕円曲線を暗号に使えると考えた。1人は大学で、もう1人はIBMで働いており、互いを知らなかった。その年、そのことが役に立つとは誰も思っていなかった。彼らが黒板に書いたものは、のちに1兆ドル規模の市場になった。さらに、それは未曾有のものになった——誰も許可を必要とせずに、自分の富を完全に支配できるという形だ。彼ら自身は、1銭も受け取らなかった。
この自由は、数学が人類に送った最も過小評価された贈り物の一つだ。私はこの贈り物から多くを持ち帰った。この賞を設立するのは、まず借りを返すためだ。
三
ノーベル賞には数学賞がない。100年以上前の、あるいは手落ちであり、たぶん私的な事情があったのかもしれないし、あるいは単に思い至らなかっただけなのかもしれない。
その後、4年に1度のフェルマーンズ賞が生まれた。40歳以下が対象だ。さらに、アーベル賞が毎年生まれ、生涯の業績をたたえる。それらはいずれも良い。しかし、そのリズムは、ひとつ前の時代のリズムだ。
実は、数学界にも別の種類の賞があった。Erdősは生涯、問題に値札を付けた。25ドルから1万ドルまで。解けた者には小切手を切った。多くの人が小切手を額縁に入れて壁に飾り、一生換金しなかった。彼が1996年に亡くなると、その小切手が切られる回数はしだいに減っていった。
一方で、数学は別の時代へ入っている。AIは実験はできないが、導出はできる。AIは物理学者のために衝突型加速器を作るのは難しくても、数学者のために1万本の道筋を試すことはできる。今日では、ある予想が提示されてから解決されるまでが、数か月の場合もあれば、数日で済む場合もある。4年に一度の賞が、こうした速度に直面すると、4年ごとに打つ鐘が、日単位で時を刻む時代に掛けられているように感じられる。
四
だから、孫宇晨賞のルールはとても単純だ。
賞は“題目”に従い、“人”に従わない。年会にも、指名にも、年齢にも待たない。
各問題には2つの欄がある。1つは証明者、もう1つは形式化者——証明を機械の中へ移した人を記す。2つの欄は同じ人物でもよいし、半地球ほど離れて互いに知らない間柄でもよい。人でもよい、AIでもよい、人がAIを使う場合でもよい。どちらの欄がどの種であるかは私は気にしない。同じ名前が何度も出てきてもいい。出現する欄はどちらでもよい。
お金にはトリガーがひとつだけある。機械が証明を最初の行から最後の行まで、一歩も違えず照合すること。通った後、2つの欄に記された名簿こそが、その問題の賞金の受領者となる。この基準は私が発明したものではない。Scholzeは、自分の最重要定理を掲げ、誰かに機械へ移してもらった。フェルマーの最終定理は——いままさに、1行ずつ移し込まれている。
機械が照合する前に、人間の証明が無駄になることはない。数学界は受け入れる。名前は先に掲げられ、金は一銭も動かず、ステータス欄にはこう書かれる：「証明済み、形式化待ち」。
問題を解いた欄のお金は、“アップロードされた後に解決された問題”に対してのみ支払われる。アップロード時点ですでに解決済みなら、証明者の名前はそのまま記されるが、お金は“それを機械へ移した人”にだけ支払われる。この賞は、設立後に起きたことを記録するものであって、数学史に対してボーナスを追加発行するものではない。
分業はきれいだ。名前は数学界へ、金は機械へ。出資者は双方に一切関わらない。人間の判断として残るのは、ただ一つ——機械に書き込まれたその問題が、その問題であることを確認することだけだ。
最後に、私が決める事が一つ残っている：問題リスト。どの問題をアップロードするか、いくらの値段にするか、それに私が署名する。Erdősの小切手も、価格は彼自身が書いた。ここに例外はない。だが、棚に掲げられた瞬間に封印される：問題は増えても減らない、金は払い戻されない。私を含め誰にも変更できない。間違って書いた題目は、その代金を払い、そして改めて再掲する。
私の趣味は、このたった一つのことにすべて使っている。値付け以外、検証、送金、名義の記入について私は一票も持たない。
結果は私が言う通りだ。
五
この一連のルールの中で、私が最も好きなのは「待つ」という“等”——その一字だ。
ある題目が解決され、数学界に受け入れられた後でも、金はすぐ動かない。証明者の名前が先に掲げられ、形式化者の欄は空のまま。ステータス欄には「証明済み、形式化待ち」と書かれる。誰がその証明を機械へ移し、機械が照合し、空欄に名前が落ちた瞬間に——金の帰属の旅もまた、そのとき始動する。
他の賞では、待つことは遅延であり、手続きであり、必要な悪だ。だがここでは、待つこと自体が一枚の一覧だ。
Erdősの小切手を額縁に入れて壁に飾った人は多いが、多くは一生換金しなかった。飾られたお金は過去を振り返るための“記念”であり、チェーンに掛けられたお金は未来へ呼び集めるための“召集”だ。空のままの欄は、世界中にこう告げているのと同じだ——ここには生きた仕事があり、それには値がついている。
すると、この題目リストは同時に、もう一つのものも生み出す。公開された地図だ。そこには、人類がすでに認めたが、機械はいまだ認めていないすべてが印されている。この地図は今日には存在しない。あるのは断片だけで、いくつかの場所に散らばっていて、統一されたことはなく、そして価値の値札を付けられたこともない。
形式化する人に情熱が欠けていることは決してない。足りないのは、値段のついた“施工図面”だ。誰がその空欄を埋めるか——その人が金を得る。
これからは、長い証明を機械へ移す仕事をしている限り、熱意は彼らのもの。請求書は私のもの。
