Justin Sun Prize 的獎金池現已上鍊。在 TRON 網絡的公開地址中，有 1000 萬美元用於賈斯汀·桑的數學獎。資金的餘額與流轉情況可通過區塊鏈瀏覽器 TRONSCAN 進行覈查。
該倡議融合了基礎數學、人工智能和區塊鏈。獎勵不僅適用於解決複雜數學問題，也適用於創建可由計算機驗證其正確性的證明。
TRON 公開地址上的 1000 萬美元
項目的主要更新是：從發佈獎金基金公告，轉爲將其在區塊鏈上部署。
基金地址：TBgGFBnqZuDeGkf4nyiaEo7mj3NodxYJBL
公開發布資金地址使所有參與者都能獨立追蹤餘額和該地址的交易。這一點區別於通常的現金獎金公告：在那種情況下，參賽者往往只能完全依賴組織者的陳述。
同時，基金的透明度和獎勵授予流程是不同的問題。資金在地址上有餘額並不意味着只要任何人提交解決方案就會自動獲得付款。獎勵由獎項運營方依據其規則進行分配。
獎勵是爲哪些內容設置的？
Justin Sun Prize 致力於解決數學問題，並對證明進行形式化驗證。項目中設有兩個關鍵角色。
證明提供者——作者。參與者找到解決數學問題的方法，並給出其正確性的論證。
形式化（Formalizer）專家。其任務是將數學證明轉換爲嚴格的形式，以便可被專用計算機系統進行驗證。
這是一個關鍵點：數學推理和其機器化驗證需要不同類型的工作。即便該證明對人類來說看起來足夠令人信服，它的形式化仍可能是一個獨立且更復雜的任務。
人工智能在其中扮演什麼角色？
該倡議的規則允許個人、AI 以及混合團隊參與。這打開了多種情景：數學家可以使用 AI 來尋找解決問題的方法，開發者可以進行證明的形式化，而研究團隊則可將人的專業知識與計算工具結合起來。
同時，AI 生成的回答並不等同於數學證明。正因如此，在 Justin Sun Prize 的理念中，特別強調形式化驗證。它可以依據嚴格規則檢查結果，而不是僅憑作者或語言模型的自信。
根據對該倡議的描述，確認數學結果的署名作者權並獲得金錢獎勵是兩個獨立階段。要進行支付，需要完成對證明的機器化（自動）驗證。
爲什麼選擇區塊鏈作爲基金載體？
區塊鏈使得獎金的資金部分對所有參與者可見。任何人都可以打開 TRONSCAN，查看已發佈地址的狀態，無需向組織者索要報告。
這並不取代數學方面的專業能力，但能爲融資問題增加透明度。此外，根據項目公告，付款將由運營方以兩種穩定幣完成：TRON 網絡上的 USDT（TRC-20）以及以太坊網絡上的 USDC（ERC-20）。
因此，TRON 不僅用於公開部署基金，也作爲該獎金的一種支付網絡被使用。
這對 TRON 意味着什麼？
通常 TRON 會在 USDT 轉賬、支付、交易所基礎設施和 DeFi 的語境中被討論。Justin Sun Prize 則提供了另一種情景：使用區塊鏈對用於科學研究的資金進行公開賬目記錄。
這裏重要的是區分兩項功能：數學證明由專門工具進行驗證，而區塊鏈則保證項目資金部分的透明性。
這並不意味着 TRON 網絡會自行判斷數學解答是否正確，或自動授予獎勵。
結論
在我看來，Justin Sun Prize 最有趣的部分在於：把兩種關於可驗證性的思路結合起來。
一方面，該項目努力讓數學證明能夠以機器方式進行驗證。另一方面，1000 萬美元的獎金基金已部署在一個公開的區塊鏈地址上，您可以在該地址上追蹤資金流向。
同時，該倡議的真實成效將不僅取決於基金規模和透明度，還取決於具體成果：能夠解決哪些任務、有多少證明會通過形式化（形式）驗證，以及最終會實際發放哪些獎勵。
對於 TRON 來說，這也是網絡在普通的 USDT 轉賬之外、用於國際科學倡議基礎設施中的又一個應用案例。