9月16日、トロンの創設者である孫宇晨は、正式に「孫宇晨賞」の設立を発表しました。これは、世界で初めて「課題リスト」に基づくゼロトラスト型・分散型学術懸賞メカニズムであり、基礎学問における重大な突破と機械形式的検証を唯一の賞与基準としています。単一課題の最高賞金は100万ドルに達します。この賞の設立は、ノーベル賞が100年以上にわたり数学賞を設けてこなかった歴史的空白を埋めるだけでなく、AI時代において科学的報酬のロジックと境界を再定義し、人類と人工知能が協力して基礎科学の研究を加速することを目指しています。
孫宇晨は、第1回「孫宇晨賞」の受賞者リストを発表し、66の数学問題の解決および形式的証明を称えた。最優秀賞は、OpenAI研究チームに100万ドルの賞金が授与され、「三次元ナビエ–ストークス方程式の存在と滑らかさに関する問題」に対する解決と形式的証明が評価された。OpenAIが公開した情報によると、この証明は同社の内部システムによって生成され、形式化作業はGPT-6 Astraが担当し、Leanを用いて検証済みである。
この問題は、流体の運動を記述するナビエ–ストークス方程式（略称：N–S方程式）に関係しています。この方程式は、19世紀にフランスの物理学者クロード＝ルイ・ナビエやアイルランド系英国の数学者ジョージ・ガブリエル・ストークスらによって発展・構築され、約200年の歴史を持っています。2000年、クレイ数学研究所は「三次元ナビエ–ストークス方程式の存在と滑らかさに関する問題」をミレニアム懸賞問題の一つに指定し、100万ドルの懸賞金を設けました。
今回の受賞成果には、森多夫予想、エルデシュの互いに異なる部分集合の和の問題、Dinitz–Garg–Goemans コスト保持予想などが含まれます。「孫宇晨賞」の規定により、公表された受賞者は自ら申請して賞金を請求する必要があります。
孫宇晨は、数学はすべての基礎科学の基盤となる言語と枠組みであると述べた。人間の認知の境界を真に拡張するのは、孤独な探求だけではなく、洞察を機械によって厳密に検証可能で、全人類が再現可能な形式的な成果に変換することである。「孫宇晨賞」は、まさにこの理念のために設けられた。従来の推薦や資格のハードルを設けず、4年ごとの賞や生涯功績を基準とせず、賞金を未解決の数学的難問と、機械が検証可能な形式的証明に直接結びつけている。専門研究者、個人の愛好家、あるいは人間とAIが協力する個人またはチームを問わず、最先端の突破を達成した者は誰でも報酬を得られる。
AI時代において、仮説の解決サイクルは数年から数ヶ月、さらには数日へと短縮されつつある。従来の「生涯の業績」や固定サイクルを基軸とする報酬体系は、この加速する科学のリズムに合わせられなくなっている。「孫宇晨賞」のビジョンは、より分散化され、形式化され、機械化された方法で、新時代の科学研究とインセンティブの深刻な変革に応える「AI時代のノーベル賞」となることである。この賞は、数学的難題と形式化されたコードリポジトリを継続的に維持・公開更新し、問題リストは公開後永久に固定され、追加のみで削除は行わず、賞金は支払われたら返還されない。これは「価格が付いた建設マップ」となる。
「孫宇晨賞」の賞金は、最初に完了した者にのみ授与される。複数者が共同で完了した場合、貢献度に応じて割合を分配する。問題を解いた者は総賞金の70％を、形式的検証を完了した者は30％を受賞する。1人が問題解決と形式的検証の両方を完了した場合、全額の賞金を受賞できる。人工知能システムが賞金対象の完了を達成した場合も賞金を授与するが、関連する自然人、法人、またはその書面による正式な代理人が申請主体および法定受取人として登録しなければならない。本賞は2026年1月1日以降に達成された数学的進展を対象とする。問題が2026年1月1日以前に解決されていても、形式的検証がその後に完了した場合、形式的検証を完了した者に賞金が授与される。現在の課題リストには、ポアンカレ予想の形式的検証、リーマン予想、ゴールドバッハ予想、および故数学者でウォルフ賞受賞者であるポール・エルデシュが生前に提起した多数の未解決問題が含まれている。
孫宇晨は、賞金に加えて、受賞者には証書とメダルが授与されると明かした。メダルの表側には孫宇晨の肖像と「孫宇晨賞」の英中両語が刻まれ、裏側には人類が宇宙を探索する様子を描いた彫刻が施されている。縁にはラテン語「Quod probatur, solvitur」、すなわち「証明されたものは解決される」という言葉が刻まれている。メダルの本体は銅製で、表面には6グラムの純金が鍍金されている。
「孫宇晨賞」は、オープン、公益、オープンソースの三大原則を堅持しています：あらゆる条件を満たす貢献者に国籍、機関、身分の制限を設けず、人間とAIを区別しません。資金は賞の授与とオープンワークに専用され、利益追求を目的とはしません。問題リスト、確認基準、証明および検証資料はすべてGitHubを通じて一般に公開され、賞金の支払記録はブロックチェーンに記録され、永続的に追跡可能で改ざん不可能です。
孫宇晨は、現在、人間の数学的証明を機械が検証可能な形式的証明に変換する作業は、Leanなどの形式化コミュニティの自発的な情熱に大きく依存しており、体系的な経済的インセンティブが長期的に欠如していると指摘した。「形式化に携わる人々は情熱には欠けないが、価格が明記された施工図が不足している。」「孫宇晨賞」は、この重要な工程のために初めて公開かつ報酬付きのリストを提供し、この状況を根本的に変えることを目指している。
彼はさらに、「人名を冠した賞は、世界で最も政治的でないものである。更重要的是，这给自己一个交代——我的财富，根源是数学。它从数学来，回到数学去。」と述べた。公開情報によると、過去数年間で孫宇晨はテクノロジー、環境保護、災害救援などの分野で累計約4500万ドル（約3億人民元）を寄付してきた。今後、彼の公益活動の中心は全面的に「孫宇晨賞」にシフトし、公開かつ検証可能な方法で基礎科学の加速的な突破を推進していく。
「私は数学者ではありません。私は観察者であり、支払う側です。残りは証明に任せます。」と孫宇晨は語った。「孫宇晨賞」の正式な設立は、機械検証を核とし、人間と機械の協働を推進力とし、分散型報酬をメカニズムとする新たな科学的インセンティブモデルの幕を開けた。