スン・ユーチェン：スン・ユーチェン賞を設立し、機械検証された数学的証明に対して報酬を与える

波場 TRON 創設者の孫宇晨は、「孫宇晨賞」を設立することを発表し、現在は数学にのみ焦点を当てていると述べた。彼はこの賞が個人ではなく問題に従うものであり、年次会議、ノミネーション、年齢制限はないと述べた。各問題には二つの署名欄があり、一つは証明者を記録し、もう一つは証明を形式化して機械に書き込む人を記録する。両者は同一人物であってもよく、人間、AI、またはAIを使用する人であってもよい。賞金の発生条件は、機械が証明を最初の行から最後の行までエラーなく検証することであり、検証が通過した後の二つの署名欄がその問題の賞金所有者となる。

ルールには以下も含まれる：機械による検証の前に、数学界が人間の証明を受け入れている場合は、先に名前を掲示でき、賞金はそのままとし、状態は「証明済み、形式化待ち」となる。証明欄の賞金は、問題が掲載された後に解決された場合のみ支払われる；掲載時に既に解決されている問題については、証明者は名前を記載されるが、賞金は形式化を完了した人にのみ支払われ、数学史に対する賞金の補填は行われない。問題リストは孫宇晨の署名によって掲載される問題と価格が決定され、一度掲示されると減少することはなく、金銭は交換されるが返金はされない。誤って書かれた問題はそのまま支払われ、再掲示される；価格設定以外の検証、支払い、名前の掲示については彼自身は投票に参加しない。

孫宇晨は、公益の焦点がこの賞に移ることを示し、初期の賞金プールはブロックチェーンに入金され、アドレスと残高は公開され、彼は追加の資金提供の権利のみを保持すると述べた。受賞証明と賞金の支払いはすべて公開され、ブロックチェーンに記録される。彼は人名を冠することで、機関の交代による改名を避けるためであり、富は数学から来ると述べ、「数学から来て、数学に戻る」ことを望んでいる。