孫宇晨賞

孫宇晨賞の公式発表によると、この賞の最初の受賞者は9月19日に正式に14日間の公示に入った。現在の公示題目は題庫第305、371、381、526、866、1001号であり、その中で305、371、381号の問題の候補者は形式的検証者、866、1001号の候補者は数学問題解決者、526号は両方の役割を持つ。公示情報は公式GitHubの候補登録表で公開されており、一般の人々は正式な挑戦を提起することができる。孫宇晨賞は、世界初の問題リストに基づくゼロトラストの非中央集権的学術報奨メカニズムであり、最高単題賞金は100万ドルである。設立当日に最初の66の数学問題が発表され、最高賞100万ドルはOpenAI研究チームに授与され、その「三次元ナビエ–ストークス方程式の存在性と滑らかさの問題」に対する解決成果と形式的証明を称賛するものである。同時に、賞の運営者は賞金プールのブロックチェーン上のアドレスを公開し、1000万ドルが預け入れられた。公示期間終了後、賞金はUSDT（TRC20）またはUSDC（ERC20）で支払われ、受賞者には証明書とメダルも授与される。

波場 TRON 創設者の孫宇晨は正式に「孫宇晨賞」を設立し、初回の受賞者リストを発表しました。これは、世界初の「問題リスト」に基づくゼロトラスト、分散型の学術報酬メカニズムであり、基礎学問の重大な突破と機械的形式化検証を唯一の受賞基準とし、最高単題賞金は100万ドルに達します。孫宇晨は、この賞は機械検証を中心に、人間と機械の協力を原動力とし、分散型報酬をメカニズムとする新しい科学的インセンティブのパラダイムを開くことを目的としており、AI時代のノーベル賞を創出することに尽力していると述べました。最高賞の100万ドルはOpenAI研究チームに授与され、「三次元ナビエ–ストークス方程式（N-S方程式）の存在性と滑らかさの問題」の解決成果と形式的証明を称えました。他の受賞成果には、センドフ予想、エルデシュの異なる部分集合と問題などが含まれ、合計66の数学問題が関与しています。「孫宇晨賞」はすべての貢献者を対象としており、身分制限はなく、人間とAIの両方が受賞可能ですが、リストの問題の最初の完了者にのみ授与されます。問題リストと証明資料はGitHubで公開され、賞金はブロックチェーンに記録されます。賞は2026年1月1日以降に得られた数学の進展を対象としており、以前に解決されたがその後形式的検証を完了した場合、形式化者は受賞できます。