Justin Sun 剛剛推出了 Justin Sun Prize，這是一個將數學、AI 和形式化驗證結合起來的構想。 我喜歡的是，它並不僅限於來自大學或大型機構的研究人員，也開放給獨立貢獻者和人機團隊參與。 其原則相當直接明瞭： 解決問題 → 提出證明 → 讓機器驗證 → 之後才進入獎項評審階段。 另一個有趣之處在於，系統採用開源模式，並公開發布證明與驗證材料以供檢驗。 在頂級（Pinnacle）層級，每成功驗證一個問題的獎金高達 $1M。 個人認為，這個構想的精彩之處在於，它不僅重視「誰做的」，更看重該證明是否真正可被驗證。 AI 正越來越多地協助我們思考，但最終最重要的問題仍是： 「我們要如何驗證 AI 所提出的內容？」 這或許是另一個運用技術建立激勵機制、推動基礎研究持續前進的例子。 對於加密貨幣領域來說，更有趣的是，獎金可以以 TRON（TRC-20）上的 USDT 或以太坊上的 USDC 支付。 因此，從另一個角度看，Justin Sun 不僅談論區塊鏈或加密貨幣，更正將資本投入支持數學、AI 和開放式研究。 @justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF