孫宇晨獎

ChainCatcher 消息，据孫宇晨獎官方消息，該獎首批獲獎人已於 9 月 19 日正式進入 14 天公示。目前公示題目為題庫第 305、371、381、526、866、1001 號，其中 305、371、381 號問題的候選人為形式化驗證者，866、1001 號候選人為數學解題者，526 號則兩種角色皆有。公示信息已在官方 GitHub 候選登記表公開，公眾可提出正式挑戰。據悉，孫宇晨獎為全球首個基於題目清單的零信任去中心化學術懸賞機制，最高單題獎金 100 萬美元。設立當日已公布首批 66 個數學問題，最高獎 100 萬美元授予 OpenAI 研究團隊，以表彰其針對"三維納維--斯托克斯方程的存在性與光滑性問題"給出的解決成果及形式化證明。同時，獎項運營方還公布了獎池鏈上地址，已存入 1000 萬美元。公示期結束後獎金將以 USDT（TRC20）或 USDC（ERC20）進行發放，獲獎人也將獲得證書和獎牌。

ChainCatcher 消息，波場 TRON 創始人孫宇晨宣布正式設立"孫宇晨獎"，並公布了首批獲獎名單。這是全球首個基於"題目清單"的零信任、去中心化學術懸賞機制，以基礎學科重大突破與機器形式化驗證為唯一發獎標準，最高單題獎金達 100 萬美元。孫宇晨表示，該獎項旨在開啟以機器驗證為核心、人機協同為動力、去中心化懸賞為機制的新科學激勵範式，致力於打造 AI 時代的諾貝爾獎。最高獎 100 萬美元授予了 OpenAI 研究團隊，表彰其完成"三維納維--斯托克斯方程（N-S 方程）存在性與光滑性問題"的解決成果及形式化證明。其他獲獎成果包括森多夫猜想、埃爾德什互異子集和問題等，共涉及 66 個數學問題。據悉，"孫宇晨獎"面向所有貢獻者，無身份限制，人類與 AI 皆可獲獎，但只會授予清單題目的首個完成者。問題清單與證明材料通過 GitHub 公開，獎金上鏈存證。獎項覆蓋自 2026 年 1 月1 日起取得的數學進展，此前已解但之後完成形式化驗證的，形式化者可獲獎。

ChainCatcher 消息，波場 TRON 創始人孫宇晨發文宣布設立"孫宇晨獎"，目前只關注數學。他稱該獎跟隨題目而非個人，不等年會、提名或年齡限制；每道題分兩欄署名，一欄記證明者，一欄記將證明形式化並寫入機器的人，兩者可為同一人，亦可為人、AI 或人使用 AI。獎金觸發條件為機器將證明從第一行核驗至最後一行且無差錯，核驗通過後兩欄名單即為該題獎金所有者。規則還包括：機器核驗前，若數學界已接受人類證明，可先掛名，獎金不動，狀態為"已證明，待形式化"。證明欄獎金只付給題目上架之後才被解決的題；上架時已解決的題目，證明者仍記名，獎金只付給完成形式化的人，不為數學史補發獎金。題單由孫宇晨簽字決定上架題目與定價，一旦掛出則只加不減、錢只兌不退，寫錯的題照付後再重掛；定價之外，驗證、發錢、掛名其本人不參與投票。孫宇晨表示，公益重心將轉向該獎，首期獎池已打入區塊鏈，地址與餘額公開，其僅保留繼續注資的權利；獲獎證明與獎金發放均將公開上鏈。他稱用人名命名是為避免機構更迭帶來的改名，並稱財富來源於數學，希望"從數學來，回到數學去"。