新聞 
幣種資訊 
關於我們 
孫宇晨（Justin Sun）宣布推出「Justin Sun Prize」，針對66道數學題按等級提供獎金。根據官方規則，Pinnacle等級單題獎金最高為100萬美元（約14億韓元）。
孫宇晨16日透過官方網站公布計畫，將獎金頒給提出數學問題解法，以及將其轉化為可由機器驗證之形式化內容的工作。獎金將以泰達幣（USDT）或USD Coin（USDC）支付，且證明必須從頭到尾通過機器驗證。
官方說明指出，問題登錄後獎金將被鎖定，贊助者不得取回。獎金相關資金與支付紀錄也將以公開、鏈上方式管理。
官方常見問題表示，獎金由孫宇晨個人資金籌措並由營運方支付。得獎者須完成身分確認與支付程序。
獎金対象包括提出數學證明的人，以及將證明轉換為Lean形式、使機器能夠驗證的工作者。兩種角色可分別獲得認可，獎金也可能分別支付給解題者與形式化工作者。
形式驗證是按照既定規則，將數學證明或程式邏輯轉換為機器可檢查程式碼的過程。本次計畫除了以自然語言提出的解法，也將可驗證的形式化工作納入獎勵範圍。
這項獎項是在此前介紹的向通過機器驗證的數學證明提供獎金的架構上，進一步擴充細節。先前說明也提出，證明必須從第一行到最後一行完整通過驗證。
Protos於21日報導，孫宇晨方面尚未證明可為66道題各支付最高100萬美元的6600萬美元資金。Protos表示，該媒體曾要求提供可公開驗證的獎金錢包地址，但未獲回覆。
孫宇晨官方網站說明，獎金資金將以公開、鏈上方式管理。不過，已確認的官方說明中，尚未列出可查驗實際持有資產的錢包地址或餘額。
因此，官方所稱的個人資金籌措，與外部可查驗的資金資料之間仍存在落差。獎金是否已實際備妥，仍須等公開錢包地址與鏈上支付紀錄提出後才能確認。
該計畫預計公開問題清單、驗證標準與證明資料。實際支付則須經過逐題驗證、營運方批准及得獎者身分確認程序。
孫宇晨方面在16日發布的資料中表示，66道題中部分核心題目的獎金最高為100萬美元，並已選定OpenAI研究團隊為首批得獎者。不過，整體計畫獎金是否經過外部驗證，仍是另一項待確認的議題。
留言 0