Justin Sun Prize 與 MathDB 推出 50 道問題的試行計畫

今日，Justin Sun 辦公室與由加州理工學院教授 Tony Yue Yu 及其團隊創建的數學研究平台 MathDB 共同公布了 Justin Sun Prize 的試行計畫。

Justin Sun Prize 旨在成為「AI 時代的諾貝爾獎」，透過去中心化、形式化及機器驅動的方式，適應科學研究與獎勵機制的深刻變革。單一問題獎金最高可達 100 萬美元，具體取決於獎項條款與資格要求。

這項合作透過 MathDB 建立了提交與審查系統。MathDB 負責處理解答提交、驗證 Lean 形式化證明以及審查說明材料；Justin Sun Prize 則分別評估資格、歸屬、優先順序及適用的獎項條款。

「AI 正在改變數學探索的速度，但僅有速度並不代表科學進步，」Justin Sun Prize 創辦人 Justin Sun 表示。「機會在於建立一個框架，讓人類洞察與機器智能能夠在不犧牲嚴謹性的前提下協同運作。與 MathDB 合作，將數學發現與機器可驗證的證明納入同一流程，我們相信這有助於為未來的發現定義更嚴謹的模式。」

此試行計畫涵蓋 50 道問題，分為四個獎勵等級，每道問題的獎金池最高達 100 萬美元。頂級獎項包括 P vs NP、黎曼猜想、楊-米爾斯存在性與質量間隙、霍奇猜想、全局朗蘭茲函子性以及 Birch 和 Swinnerton-Dyer 猜想等。MathDB 與 Justin Sun Prize 將公布完整的問題清單及適用的獎項條款。

每項獎項均須通過完整的資格審查、遵守反洗錢（AML/制裁）法規，以及遵循發布於 https://www.hejustinsun.com/prize 的官方計畫規則。

為拓展先進研究的影響範圍，MathDB 試行計畫不僅獎勵數學問題的解答，也獎勵這些解答的清晰且具說服力的傳達。獎金分為三部分：50% 給數學解答，30% 給 Lean 形式化證明，20% 給符合資格的論述。

MathDB 是一個大型社群資料庫，收錄數學定義、定理、猜想與開放問題，旨在讓數學知識更易於組織、連結與擴展。該項目包含 Lean 形式化證明與自動化證明驗證，以及數學解釋與輔助研究材料。加州理工學院教授 Tony Yue Yu 及其團隊將監督此試行計畫的科學層面。

「解決一個基礎數學問題往往帶來遠超過原始問題答案的成果，」Yu 表示。「這個過程可能揭示意想不到的連結、引入強大的工具，並開創全新的研究方向。這些發展可能產生跨越世代與學科的影響。Justin Sun Prize 透過引起對挑戰性問題的關注、支持投身其中的研究者，並鼓勵知識的公開傳播，來頌揚這種探索精神。我們與 Justin Sun Prize 的合作基於一個信念：透過去中心化、嚴謹且可驗證的方式追求基礎研究，能夠加速發現與科學進步的腳步，並為人類文明的進展做出貢獻。」

完整的問題清單、提交標準與審查程序將公布於 MathDB (https://mathdb.com/) 及 Justin Sun Prize (https://www.hejustinsun.com/prize)。

關於 Justin Sun 辦公室

Justin Sun 辦公室支持 Justin Sun 在全球的商業、慈善及公共事業，涵蓋科技、區塊鏈、AI、科學研究、投資、藝術與太空探索等領域。

Justin Sun 現任格瑞那達駐 WTO 大使及前常駐代表，並創立 TRON。TRON 引領穩定幣革命，自推出以來已處理超過 13 兆美元的交易量。在新興市場，人們使用 TRON 上的 USDT 加入全球金融體系。

作為阿里巴巴創辦人馬雲的門生，Sun 因其數位資產工作獲得國際認可，包括 2025 年 4 月的《富比士》封面專題報導及多次《富比士》30 Under 30 榜單。2025 年 8 月，他搭乘 Blue Origin 的 NS-34 任務飛往太空，成為第 712 位太空旅行者。他的興趣涵蓋科技、投資、慈善、藝術、遊戲與太空探索。

關於 Justin Sun Prize

Justin Sun Prize 是由 Justin Sun 創立的學術計畫，旨在促進數學、形式化驗證與 AI 輔助科學發現的進步。該獎項採去中心化模式，基於這樣的概念：數學工作應根據證明的強度、嚴謹性與可驗證性來評估，而非提交者的聲望或名譽。

Sun 以自己的名字設立該獎項，作為一項長期承諾，將數學與科技產生的財富回饋給數學。其遺產將由它所表彰的工作以及那些發現經得起時間考驗的獲獎者來決定。該獎項將明確的數學挑戰與機器可驗證的證明連結起來。其核心原則是開放性、公共利益與開源取用。

更多資訊請見 https://www.hejustinsun.com/prize。