Odaily星球日报によると、9月16日、Tron（トロン）創設者の孫宇晨氏は「孫宇晨賞」を正式に設立し、第1回受賞者リストを発表した。これは世界初の「問題リスト」に基づくゼロトラスト・分散型の学術懸賞メカニズムであり、基礎学問における重大な突破と機械形式検証を唯一の授賞基準とし、1問あたりの最高賞金は100万ドルに達する。孫宇晨氏は、この賞は機械検証を核心とし、人間とAIの協働を原動力とし、分散型懸賞をメカニズムとする新たな科学インセンティブのパラダイムを切り開き、AI時代のノーベル賞を創り出すことを目指すと述べた。
最高賞の100万ドルはOpenAIの研究チームに授与され、「3次元ナビエ・ストークス方程式（N-S方程式）の存在性と滑らかさの問題」の解決成果および形式的証明の完成が称えられた。その他の受賞成果には、ゼンドルフ予想、エルデシュの相異なる部分集合和問題などが含まれ、合計66の数学問題に関わる。
関係者によると、「孫宇晨賞」はすべての貢献者を対象とし、身分の制限はなく、人間もAIも受賞可能だが、リストの問題を最初に完成した者にのみ授与される。問題リストと証明資料はGitHubを通じて公開され、賞金はオンチェーンで証憑が保存される。賞の対象は2026年1月1日以降に得られた数学の進展であり、以前に解決済みだがその後に形式的検証を完成させた場合、形式化を行った者が受賞できる。
