孫宇晨獎營運方宣布首批獲獎人14天公示期結束,未出現異議,正式啟動書面確認與獎金發放。獎金以USDT(TRC20)或USDC(ERC20)發放。該獎由孫宇晨設立,旨在獎勵基礎學科重大突破與形式化驗證,最高單題獎金100萬美元,獎池已存入1000萬美元。孫宇晨強調「獎跟著題目走」,面向全球貢獻者,無身份限制。當前題庫已收錄1022道問題,包括龐加萊猜想、黎曼猜想等。
(前情提要:孫宇晨宣布設立「孫宇晨獎」 開啟機器驗證數學懸賞新紀元 最高獎金100萬美元)
(背景補充:Arkham 公開伊朗央行 OFAC 制裁錢包地圖!鏈上監控 3.44 億美元 USDT 金流)
(本文為廣編稿,由波場TRON 撰文、提供,不代表動區立場,亦非投資建議、購買或出售建議。詳見文末責任警示。)
10月4日,孫宇晨獎營運方宣布,涉及題庫第305、371、381、526、866、1001號問題的獲獎候選人14天公示期已正式結束。營運方表示,公示期間未出現未解決異議,相關獲獎人資格已完成最終審核,正式進入首批受獎人書面確認與獎金發放流程。這是該獎設立以來首次完成完整公示閉環,標誌著全球首個基於「題目清單」的零信任、去中心化學術懸賞機制由此進入實質性兌現階段。
根據此前公示資訊,此次最終確認的獲獎人覆蓋第305、371、381號問題的形式化驗證者,和第866、1001號問題的數學解題者,以及第526號問題的解題與形式化者雙重角色。該資訊已在公示期內於官方GitHub候選登記表全程公開。獲獎者可透過官方信箱完成書面確認,補充收款與郵寄資訊,獎金將以USDT(TRC20)或USDC(ERC20)發放。

與此同時,題庫中第239號與第327號問題的解題者獲獎候選人也已於9月30日進入公示期,目前仍在進行中。隨著獎金申領者的資格持續得到確認,更多候選獲獎人將進入公示與確認受獎流程。
孫宇晨獎由波場TRON創始人孫宇晨於今年9月16日正式設立,旨在表彰基礎學科重大突破與機器形式化驗證的貢獻者,最高單題獎金達100萬美元。設立當日還公布了首批表彰名單,涉及66個數學問題,其中最高獎100萬美元授予OpenAI研究團隊,表彰其完成「三維納維–斯托克斯方程式存在性與光滑性問題」的解決成果及Lean形式化證明。9月22日,獎項營運方公布了獎池鏈上地址,該地址已存入1000萬美元,獎項營運方表示,獎勵發放記錄也將上鏈存證,永久可追溯。
按照孫宇晨獎獎項規則,該獎只接受原問題的完整數學解與完整Lean證明,獎勵授予清單題目的首個完成者。解題者獲總獎金70%,形式化驗證者獲30%,一人同時完成兩者可獲得全額獎金。獎項覆蓋自2026年1月1日起取得的數學進展。整個流程透過GitHub貢獻PR(Pull Request)、claim issue與官方信箱配合辦理。獎項營運方再次提醒,不會向獎勵申領者索取帳戶密碼、私鑰或助記詞,也不會要求向任何地址轉帳以啟動獎金。
孫宇晨在設立該獎時表示,「獎跟著題目走,不跟著人走。不等年會,不等提名,不等年齡。」獲獎資格的確認在於「機器把證明從第一行核到最後一行,一步不差。」他還指出,其個人財富正是從數學中來,而這些財富也將回到數學中去,未來其公益重心將轉向孫宇晨獎,「這是我能為人類做的事裡,貢獻最大的一項」。孫宇晨強調,隨著人工智慧的發展,數學正在進入一個不同的時代,「形式化的人從來不缺熱情,缺的是一張帶價碼的施工圖。」
據悉,孫宇晨獎堅持開放、公益、開源原則,面向一切貢獻者,無國籍、機構、身份限制,亦不區分人類與AI。當前題庫已收錄1022道問題,包括龐加萊猜想的形式化驗證、黎曼猜想、哥德巴赫猜想以及大量埃爾德什未解問題等。問題清單、確認標準、證明與核驗材料全部透過GitHub向公眾開放,且題目清單一旦掛出即永久鎖定,只增不減,獎金只兌不退。
孫宇晨此前還表示,「名單是唯一的回答。我不要求任何人現在相信。孫宇晨獎等得起。」這一理念正透過首批成果的最終確認與兌獎得以落地。獎項營運方表示,歡迎全球研究者、獨立愛好者及人機協作團隊持續關注官方GitHub與官網,參與後續驗證與申請,共同推動基礎科學在AI時代的加速突破。

