孫宇晨宣布百萬美元數學突破獎金

瑞士日內瓦 — 2026年9月16日 — 孫宇晨辦公室宣布設立「孫宇晨獎」，這是一個去中心化且具零信任機制的學術賞金系統。該獎項以問題清單為基礎，針對基礎領域中經機器形式驗證的突破性成果發放獎金。單一問題最高可獲100萬美元獎金。該獎項旨在重塑AI時代的科學獎勵機制，並透過人機協作加速基礎研究。

首屆獲獎者亦同時公布，涵蓋66個數學問題的解答與形式化證明。100萬美元最高獎項頒給了OpenAI研究團隊，表彰其成功解決並形式化證明三維納維-斯托克斯方程的存在性與光滑性。根據OpenAI自行發布的聲明，其內部模型產生了該證明，而GPT-6 Astra則負責Lean語言的形式化與驗證。

納維-斯托克斯方程描述流體如何運動，常被簡稱為N-S方程。它們由法國物理學家克勞德-路易·納維與愛爾蘭裔英國數學家喬治·加布里埃爾·斯托克斯等人於19世紀發展，歷史約有200年。2000年，克萊數學研究所將納維-斯托克斯方程的存在性與光滑性列為七大千禧年大獎問題之一，並提供100萬美元獎金。

孫宇晨獎不依賴傳統提名程序、資格門檻、四年週期或終身成就。反之，它將獎項直接與數學問題及機器可驗證的形式證明掛鉤。任何人只要率先取得符合條件的突破，即可獲獎。

該獎項的願景是成為「AI時代的諾貝爾獎」，以更去中心化、形式化及機器驅動的模式，回應科學研究與激勵機制的深刻變革。問題清單與形式化程式碼將持續公開維護並更新。一旦列入清單，問題即被鎖定：只能新增問題，不得移除。已發放的獎金無論在任何情況下均無須歸還。

目前的問題清單包含了龐加萊猜想的形式化驗證、黎曼猜想、哥德巴赫猜想，以及已故數學家暨沃爾夫獎得主保羅·埃爾德許的多項未解問題。

獲獎者亦將獲得證書與獎牌。獎牌邊緣刻有拉丁文「Quod probatur, solvitur」，意為「證明，即支付」。

孫宇晨獎遵循三項核心原則：開放性、公共利益及開源。它對所有符合條件的貢獻者開放，不論其國籍、機構或身分，並平等對待人類與AI。資金僅用於獎金與開放倡議，不以營利為目的。問題清單、確認標準、證明及驗證資料均於GitHub上公開。獎金發放記錄則上鏈儲存，以確保永久可追溯且不可竄改。

「以個人命名的獎項是世界上最不政治化的東西，」孫宇晨表示。「更重要的是，它給了我一個對自己的交代——我的財富根源於數學。它來自數學，也將回歸數學。」

公開記錄顯示，孫宇晨已在科技、環保、災難救助及其他領域捐贈超過4500萬美元。孫宇晨獎將成為其慈善事業的核心重點，透過開放且可驗證的模式支持基礎科學的突破。

獎金以TRON鏈上的USDT（TRC-20）或以太坊鏈上的USDC（ERC-20）支付，由獲獎者自行選擇。

關於孫宇晨辦公室

孫宇晨辦公室支持孫宇晨在科技、區塊鏈、人工智慧、科學研究、投資、藝術及太空探索等領域的全球商業、慈善及公共倡議。

孫宇晨現任格瑞那達大使，並曾擔任該國駐世界貿易組織常任代表。他同時也是TRON的創始人。TRON是穩定幣革命的領先區塊鏈，自成立以來已處理超過13兆美元的交易量。在新興市場中，人們依賴TRON鏈上的USDT進入全球金融體系。

孫宇晨是阿里巴巴創始人馬雲的門生，其數位資產相關工作獲得國際認可，包括2025年4月的《富比士》封面專題報導，以及多次入選《富比士》30位30歲以下精英榜。2025年8月，他搭乘藍色起源NS-34任務升空，成為史上第712位前往太空的人。他的廣泛興趣包括科技、投資、慈善、藝術、遊戲與太空探索。

關於孫宇晨獎

孫宇晨獎是由孫宇晨設立的學術倡議，旨在推進數學、形式化驗證及AI輔助科學發現。該獎項是去中心化的，評判數學工作的標準在於證明本身的強度、嚴謹性與可驗證性，而非提交者的聲望。

孫宇晨以個人名義設立此獎項，作為一項長期承諾，將透過數學與科技創造的財富回饋於數學。其遺產將由它所表彰的工作以及那些發現經得起時間考驗的得獎者來定義。該獎項將明確的數學挑戰與機器可驗證的證明聯繫起來。其指導原則是開放性、公共利益與開源存取。