孫宇晨宣布設立「孫宇晨獎」,定位為一套以數學問題與機器可驗證形式化證明為核心的去中心化學術獎勵機制,試圖在 AI 加速科學研究的背景下,建立不同於傳統學術獎項的獎勵模式。
孫宇晨表示,「我的財富根植於數學,它來自數學,也將回到數學」,希望透過這套開放、去中心化的獎勵機制,將個人財富重新投入基礎科學研究。他表示,孫宇晨獎並不是按照傳統學術獎項的模式運作,而是直接針對尚未解決的數學問題提供獎勵。
參與者不需要經過傳統提名程序,也不以國籍、所屬機構或身分作為限制,只要率先完成符合要求的數學突破,並以 Lean 等工具完成形式化、機器可驗證的證明,就能申請相應獎金。官方希望藉此降低傳統學術體系的門檻,讓人類研究者與 AI 都能成為問題的解決者。
這套機制也反映孫宇晨對 AI 時代科學研究方式改變的看法。官方將孫宇晨獎定位為一種「零信任」的去中心化學術賞金機制,將數學問題、證明及驗證程式公開在 GitHub,獎金發放紀錄則透過區塊鏈保存。問題一旦列入清單,只能增加、不能移除,獎項也不採取固定週期,而是讓獎勵直接跟隨具體的科學問題與可驗證成果。
孫宇晨獎首批名單已涵蓋66項數學問題,其中最高100萬美元獎項頒給 OpenAI 研究團隊,表彰其針對三維 Navier–Stokes 方程「存在性與光滑性」問題的解答及形式化證明。官方稱,相關證明由 OpenAI 內部模型產生,Lean 形式化與驗證則由 GPT-6 Astra 完成。該問題也是 Clay Mathematics Institute 於2000年列出的七大「千禧年大獎難題」之一。
目前獎項清單還包括黎曼猜想、哥德巴赫猜想,以及龐加萊猜想的形式化驗證等問題。官方表示,希望最終讓孫宇晨獎成為「AI 時代的諾貝爾獎」,以開放、形式化及機器驗證的方式重新思考科學獎勵制度。
除了獎金之外,得獎者也將獲頒證書及獎章,獎金則可選擇以 TRON 上的 USDT 或 Ethereum 上的 USDC 支付。孫宇晨表示,這項計畫將成為其慈善事業的重要方向,持續透過公開且可驗證的模式支持基礎科學突破。