孙宇晨賞の第1回候補受賞者が正式に公示段階に入り、分散型学術懸賞メカニズムの実装が加速

最近、孫宇晨賞の運営側は、第1回候補受賞者リストが9月19日から14日間の公示期間に入ると発表した。今回の公示対象は公式問題バンクの305、371、381、526、866、1001番である。うち305、371、381番の問題の候補者は形式検証者、866、1001番の問題の候補者は数学解答者、526番の問題は両方の役割の候補者を同時に持つ。この進展は、孫宇晨賞が設立から実質的な運用へと移行したことを示すとともに、世界初の「問題リスト」に基づくゼロトラスト・分散型学術懸賞メカニズムが常態化した運用に入ったことを意味する。

関係者によると、公示情報はすでに孫宇晨賞のGitHubリポジトリで公開されており、一般公衆はいつでも閲覧でき、公式チャネルを通じて結果の正確性、帰属、優先権、身元および受賞資格について正式な異議申し立てが可能である。公示期間が満了し、未解決の異議がなければ、関連する貢献は受賞者の書面による確認と賞金支払いの段階へ進む。

9月16日、波场TRONの創設者である孫宇晨は同賞の設立を発表し、世界初の「問題リスト」に基づくゼロトラスト・分散型学術懸賞メカニズムと位置づけ、基礎学問の重大な突破と機械形式検証を唯一の授賞基準とし、1問あたりの最高賞金は100万ドルに達する。設立当日には第1回表彰リストも同時に公開され、66の数学問題の解決成果と形式証明が含まれていた。うち最高賞の100万ドルはOpenAIの研究チームに授与され、「3次元ナビエ・ストークス方程式の存在性と滑らかさの問題」に対する解決成果と形式証明が評価された。

9月22日夜、孫宇晨賞の公式ソーシャルメディアアカウントは賞金プールのオンチェーン公開アドレスを公表し、現在すでに1000万ドルが入金されている。これまでの報道によると、孫宇晨賞の賞金支払い記録はオンチェーンで証拠保存され、永久に追跡可能で改ざん不可能である。問題リストは一度掲載されると永久にロックされ、増えることはあっても減ることはなく、賞金は支払われることはあっても返金されることはない。プロセス全体は、貢献PR（Pull Request）、claim issue、公式メールをGitHub上で連携して処理する。孫宇晨賞の運営側は特に、公式がアカウントのパスワード、ウォレットの秘密鍵、ニーモニックを要求することはなく、賞金を有効化するために指定アドレスへの送金を求めることもないと注意を促している。

また、公式が公表した賞金申請ルールによると、申請者は3つの段階に従って資格審査と賞金授与を完了する必要がある。参加検証段階では、貢献者は公式問題バンクから問題を選択し、リポジトリをforkした後、貢献タイプに応じてPRを提出する。解答者は公開された数学的証明または発表物のリンクを提供すればよく、形式検証者は本人のリポジトリ内の固定commitをソースとして使用し、再現環境とビルドチェック情報を提供しなければならない。

受賞申請段階に入ると、貢献者は本人のGitHubアカウントを使用して受賞申請issueを公開し、連絡用メールを記入し、本人確認を完了する必要がある。資格検証を通過した後、関連する貢献の候補者リストは14日間の公示期間に入り、解答と形式の役割はそれぞれ別々に計時される。公示期間中、公衆は異議を提起でき、代替証明の関連PRを提出することもできる。

公示期間が満了し、未解決の異議がなく、受賞者の書面による確認が完了した後、授賞段階に入る。この段階では、受賞者は公式メールを通じて受取情報および証明書とメダルの郵送情報を補足することができる。賞金はデジタル通貨で支払われ、現在はUSDT（TRC20）およびUSDC（ERC20）に対応している。

孫宇晨賞の運営側は、同賞は元の問題に対する完全な数学的解答と完全なLean証明のみを受け付けると述べている。審査順序は固定されており、まず数学的解答を確認して解答候補を登録し、その後Lean検証と形式候補の登録を行う。報酬はリストの問題の最初の完了者にのみ授与される。複数人で共同完成した場合、解答者は総賞金の70％、形式検証者は30％を獲得し、一人で両方を完成させた場合は全額の賞金を獲得できる。賞は2026年1月1日以降に達成された数学的進展を対象とし、以前に解決済みであるがその後形式検証を完了した成果については、形式検証者が受賞できる。

運営側はまた、孫宇晨賞は開放・公益・オープンソースの原則を堅持し、すべての適格な貢献者を対象とし、国籍、機関、身元による制限はなく、人間とAIも区別しないと述べている。資金は賞の授与とオープンな活動に専用され、営利を目的としない。問題リスト、確認基準、証明および検証資料はすべてGitHubを通じて公衆に公開されている。現在の問題バンクには1022の数学問題が収録されており、ポアンカレ予想、リーマン予想、ゴールドバッハ予想、および数学者エルデシュが提起した多数の未解決問題などが含まれている。

孫宇晨は、数学はすべての基礎科学の基盤となる言語とフレームワークであると述べている。人類の認知の境界を真に拡張するのは、孤独な探求だけでなく、洞察を機械によって厳密に検証可能で、全人類が再現可能な形式化された成果へと変換することである。彼は、現在、人類の数学的証明を機械検証可能な形式証明へ変換する作業は、依然として形式化コミュニティの自発的な熱意に主に依存しており、体系的な経済的インセンティブが長期的に欠如していると指摘した。

「形式化に携わる人々は熱意を欠いたことはない。欠けているのは値段のついた施工地図だ」と孫宇晨賞はまさにこのために生まれた。彼はさらに、「私は数学者ではない。私は傍観者であり、金を払う。残りは証明に任せる」と強調した。