孙宇晨氏が「孫宇晨賞」を設立：「私の富は数学から来たものであり、数学へと還る」

9月16日、Tronの創設者である孫宇晨（ジャスティン・サン）は正式に「孫宇晨賞」の設立を発表した。これは世界初の「問題リスト」に基づくゼロトラスト・分散型の学術懸賞メカニズムであり、基礎科学分野における重大な突破と機械による形式検証を唯一の受賞基準とし、1問あたりの最高賞金は100万ドルに達する。この賞の設立は、ノーベル賞が100年以上にわたり数学賞を設けてこなかった歴史的空白を埋めるだけでなく、AI時代において科学報酬の論理と境界を再定義し、人類と人工知能が協力して基礎科学研究を加速させることを目指している。

孫宇晨は同時に、初回「孫宇晨賞」の受賞者リストを公表し、66の数学問題の解決成果および形式証明を表彰した。うち最高賞はOpenAIの研究チームに授与され、賞金は100万ドルで、「三次元ナビエ・ストークス方程式の存在性と滑らかさ問題」に対する解決成果および形式証明が評価された。OpenAIの公表情報によれば、関連する証明は同社の内部システムによって生成され、形式化作業はGPT-6 Astraが完了し、Leanによる検証に合格した。

この問題は流体の運動を記述するナビエ・ストークス方程式、略称N–S方程式に関わる。同方程式はフランスの物理学者クロード・ルイ・ナビエ、アイルランド系イギリス人数学者ジョージ・ガブリエル・ストークスらによって19世紀に発展・確立され、約200年の歴史がある。2000年、クレイ数学研究所は「三次元ナビエ・ストークス方程式の存在性と滑らかさ問題」をミレニアム懸賞問題の一つに指定し、100万ドルの懸賞金を設定した。

今回の受賞成果はさらに、センドフ予想、エルデシュの相異なる部分集合和問題、Dinitz–Garg–Goemansのコスト保持予想などにも関わる。「孫宇晨賞」の規定により、公表されたリストの受賞者は自ら申請して賞金を受け取る必要がある。

孫宇晨は、数学はあらゆる基礎科学の基盤となる言語と枠組みであると述べた。真に人類の認知の境界を拡張するのは、孤独な探求だけでなく、洞察を機械によって厳密に検証可能で、全人類が再現可能な形式化された成果へと変換することである。「孫宇晨賞」はまさにそのために生まれた。従来の推薦や経歴の壁を基準とせず、4年ごとや生涯功労をリズムとせず、賞金を未解決の数学難問および機械検証可能な形式証明に直接結びつける。いかなる貢献者も、専門研究者、独立した愛好家、あるいは人間とAIが協力する個人やチームであっても、最初に突破を成し遂げれば報酬を得ることができる。

AI時代において、ある予想の解決周期は数年から数ヶ月、さらには数日へと圧縮されつつある。「生涯功労」や固定周期を核心とする従来の報酬体系は、この加速する科学的リズムに適合し難くなっている。「孫宇晨賞」のビジョンは「AI時代のノーベル賞」となることであり、より分散化され、より形式化され、より機械化された方法で、新時代の科学研究とインセンティブの深い転換に応えることにある。それは数学難問と形式化コードのリポジトリを継続的に維持し公開更新する。問題リストは一度掲載されれば永久に固定され、増えることはあっても減ることはなく、賞金は支払われることはあっても返還されることはなく、「値札付きの施工地図」となる。

説明によれば、「孫宇晨賞」の報酬は最初の完成者にのみ授与される。複数人で共同完成した場合は、貢献度に応じて分配される。問題を解いた者は総賞金の70％、形式検証を完了した者は30％を得る。一人が同時に問題解決と形式化を完了した場合は、全額の賞金を得ることができる。たとえ懸賞を完成させたのが人工知能システムであっても授賞されるが、関連する自然人、法人、またはその書面による授権代表者が申請主体および法定受取人とならなければならない。賞は2026年1月1日以降に得られた数学的進展を対象とする。問題がその日付以前に解決されていたが形式検証がその後完了した場合、形式化した者が報酬を得ることができる。現在の問題リストには、ポアンカレ予想の形式検証、リーマン予想、ゴールドバッハ予想、および故人である数学者でウルフ賞受賞者のポール・エルデシュが生前に提起した多数の未解決問題が含まれている。

孫宇晨は、賞金以外にも、受賞者には証明書とメダルが授与されると明かした。メダルの表面には孫宇晨の肖像と「孫宇晨賞」の中国語・英語が刻まれ、裏面には人類の宇宙探求を表す彫刻が施され、縁にはラテン語「Quod probatur, solvitur（証明されたものは解かれる）」が刻まれている。メダル本体は銅製で、表面には6グラムの純金がメッキされている。

「孫宇晨賞」は開放・公益・オープンソースの三原則を堅持する。すべての条件を満たす貢献者を対象とし、国籍、機関、身分の制限はなく、人間とAIも区別しない。資金は賞の授与と開放的な活動に専用され、営利を目的としない。問題リスト、確認基準、証明および検証資料はすべてGitHubを通じて公衆に公開され、賞金支払い記録はチェーン上に記録・保存され、永久に追跡可能で改ざん不可能である。

孫宇晨は、現在、人類の数学的証明を機械検証可能な形式証明へ変換する作業は、依然としてLeanなどの形式化コミュニティの自発的な熱意に主に依存しており、体系的な経済的インセンティブが長期的に欠如していると指摘した。「形式化に携わる人々は熱意を欠いたことはない。欠けているのは値札付きの施工地図だ。」「孫宇晨賞」は初めてこの重要な环节に公開され報酬付きのリストを提供し、この状況を根本から変えることを目指している。

さらに彼は、「人名を冠した賞は、この世で最も政治色の薄いものだ。さらに重要なのは、これが自分自身へのけじめになることだ——私の富の根源は数学にある。それは数学から来て、数学へと還る」と述べた。公開情報によれば、過去数年間、孫宇晨はテクノロジー、環境保護、災害救援などの分野で累計約4500万ドル（約3億元）を寄付してきた。今後、その公益の重心は全面的に「孫宇晨賞」へと移り、公開され検証可能な方法で基礎科学の加速的突破を推進し続ける。

「私は数学者ではない。私は傍観者であり、金を払う者だ。あとは証明に任せる。」と孫宇晨は述べた。「孫宇晨賞」の正式な設立は、機械検証を核心とし、人間と機械の協働を原動力とし、分散型懸賞をメカニズムとする新たな科学インセンティブのパラダイムをすでに切り開いた。