新聞 
幣種資訊 
關於我們 
孫宇晨設立「Justin Sun Prize」，獎勵通過機器完整驗證的數學證明，並以鎖定在區塊鏈地址中的獎金作為資金來源。
PANews報導，TRON創辦人孫宇晨宣布設立該獎項，對象包括解決重要數學問題的證明者，以及將證明形式化為機器可驗證程式碼的工作者。
獎金發放條件是完成機器驗證。證明必須從第一行到最後一行均通過完整檢查，且不設年齡或年度得獎人數限制。能否以可驗證的形式完成實作，而非數學構想本身，將成為是否獲獎的判準。
形式驗證是依照既定規則，將數學證明或程式邏輯轉換為機器可檢查形式的過程。與以自然語言撰寫的解法相比，形式驗證更容易重複套用驗證程序。
獎金資金將鎖定在區塊鏈地址中運作。該資金可追加，但設計上無法取回，獎勵機制與資金流向也能在鏈上查閱。
題目清單將持續追加，不會刪除。即使發現題目敘述有誤，仍會依照既定條件發放獎金，之後再重新登錄該題目。
這項安排代表營運方不會事後刪除題目或更改條件，以推翻原本的獎勵結果。透過事先固定獎勵標準與資金流向，藉此減少審查過程中的主觀判斷。
孫宇晨表示，他不會參與具體審查，只負責制定題目清單與各題獎金額度。審查結果將以機器驗證結果為依據，而非個人判斷。
這項構想與人工智慧解答數學問題，並將結果轉換為形式化證明程式碼的發展方向相連。透過區分證明者與形式化工作者，數學構想及其機器驗證實作都成為獎勵對象。
不過，各題獎金規模與首批登錄的數學難題清單尚未公布。實際參與規模與研究成果，仍須等具體題目及獎勵條件公布後才能確認。
留言 0