孫宇晨獎首批獲獎人公示 14 天，1000 萬美元獎池鏈上地址公開
近日，孫宇晨獎營運方宣布，首批候選獲獎人名單自 9 月 19 日起進入公示期，為期 14 天。此次進行公示的題目為官方題庫中的 305、371、381、526、866、1001 號。其中 305、371、381 號問題的候選人為形式化驗證者，866、1001 號問題的候選人為數學解題者，526 號問題則同時擁有兩項角色的候選人。這一進展標誌著孫宇晨獎從設立走向實質性運行，也意味著全球首個基於「題目清單」的零信任、去中心化學術懸賞機制進入常態化運作。
據了解，公示資訊已發布於孫宇晨獎 GitHub 倉庫，公眾可隨時查閱，並可透過官方管道對結果正確性、歸屬、優先權、身分及領獎資格提出正式挑戰。公示期滿且無未解決異議後，相關貢獻將進入受獎人書面確認與獎金發放環節。
廣告 - 內文未完請往下捲動
9 月 16 日，波場 TRON 創辦人孫宇晨宣布設立該獎，將其定位為全球首個基於「題目清單」的零信任、去中心化學術懸賞機制，以基礎學科重大突破與機器形式化驗證為唯一發獎標準，最高單題獎金達 100 萬美元。設立當日同步公布首批表彰名單，涉及 66 個數學問題的解決成果及形式化證明。其中最高獎 100 萬美元授予 OpenAI 研究團隊，以表彰其針對「三維納維–斯托克斯方程式的存在性與光滑性問題」給出的解決成果及形式化證明。
9 月 22 日晚間，孫宇晨獎官方社群媒體帳號公布了獎池的鏈上公開地址，目前已有 1,000 萬美元獎金存入。據先前媒體報導，孫宇晨獎獎金的發放紀錄會上鏈存證，永久可追溯、不可竄改。問題清單一旦掛出即永久鎖定，只增不減，獎金只兌不退。整個流程採用貢獻 PR（Pull Request）、claim issue 與官方信箱在 GitHub 上配合辦理。孫宇晨獎營運方特別提醒，官方不會索取帳戶密碼、錢包私鑰或助記詞，也不會要求向指定地址轉帳以啟動獎金。
另據官方公布的獎金申領規則，申請者需依三個階段完成資格審核與獎金授予。在參與驗證階段，貢獻者從官方題庫選擇題目，fork 倉庫後按貢獻類型提交 PR。解題者提供公開數學證明或發表物連結即可，形式化驗證者則須使用本人倉庫中的固定 commit 作為來源，並提供復現環境與建置檢查資訊。
進入申請獲獎階段後，貢獻者須使用本人 GitHub 帳號發布領獎申請 issue，填寫聯絡信箱並完成身分核驗。通過資格驗證後，相關貢獻的候選人名單將進入 14 天公示期，解題與形式化角色分別計時。在公示期間，公眾可提出挑戰，也可提交替代證明的關聯 PR。
公示期滿、無未解決挑戰並完成受獎人書面確認後，即進入頒獎階段。在該階段內，獲獎者可透過官方信箱補充收款以及證書、獎牌的郵寄資訊。獎金以數位貨幣發放，目前支援 USDT（TRC20）及 USDC（ERC20）。
孫宇晨獎營運方表示，該獎只接受原問題的完整數學解與完整 Lean 證明。審核順序固定為先確認數學解並登記解題候選，再進行 Lean 驗證與形式化候選登記。獎勵只授予清單題目的首個完成者。若多人共同完成，解題者獲總獎金 70%，形式化驗證者獲 30%；一人同時完成兩者，可獲得全額獎金。獎項涵蓋自 2026 年 1 月 1 日起取得的數學進展，此前已解但之後完成形式化驗證的成果，形式化者可獲獎。
營運方還表示，孫宇晨獎堅持開放、公益、開源原則，面向一切符合條件的貢獻者，無國籍、機構、身分限制，亦不區分人類與 AI。資金專用於獎項頒發與開放工作，不以營利為目的。問題清單、確認標準、證明與核驗材料全部透過 GitHub 向公眾開放。目前題庫已收錄 1,022 道數學問題，包括龐加萊猜想、黎曼猜想、哥德巴赫猜想以及數學家埃爾德什提出的大量未解問題等。
孫宇晨表示，數學是一切基礎科學的底層語言與框架。真正拓展人類認知邊界的，從來不只是孤獨的求索，更是將洞見轉化為可被機器嚴格檢驗、可被全人類複現的形式化成果。他指出，目前將人類數學證明轉化為機器可驗證形式化證明的工作，仍主要仰賴形式化社群的自發熱情，系統性經濟激勵長期缺失。
「形式化的人從來不缺熱情，缺的是一張帶價碼的施工地圖」，孫宇晨獎正是為此而生。他進一步強調：「我不是數學家，我是一個旁觀者，我付錢。剩下的，交給證明。」
風險提示
加密貨幣投資具有高度風險，其價格可能波動劇烈，您可能損失全部本金。請謹慎評估風險。
