孫宇晨宣布設立「孫宇晨獎」，為全球首個基於題目清單的零信任、去中心化學術懸賞機制，最高單題獎金100萬美元，旨在填補諾貝爾獎未設數學獎的空白，並以機器形式化驗證為唯一發獎標準。首批獲獎名單中，OpenAI團隊因解決三維納維-斯托克斯方程問題獲最高獎。該獎項面向所有人類與AI，強調開放、公益、開源，並將獎金與難題繫結，推動基礎科學加速突破。
（前情提要：強迫全民炒股！美國透過 「川普帳戶」法案：新生兒每人發一千美元買股票）
（背景補充：Web3 創業探討：加密專案，到底需不需要開源？）
（本文為廣編稿，由 TRON 撰文、提供，不代表動區立場，亦非投資建議、購買或出售建議。詳見文末責任警示。）
九月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億元）。從今往後，其公益重心將全面轉向「孫宇晨獎」，持續以公開、可驗證的方式，推動基礎科學的加速突破。
「我不是數學家，我是一個旁觀者，我付錢。剩下的，交給證明。」孫宇晨說。「孫宇晨獎」的正式設立，已經開啟了一個以機器驗證為核心、以人機協同為動力、以去中心化懸賞為機制的新科學激勵範式。
📍相關報導📍
賴清德重組內閣》設立金發局、虛擬貨幣專法有譜？金管會黃天牧是否留任受矚
