孫宇晨獎引入加州理工團隊評審并為數學闡釋設獎，50題試點含黎曼猜想等百萬難題

　　日前，孫宇晨辦公室宣布，孫宇晨獎将與加州理工學院數學教授餘越(Tony Yue Yu)及其團隊開發的數學研究平台 MathDB 展開合作，共同啟動一項覆蓋 50 道數學問題的試點計劃。根據合作安排，MathDB 負責接收數學解答、驗證 Lean 形式化證明并評審相關闡釋材料;孫宇晨獎則獨立負責獲獎資格、成果歸屬、優先權及相關獎勵條款的審核與确認。

　　除了引入專業評審外，此次試點的另一大亮點是，将數學成果的闡釋工作納入激勵體系。此前孫宇晨獎明确，數學解答占總獎金的70%，Lean 形式化驗證占 30%。而在本次進行試點的50道數學題中，數學解答占總獎金的 50%，Lean 形式化驗證占 30%，符合要求的闡釋與科普材料占 20%。P 與 NP 問題、黎曼猜想等百萬美元獎金問題也在本次試點的50道難題中。

　　孫宇晨獎提出以“AI 時代的諾貝爾獎”為長期願景，希望在傳統學術評價機制之外，探索更加開放、形式化和機器可驗證的科研激勵方式。與 MathDB 的合作，意在讓這一願景先在50道題上接受實際檢驗。

　　50 道問題覆蓋多項經典數學難題

　　本次與MathDB啟動的試點共覆蓋 50 道數學問題，并根據問題難度和研究價值設置四個獎勵等級。

　　*高等級涉及多個當代數學領域*具代表性的開放問題，包括 P 與 NP 問題、黎曼猜想、楊—米爾斯存在性與質量間隙問題、霍奇猜想、全局朗蘭茲函子性(Global Langlands functoriality)以及貝赫和斯維讷通—戴爾猜想(Birch and Swinnerton-Dyer Conjecture，以下簡稱BSD 猜想)等。

　　其中，P 與 NP 問題、黎曼猜想、楊—米爾斯存在性與質量間隙問題、霍奇猜想和 BSD 猜想均屬于克雷數學研究所設立的“千禧年大獎難題”;全局朗蘭茲函子性則是朗蘭茲綱領中的重要研究方向之一。

　　完整題目列表、具體獎勵金額、提交要求和評審流程将通過 MathDB 與孫宇晨獎官方渠道公布。所有獎勵均須經過資格審核，并符合适用的反洗 錢、制裁及其他法律法規要求。

　　“AI 正在改變人類探索數學的速度，但光有速度不等于科學進步，”該獎項的創辦者孫宇晨表示，“當下的關鍵契機，在于建立一種全新框架，讓人類洞察與機器智能相輔相成，且絕不犧牲嚴謹性。與 MathDB 的合作将數學發現與機器可驗證的證明納入同一流程，我們相信這将為未來的科學探索樹立更嚴謹的範式。”

　　從數學解答到形式化驗證與知識闡釋

　　MathDB 是一個面向數學研究的大型社區數據庫，收錄數學定義、定理、猜想和開放問題，并嘗試将分散的數學知識進一步整理、關聯和持續擴展。除傳統數學内容外，平台還整合了 Lean 形式化和自動證明驗證能力，使研究者能夠圍繞同一問題查看數學表述、研究材料、形式化證明及相關進展。

　　此次孫宇晨獎與MathDB 合作的 50 題試點，也在傳統數學懸賞主要獎勵*終解答的基礎上，進一步将形式化驗證與數學闡釋納入激勵體系。

　　在 AI 加速參與數學研究的背景下，成果的正确性、可驗證性和可理解性正變得愈發重要。此次 MathDB 試點嘗試将數學發現、形式化驗證與知識傳播納入同一流程，探索更适應 AI 時代科研協作的機制。

　　“解決一個基礎數學問題，收獲往往遠不止于原問題的答案，” 餘越表示，“過程中可能冒出意想不到的關聯，帶來強大的新工具，并開辟全新的研究方向，而這些進展的影響力能跨越世代和學科。”孫宇晨辦公室認為，孫宇晨獎看重的正是這種探索精神——它讓人們關注難題，支持迎難而上的研究者，也鼓勵知識走向公衆。“我們與孫宇晨獎合作，是因為我們都相信：以去中心化、嚴謹、可驗證的方式做基礎研究，能加速發現、加快科學進步，推動人類文明向前。”餘越進一步補充。

　　孫宇晨獎方面表示，希望通過此次 50 題試點，在實際運行中檢驗這一機制，并進一步探索人類研究者、AI 系統與形式化證明工具協同參與科學發現的可能路徑。

　　需要說明的是，上述 50%—30%—20% 的獎勵分配機制僅适用于此次 MathDB 試點項目，具體獎勵金額、資格要求、提交方式及評審流程，仍以各參評問題對應的正式條款以及 MathDB、孫宇晨獎官方發布的信息為準。