孫宇晨獎營運方宣布首批候選獲獎人進入14天公示期，這是一個基於「題目清單」的零信任、去中心化學術懸賞機制，最高單題獎金100萬美元。獎池已有1000萬美元存入，發放記錄上鏈存證。當前題庫收錄1022道數學問題，涵蓋龐加萊猜想等經典難題。孫宇晨強調以經濟激勵推動形式化驗證發展，支持USDT和USDC發放獎金。
（前情提要：孫宇晨宣布設立「孫宇晨獎」 開啟機器驗證數學懸賞新紀元 最高獎金100萬美元）
（背景補充：OpenAI 稱正在訓練的新模型已解開超 100 道數學難題，同步成立學者顧問團）
（本文為廣編稿，由 孫宇晨獎 撰文、提供，不代表動區立場，亦非投資建議、購買或出售建議。詳見文末責任警示。）
近日，孫宇晨獎營運方宣布，首批候選獲獎人名單自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日晚，孫宇晨獎官方社交媒體帳號公布了獎池鏈上公開地址，當前已有1000萬美元獎金存入。據此前媒體報導，孫宇晨獎獎金的發放記錄進行上鏈存證，永久可追溯、不可篡改。問題清單一旦掛出即永久鎖定，只增不減，獎金只兌不退。整個流程採用貢獻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向公眾開放。當前題庫已收錄1022道數學問題，包括龐加萊猜想、黎曼猜想、哥德巴赫猜想以及數學家埃爾德什提出的大量未解問題等。
孫宇晨表示，數學是一切基礎科學的底層語言與框架。真正拓展人類認知邊界的，從來不只是孤獨的求索，更是將洞見轉化為可被機器嚴格檢驗、可被全人類復現的形式化成果。他指出，當前將人類數學證明轉化為機器可驗證形式化證明的工作，仍主要依賴形式化社區的自發熱情，系統性經濟激勵長期缺失。
形式化的人從來不缺熱情，缺的是一張帶價碼的施工地圖」，孫宇晨獎正是為此而生。他進一步強調，「我不是數學家，我是一個旁觀者，我付錢。剩下的，交給證明。
