孫宇晨が「孫宇晨賞」の設立を発表、数学界の難問解決を目指す

BlockBeatsのニュースによると、9月16日、孫宇晨は自身の名を冠した数学賞を設立し、今後は公益活動の重点をこの賞に移すと発表した。彼は、自身の富は数学と暗号学に根ざしており、賞の設立を通じて資金を「数学から来て、数学へ戻す」ことを望んでいると述べた。この賞は数学的証明と形式検証に重点を置き、人工知能の急速な発展を契機として、数学的成果がより効率的に機械検証を完了できるよう推進する。

この賞には年齢制限、推薦、固定の授賞サイクルはなく、各問題には「証明者」と「形式化者」の2つの欄が設けられ、それぞれ数学的証明を完成させた者と、証明を正式に機械に移行し検証を通過させた者を記録する。機械が最初の行から最後の行まで完全に検証を通過した後にのみ、賞金が支払われる。数学界で既に解決されているがまだ形式化が完了していない問題については、証明者の名前が保持され、形式化が完了した後に賞金の帰属が確定される。

孫宇晨は、この賞の第一回賞金プールはすでにブロックチェーンに入金されており、アドレスは公開され、残高は世界中で確認可能であり、自身は賞金プールへの追加出資の権利のみを保持すると述べた。各受賞証明および賞金支払い記録はすべて公開され、チェーン上に保存され、誰でも独立して検証できる。自身は数学者ではなく、できることは数学的証明者に資金支援を提供することであり、「残りは、証明に任せる」と述べた。