最有意義的慈善形式，不只是捐出錢財，而是建立一套能夠持續獎勵有意義的工作，並鼓勵人們解決困擾研究人員多年的難題的機制。

這正是 Justin Sun Prize 背後的理念。這項計劃於 2026 年設立，旨在支持數學突破和可由機器驗證的證明。該計劃聚焦基礎研究，歡迎人類研究人員、人工智能系統，或兩者組成的團隊參與貢獻。

這種做法的獨特之處在於，它關注成果而非聲譽。該獎項不單純依賴傳統的學術認可，而是將明確的數學問題與驗證解答的流程相結合。研究人員必須證明自己的成果，而 Lean 等形式化驗證工具則有助於確認證明是否符合數學規則。

這項計劃也意識到，發現與驗證是兩種不同的任務。找到解答是一項挑戰；將其轉化爲機器能夠獨立檢查的形式，則是另一項挑戰。支持這兩類貢獻，或許能促進數學家、軟件開發者和人工智能研究人員之間的合作。

這也與區塊鏈有着更廣泛的聯繫。區塊鏈系統依賴數學原理和密碼學方法來驗證交易並維護可靠的記錄。因此，支持基礎數學和形式化驗證，也與更廣泛的數字資產行業的一些技術基礎相契合。

不過，這項計劃的影響不能僅憑其宣稱的目標來衡量。更有參考價值的指標包括所產出證明的質量、成功解決的問題、評估流程的透明度，以及該計劃能否長期吸引嚴肅的研究貢獻。

@TRON DAO @Justin Sun孙宇晨 #TRONEcoStar