幣圈名人設「孫宇晨獎」解決數學難題 OpenAI團隊可獲百萬美元獎金 「財富從數學來 將回到數學去」

波場TRON創辦人孫宇晨周三（16日）宣布設立以其本人命名的「孫宇晨獎」（The Justin Sun Prize），目前以破解數學難題及形式化驗證為核心。他表示，自己的財富根源於數學，希望通過設立獎項，將資金重新投入數學研究及證明工作，「從數學來，回到數學去」。根據獎項安排，最高級別題目的單題獎金可達100萬美元，得獎者另可獲頒證書及實體獎牌。

獎項不設提名、年齡不限

該獎項不設年齡、提名及固定頒獎周期，每道題目均設有「證明者」及「形式化者」兩個角色，前者負責破解數學難題，後者則將證明轉化為可供電腦核驗的形式化內容。

兩項工作可由同一人或團隊完成，亦可由不同人士或團隊分工處理；人類、人機協作團隊，以至AI系統均可參與。只有當機器從第一行至最後一行完整核驗通過後，獎金才會觸發發放流程；已被數學界解決但尚未完成形式化的題目，將保留證明者姓名，待形式化完成後再確定獎金歸屬。

首批66題公布 最高獎授予OpenAI研究團隊

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

該方程由法國物理學家克勞德–路易·納維、愛爾蘭裔英國數學家喬治·加布里埃爾·斯托克斯等人在19世紀發展建立，已有約兩百年的歷史。2000年，克萊數學研究所將上述問題列為千禧年七大難題之一，並為此設立100萬美元懸賞。

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

解題與驗證按七三分帳

獎金分配方面，按照公布規則，最高級別題目的單題獎金可達100萬美元。一般情況下，完成數學解題的一方可獲總獎金70%，完成形式化驗證的一方則可獲30%；若同一人或團隊同時完成解題及形式化驗證，則可獲全數獎金。

除獎金外，獲獎者亦會取得證書及實體獎牌。按公布資料，獎牌正面印有孫宇晨肖像及「孫宇晨獎」的中英文名稱；背面以人類探索宇宙為主題，邊緣刻有拉丁文「Quod probatur, solvitur」，意為「所證即解」。獎牌以銅為主體，表面鍍有6克純金。

題目一旦列入清單便會「鎖死」，原則上只增不減，懸賞資金亦「只兌不退」。題目、證明及相關驗證資料將透過GitHub等公開資料庫供外界查閱，以提高成果的透明度及可核實性。

稱財富已超所需 盼回饋數學研究

孫宇晨在公開信中表示，區塊鏈建基於密碼學及數學，包括橢圓曲線、哈希函數等，因此認為自己的財富「根源是數學」，設獎亦是希望把部分資金重新投入數學研究。

至於獎項為何以其個人名字命名，孫宇晨在信中提出兩個原因。他認為，以人名命名的獎項較不受政治及機構變動影響，並以諾貝爾獎、菲爾茲獎、阿貝爾獎、圖靈獎及沃爾夫獎為例，指不少歷史悠久的科學及數學獎項均以個人命名；即使國家、機構或企業出現變遷，刻在獎項上的名字亦不易被更改。

他形容，這是「給我自己的一個交代」。孫宇晨寫道：「我三十六歲，積累的財富已經超過了我需要的量。」他認為，財富若缺乏明確方向，最終或只會成為遺產糾紛或拍賣市場的交易紀錄，因此希望趁自己仍然清醒時，親自為這筆資金「指一條路」。

孫宇晨亦以「它從數學來，回到數學去」概括設獎初衷，冀將源於數學及加密技術所累積的財富，重新投放至數學研究領域。

他表示，該獎項首期獎池已經打入區塊鏈，地址公開，餘額全世界可見，其本人並僅保留繼續向獎池注資的權利。每份獲獎證明及獎金發放記錄都將公開並保存在鏈上，以便任何人獨立驗證。他形容自己在獎項中的角色時說「我不是數學家。我是一個旁觀者，我付錢。剩下的，交給證明。」