6件候選案公開驗證14天：孫宇晨獎啟動評選

孫宇晨獎首批6件候選案自9月19日起進入為期14天的公開驗證。候選案登錄並不代表最終得獎確定，而是針對數學解法與形式化證明啟動異議程序。

官方GitHub候選案登錄表公開了305、371、381、526、866及1001號問題。其中，305、371及381號列為形式化驗證者候選案，866及1001號列為數學問題解答者候選案，526號則同時登錄兩類候選人。

候選案登錄表明確註明，公開列名不代表得獎或得獎者身分已獲確認。第三方可就結果準確性、貢獻者歸屬、優先權及形式化驗證 여부提出異議。

公開驗證結束後，若沒有尚未解決的異議，且完成得獎者書面確認與身分驗證，才會進入獎金發放階段。依營運規則，公開異議期間為14天。

孫宇晨(Justin Sun) 波場(TRON)創辦人將該獎項設計為以問題清單為基礎的「零信任」去中心化學術獎勵體系。他表示：「我不是數學家，只是旁觀者，也就是出錢的人。其餘部分交給證明。」

這番話反映出，獎勵是否發放將取決於問題解決成果與可由機器驗證的證明，而非個人或機構聲望。營運方將分別審查數學解法與Lean形式化證明，以區分不同貢獻者。

官方儲存庫目前登錄1022道數學問題，清單包括龐加萊猜想、黎曼猜想、哥德巴赫猜想，以及數學家保羅·埃爾德什提出的未解問題。

形式化證明是將數學邏輯轉換為Lean等系統可處理的形式，使機器能夠進行驗證。此前，孫宇晨提出為通過機器驗證的數學證明提供獎金，並將證明者與形式化工作者列為不同獎勵對象。

每道問題的最高獎金為100萬美元（約13億6500萬韓元）。營運方表示，獎金池地址已存入1000萬美元（約136億5000萬韓元）。

獎金預計以泰達幣(USDT) TRC20或USD Coin(USDC) ERC20支付。以虛擬資產發放獎金，並將支付紀錄留存在區塊鏈上，也是營運架構的一部分。

孫宇晨獎於9月16日成立。營運方在成立時公布66道數學問題的解決成果與形式化證明，列為首批表揚對象，並將開源與公開驗證列為營運原則。

營運方表示，不會因國籍或所屬機構限制參與，也不區分人類與人工智慧是否合作。問題清單、確認標準、證明資料及驗證資料將透過GitHub公開。

獎勵對象包括原問題的完整數學解法與完整Lean證明。若由多人共同完成，數學問題解答者可分得總獎金的70%，形式化驗證者分得30%；若同一人完成兩種角色，則可獲得全部獎金。

營運方表示，2026年1月1日之後完成的數學進展將列入獎勵範圍。即使解法早已提出，只要之後完成形式化驗證，形式化貢獻者仍可能成為獎勵對象。

目前公開的6件候選案仍處於登錄階段，後續還須完成公開異議、書面確認及身分驗證。驗證程序結束後，才會進行最終得獎者確認與獎金發放。