孫宇晨獎首批獲獎人公示，獎池存入1000萬美元

孫宇晨獎首批獲獎人於 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）發放，獲獎人將獲得證書和獎牌。