孫宇晨仿效諾貝爾設立數學懸賞獎，獎金鎖在鏈上，證明經機器驗證後由證明者與形式化者領取，讓財富回歸數學。
孫哥，孫宇晨今（16）日仿效諾貝爾奬，宣布設立以自己為名的數學懸賞獎「Justin Sun Prize」。他認為 AI 加快了解題速度，每四年頒一次的傳統獎項已經跟不上。
根據他的說明，這個獎只看成果，不看得主是人還是 AI，也不設年齡限制。每道題的獎金分給兩種人：解出題目的證明者，和把證明轉成機器能檢查格式的形式化者。
證明被數學界接受後，會先記下證明者的名字，但要等機器從頭到尾驗證無誤才發錢。獎金放在公開的鏈上地址，題目只能新增、不能刪除，出資者也不能把錢撤回。孫宇晨只決定要列哪些題目、每題多少錢，其他一律不插手。
— H.E. Justin Sun 👨🚀 🌞 (@justinsuntron) September 16, 2026
以下是他說明該獎項的完整翻譯整理：
一
阿佛烈·諾貝爾發明了炸藥，他大部分的財富也由此而來。
相傳在 1888 年，一家法國報紙誤刊了他的訃聞，標題是「死亡商人死了」。諾貝爾讀到了自己的訃聞，幾年後，他擬好了遺囑。
如今，已經沒有人稱他為死亡商人。
「諾貝爾」已經成為一個中性的詞，就像「伏特」或「瓦特」——褪去了情感色彩，單純只是一個度量單位。他把財富留給那些「對人類做出最大貢獻」的人。他的財富回到了人類手中，他的名字也重新歸於中性——不是靠自我辯解，而是靠一份延續了一個世紀的得獎者名單。
我分享這個故事，是因為我懂他。我知道財富從何而來，也知道它可以往何處去。
二
我的財富建立在數學之上。
整個區塊鏈產業，都奠基於少數幾個經過深入研究的密碼學基本元件與數學假設：橢圓曲線上離散對數問題的求解難度、雜湊函數的不可逆性，以及大數分解的困難性。1985 年，兩位數學家各自獨立提出了將橢圓曲線用於密碼學的構想——一位在大學，另一位在 IBM，彼此完全不知道對方的存在。
當時，沒有人看得出這有什麼實際用途。他們在黑板上勾勒出的東西，後來演變成一個兆美元規模的市場，賦予個人一種前所未有的東西：真正的、無需許可的金融主權。然而，這兩位數學家從未因他們促成的這場革命賺到一分錢。
這份自由，是數學贈予人類、卻最被嚴重低估的禮物之一。我從這份禮物中獲取了很多。設立這個獎項，首先是我回饋這個根基的方式。
三
諾貝爾獎沒有數學獎。這個缺漏可以追溯到一個多世紀以前——或許出於個人原因，或許只是一時疏忽。
後來有了菲爾茲獎，每四年頒發一次，授予四十歲以下的數學家；還有阿貝爾獎，每年頒發一次，表彰終身成就。兩者都極為傑出，但它們的節奏屬於一個已經逝去的時代。
不過，數學界有自己的傳統。保羅·艾狄胥終其一生都在為尚未解決的數學問題懸賞，金額從 25 美元到 10,000 美元不等。任何人解出其中一題，就會收到他開的支票。許多人把這些支票裱框掛在牆上，一輩子都沒有兌現。艾狄胥於 1996 年辭世，此後，這樣的懸賞就變得少見了。
數學如今正邁入一個全新的時代。人工智慧無法進行物理實驗，但它擅長邏輯推理。它或許很難替物理學家打造一座粒子對撞機，卻能替數學家探索一萬條路徑。今天，從提出猜想到完成證明，時間可能只要幾個月，甚至幾天。面對這種前所未有的速度，每四年頒發一次的獎項，就像在一個日新月異的世界裡緩緩敲響的鐘聲。
四
正因如此，孫宇晨獎的設計極其簡單。
獎勵的是解答，而不是人。沒有年度頒獎典禮，沒有官僚化的提名程序，沒有年齡限制。
每一道題目都表彰兩種不同的貢獻者：證明者，以及形式化者——也就是把證明轉譯成機器可驗證格式的人。這兩個角色可以由同一個人包辦，也可以由遠在地球兩端、素不相識的人分別取得。人類、AI，或兩者的結合——我只在乎結果，不在乎貢獻者是人還是機器。同一個名字可以一次又一次出現，出現在它所贏得的任何一欄。
獎金發放只有一個觸發條件：機器必須從第一行到最後一行驗證整個證明，沒有任何一處錯誤。一旦通過驗證，列在這兩欄中的人，就是該題獎金的所有者。
這個標準不是我發明的——彼得·舒爾茨曾把他具有里程碑意義的定理公布在網路上，呼籲社群將其形式化以供機器驗證；而費馬最後定理此刻正被一行一行地轉譯成程式碼。
但人類的成就，早在機器完成工作之前就會獲得承認。一旦數學界接受了某個證明，證明者的名字就會被正式認可。資金仍保持鎖定，狀態更新為：「已證明，待形式化」。
解題懸賞只適用於列入官方登錄冊之後才被解決的題目。如果某道題目在列入時已經被解決，證明者的名字仍會被記錄，但獎金將全數歸於將其形式化、交由機器驗證的人。這個獎項記錄的是正在發生的歷史；它不會為已經完成的工作追溯頒獎。
界線劃得清清楚楚：榮譽交由數學界認定，獎金交由機器裁決，出資者則與兩者嚴格保持獨立。人類的判斷只保留給一件事：確認寫進機器裡的題目，確實就是正確的那道題目。
我的權限始於一件事，也止於一件事：這份題目清單。哪些題目被列入、懸賞金額多少——完全由我一人決定。艾狄胥親手在自己的支票上寫下金額，我看不出有什麼理由要打破這個傳統。但懸賞一旦列出，就會被鎖定：題目只能新增，永不移除；資金只能支付出去，出資者永遠無法撤回。
包括我在內，任何人都無法竄改。如果某道題目的表述有誤，懸賞照樣支付，修正後的版本則會重新列入。
我個人只專注在這一件事上。除了為懸賞定價之外，在驗證、支付或名字歸屬上，我沒有任何表決權。
讓結果自己說話。
五
這套規則最引人入勝之處，是「等待」。
一道題目被解決並獲數學界接受之後，獎金不會立即發放。證明者的名字先被列上，形式化那一欄保持空白，狀態顯示為：「已證明，待形式化」。一旦有人將該證明形式化並通過機器驗證，他們的名字就會填進那個空欄，確立獎金所有權的程序也就從那一刻開始。
在其他獎項中，等待是空轉的時間——一道官僚程序，一種不得不忍受的必要之惡。在這裡，等待本身就是一份公開的待辦任務清單。
許多人把艾狄胥的支票裱框掛在牆上，從未兌現。一張未兌現的支票，是紀念過去的豐碑；而鎖在鏈上的獎金，則是推動未來的催化劑。那個空白欄位實際上是在向全世界宣告：一項歷史性的任務正在等待，而且附有懸賞。
從這份題目清單中，會長出某種遠為宏大的東西：一張公開的地圖，標示出所有人類已經接受、但機器尚未驗證的成果。這樣的地圖如今並不存在。它只以碎片的形式存在，散落在各個不同的平台上——從未統一，更沒有標上價格。
從事形式化工作的人從不缺乏熱情；他們缺的是一張附有明確懸賞的藍圖。懸賞歸於完成任務的人。從今天起，把冗長證明餵給機器的熱情依舊屬於他們，而資金支持則由我負責。
六
我也想談談指導理念。這正是本獎項與諾貝爾獎真正分道揚鑣之處。
諾貝爾是一位發明家。他終其一生都相信，一樣東西應該要有用——應該在現實中扎根，被製造、被銷售，並改變人們的生活方式。那是他的指導理念，也銘刻在以他為名的各個獎項之中：物理、化學、醫學、文學、和平。每一項都獎勵對真實世界產生具體影響的工作。一個多世紀以來，諾貝爾獎表彰的是那些在堅實大地上建造的人。
我的指導理念不同，而我也不打算隱瞞它的源頭。我讀過達里奧·阿莫迪的文章〈Machines of Loving Grace〉（慈愛的機器），並認同他所描繪的願景：一個住在資料中心裡的天才國度。
我認同這個願景，因為我正朝著同樣的終極目標努力。區塊鏈從一開始就是一個完全建立在抽象之上的領域——沒有工廠、沒有礦場、沒有領土，只有共識與數學。我在 AI 領域的工作，只是擴展這個領域的另一種方式。我相信在這個世紀，人類最重要的結構中，將有很大一部分存在於數位領域，而純粹推理是建造這樣一個領域的唯一根基。1940 年，G. H. 哈代在《一個數學家的辯白》中寫道，他很高興數論永遠不會有任何實際用途。八十年後，數論成了我所屬產業的根基。
諾貝爾和我選擇了不同的方向。他獎勵具體的、真實世界中的應用；我獎勵的是純粹的理論——以無懈可擊的邏輯精確度所建構的抽象結構。兩種取向並無高下之分；它們反映的是兩個時代、兩種截然不同的典範。我希望透過一個獎項，年復一年地傳承這個由邏輯驅動的抽象王國願景。
七
2007 年秋天，三名學生在同一年進入北京大學。一位來自深圳，是奧林匹亞競賽金牌得主，進入數學科學學院。另一位來自桂林，起初就讀地球與空間科學學院，後來轉入數學。第三位來自惠州，念的是歷史。
十九年後，其中兩位在費城同台。王虹與鄧煜獲頒 2026 年菲爾茲獎。
第三位最近在私人飛機的機艙裡上網時，讀到了這則新聞。他放下手機。他的第一個念頭不是驕傲，而是：我們這一代人已經長大了。是時候做出我們自己的貢獻了。
他們的貢獻是證明定理。我的貢獻，是確保他們因此獲得回報。
八
這些年來，我的慈善工作分散在各式各樣的計畫上。往後，我會把全部心力集中在這個獎項上——因為它代表了我對人類最重大的潛在貢獻。
目前，它是一個數學獎。
九
最後談談這個獎項為什麼以我的名字命名，主要有兩個原因。
第一，以人名命名的獎項，是少數能超越機構政治的事物之一。諾貝爾、菲爾茲、阿貝爾、圖靈、沃爾夫——數學與科學界最歷久不衰的獎項，幾乎都以個人命名。國家會更迭，機構會改名，公司會消失。名字一旦掛上獎項，就會一直留著。沒有人會去改寫它。
第二，這是我欠自己的。我今年三十六歲。我已累積的財富遠遠超過我所需要的。沒有目標的財富，只會滋生遺產糾紛，最終淪為拍賣行裡的成交紀錄。趁我神智清明、尚有能力之時，我想親自掌舵這筆財富：它來自數學，也將回歸數學。
至於圍繞在我身上的任何公眾質疑，就讓得獎者名單來回答吧。我並不期待今天就有人相信我的話。
孫宇晨獎是為了經得起時間考驗而打造的。
十
最後，這個獎項不需要人與人之間的信任。驗證靠的是數學。機器只對邏輯負責。初始獎金池已經轉入區塊鏈。地址是公開的，任何人都能查看餘額。我只保留追加資金的權利。
每一份得獎的證明都會公開，任何人都可以親自檢驗。不需要信任——既不必信任我，也不必信任任何委員會。每一筆支付都會永久留在鏈上——公開、不可竄改，一百年後依然可以驗證。一個證明一旦成立，就永遠成立。我希望給予證明者的獎勵，也能具有同樣恆久不變的特質。
我不是數學家。我只是一名觀察者、一名贊助者。其餘的，就交給證明吧。
孫宇晨
欲進一步了解孫宇晨獎，請造訪以下官方管道：
📍相關報導📍
孫宇晨擋下 WLFI 秘密仲裁！加州法院裁定需「公開審理」，孫索賠數億鎂
