PANews 9月16日消息，TRON創始人孫宇晨宣布設立「Justin Sun Prize」，以數學為核心獎勵機制，面向解決重要數學難題的證明者與將證明形式化為機器可驗證程式碼的「formalizer」。該獎項不設年齡與年度名額限制，僅以「機器從首行到末行完整驗證通過」為唯一發放條件，獎金資金池已鎖定在區塊鏈地址上，只能追加、不可撤回。每個問題僅能新增、不能刪除，若題目表述有誤也仍按約定支付賞金，並重新掛單。孫稱自己不參與具體評審，僅負責確定問題清單及對應懸賞金額，目標是在AI與形式化驗證時代，為純理論數學與鏈上公開激勵之間建立長期機制。