孫宇晨設立「孫宇晨獎」：我的財富從數學中來，將回到數學中去

9 月 16 日，波場 TRON 創辦人孫宇晨正式宣布設立「孫宇晨獎」。這是全球首個基於「題目清單」的零信任、去中心化學術懸賞機制，以基礎學科重大突破與機器形式化驗證為唯一發獎標準，最高單題獎金高達 100 萬美元。該獎的設立，不僅填補了諾貝爾獎一百餘年來未設數學獎的歷史空白，更試圖在 AI 時代重新定義科學獎勵的邏輯與邊界，推動人類與人工智能聯合加速基礎科學研究。

孫宇晨同時公布了首批「孫宇晨獎」獲獎名單，表彰涉及 66 個數學問題的解決成果及形式化證明。其中，最高獎授予 OpenAI 研究團隊，獎金為 100 萬美元，以表彰其針對「三維納維–斯托克斯方程的存在性與光滑性問題」給出的解決成果及形式化證明。根據 OpenAI 公布的信息，相關證明由其內部系統產生，形式化工作由 GPT-6 Astra 完成，並已通過 Lean 驗證。

這一問題涉及描述流體運動的納維–斯托克斯方程，簡稱 N–S 方程。該方程由法國物理學家克勞德–路易·納維、愛爾蘭裔英國數學家喬治·加布里埃爾·斯托克斯等人在 19 世紀發展建立，已有約兩百年的歷史。2000 年，克萊數學研究所將「三維納維–斯托克斯方程的存在性與光滑性問題」列為千禧年七大難題之一，並為此設立 100 萬美元懸賞。

此次獲獎成果還涉及森多夫猜想、埃爾德什互異子集和問題、Dinitz–Garg–Goemans 成本保持猜想等。 按照「孫宇晨獎」規定，已公布名單中的獲獎者需主動申請認領獎金。

孫宇晨表示，數學是一切基礎科學的底層語言與框架。真正拓展人類認知邊界的，從來不只是孤獨的求索，更是將洞見轉化為可被機器嚴格檢驗、可被全人類複現的形式化成果。「孫宇晨獎」正是為此而生，它不以傳統提名與資歷門檻為門檻，不以四年一度或終身成就為節奏，而是直接把獎金與尚未被攻克的數學難題、與機器可驗證的形式化證明綁定。任何貢獻者，無論是專業研究者、獨立愛好者，還是人與 AI 協作的個人或團隊，只要率先完成突破，即可獲得獎勵。

在 AI 時代，一個猜想的解決週期正在從數年壓縮至數月甚至數天。傳統以「終身成就」或固定週期為核心的獎勵體系，已難以匹配這一加速的科學節奏。「孫宇晨獎」的願景，是成為「AI 時代的諾貝爾獎」，以更去中心化、更形式化、更機器化的方式，回應新時期科學研究與激勵的深刻轉型。它將持續維護並公開更新一個數學難題與形式化代碼倉庫，題單一旦掛出即永久鎖定，只增不減，獎金只兌不退，成為一張「帶價碼的施工地圖」。

據介紹，「孫宇晨獎」獎勵將只授予首個完成者；若多人共同完成，則按貢獻比例分配。解題者可獲總獎金的 70%，完成形式化驗證者獲 30%；若一人同時完成解題與形式化，即可獲得全額獎金。即便完成懸賞的是人工智能系統，也予以授獎，但須由相關自然人、法人或其書面授權代表作為申報主體與法定收款人。獎項覆蓋 2026 年 1 月 1 日起取得的數學進展；若問題在該日期前已解但形式化驗證在之後完成，則形式化者可獲獎勵。當前題目清單已納入龐加萊猜想的形式化驗證、黎曼猜想、哥德巴赫猜想，以及已故數學家、沃爾夫獎得主保羅·埃爾德什生前提出的大量未解問題。

孫宇晨透露，除了獎金以外，獲獎者也會獲得證書和獎牌，該獎牌正面為孫宇晨頭像和「孫宇晨獎」中英文，背面為體現人類探索宇宙的雕刻，邊緣刻上了拉丁文「Quod probatur, solvitur」，意為「所證即解」。獎牌主體為銅材質，表面鍍有 6 克純金。

「孫宇晨獎」堅持開放、公益、開源三大原則：面向一切符合條件的貢獻者，無國籍、機構、身份限制，亦不區分人類與 AI；資金專用於獎項頒發與開放工作，不以營利為目的；問題清單、確認標準、證明與核驗材料全部通過 GitHub 向公眾開放，獎金發放記錄上鏈存證，永久可追溯、不可篡改。

孫宇晨指出，當前將人類數學證明轉化為機器可驗證形式化證明的工作，仍主要依賴 Lean 等形式化社區的自發熱情，系統性經濟激勵長期缺失。「形式化的人從來不缺熱情，缺的是一張帶價碼的施工地圖。」 「孫宇晨獎」首次為這一關鍵環節提供公開、帶獎勵的清單，意在徹底改變這一局面。

他進一步表示，「用人名命名的獎，是世上最不政治的東西。更重要的是，這給自己一個交代——我的財富，根源是數學。它從數學來，回到數學去。」據公開消息，過去數年，孫宇晨已在科技、環保、災害救援等領域累計捐贈近 4500 萬美元（約合人民幣 3 億元）。從今往後，其公益重心將全面轉向「孫宇晨獎」，持續以公開、可驗證的方式，推動基礎科學的加速突破。

「我不是數學家，我是一個旁觀者，我付錢。剩下的，交給證明。」孫宇晨說。「孫宇晨獎」的正式設立，已經開啟了一個以機器驗證為核心、以人機協同為動力、以去中心化懸賞為機制的新科學激勵範式。