PANews 9月16日、TRON創設者である孫宇晨氏は数学賞「Justin Sun Prize」の設立を発表した。数学を中心とした報酬メカニズムで、重要な数学問題を解決した証明者と、証明を機械検証可能なコードに形式化する「formalizer」を対象とする。この賞には年齢や年間枠の制限はなく、「機械が最初の行から最後の行まで完全に検証を通過すること」のみが支給条件となる。賞金資金プールはブロックチェーン上のアドレスにロックされており、追加のみ可能で撤回はできない。各問題は新規追加のみ可能で削除はできず、問題の記述に誤りがある場合でも約定通りに賞金が支払われ、問題が再掲示される。孫氏は自身は具体的な審査には関与せず、問題リストと対応する懸賞金額の決定のみを担当すると述べ、AIと形式化検証の時代において、純粋数学とオンチェーン上の公開インセンティブの間に長期的なメカニズムを確立することを目指している。