新聞 
幣種資訊 
關於我們 
Zombit於17日報導，孫宇晨設立最高獎金100萬美元（約新台幣3.2億元）的去中心化數學獎，並選定OpenAI研究團隊為首位得獎對象。OpenAI表示，團隊已公開三維納維–斯托克斯方程的「存在性與光滑性」問題解法，以及Lean形式化證明。
TRON創辦人孫宇晨（Justin Sun）表示：「我的財富根植於數學，也將回到數學。」這項計畫旨在把個人財富重新投入基礎科學研究。
此前本刊曾報導孫宇晨設立獎勵通過機器驗證數學證明的獎項，此次則公開首位得獎對象與詳細問題清單。
孫宇晨數學獎不採用傳統學術獎項的提名制度，也不以所屬機構或國籍作為標準。參與者須先解決公開問題，再利用Lean等工具提交可由機器驗證的形式化證明。
首批獎項清單共包含66道數學問題，其中最高獎金100萬美元分配給OpenAI研究團隊的納維–斯托克斯問題解法與形式化證明。
納維–斯托克斯方程是用於描述流體運動的數學工具。證明該方程的解是否存在且保持光滑，是克雷數學研究所於2000年選出的7大千禧年難題之一。
OpenAI於9月8日宣布，內部系統已提出納維–斯托克斯問題的解法。OpenAI官方說明指出，該解法由效能高於GPT-6 Astra的內部模型生成，Lean形式化與驗證則使用GPT-6 Astra完成。
OpenAI公開的正式解法與Lean證明，採用機器可逐步檢查證明過程的形式。其核心是按照既定規則，將以自然語言撰寫的解法轉換為可驗證的程式碼。
本獎項不僅將數學成果納入公開驗證，也把獎勵流程置於同一架構中。數學問題、證明與驗證程式將公開於GitHub，獎金支付紀錄則保留在區塊鏈上。
問題一經登錄便不會從清單刪除，清單只能新增內容。獎金也不依固定頒獎週期發放，而是根據個別問題是否完成解答與驗證支付。
除人類外，人工智慧也能以解題者身分參與。得獎對象不受特定機構或國籍限制，官方指南說明，所有提交內容均須先通過機器驗證，再接受學術審查。
首批清單也納入與黎曼猜想、哥德巴赫猜想及龐加萊猜想形式化驗證相關的問題。孫宇晨數學獎營運方提出，將把該獎項發展為「AI時代的諾貝爾獎」。
不過，OpenAI的解法與形式化證明並不會因本次獲獎，立即確定為數學界最終的學術成果。相關結果在數學上的地位，仍須與後續審查分開判斷。
獎金可使用TRON(TRX)網路上的USDT，或以太幣(ETH)網路上的USDC領取。數學問題、證明與支付紀錄同時保留在公開清單及區塊鏈上的做法，與傳統學術獎項的獎勵方式有所不同。
孫宇晨數學獎未來也將持續以公開問題與機器驗證結果為依據，決定得獎者。
留言 0