首屆 66 道獎勵問題 @justinsuntron 已公布 Justin Sun 奖勵計劃的首批 66 道獎勵問題，其中頂級問題的獎金高達 100 萬美元。 但有趣之處不僅在於獎勵本身， 而是背後的新模式： 解答 → 形式化 → 驗證 → 奖勵 1. 證明者獲得 70% 解決數學問題的人。 2. 形式化者獲得 30% 透過 Lean 將證明轉換為機器可驗證格式的人。 若同一人完成兩項工作，則可獲得 100% 的獎金。 無論解決方案來自人類、AI，還是人類 + AI，均無影響。 關鍵在於 Lean 是否能形式化驗證該證明。 這在 AI 時代尤其引人注目。 AI 生成看似正確的證明是一回事， 而機器逐步檢查該證明則是另一回事。 首屆列表已包含頂級類別中的納維-斯托克斯方程，由 OpenAI 團隊負責解答，OpenAI 負責 Lean 驗證。 這讓 Justin Sun 奖勵計劃的原始願景成為現實： 數學 × AI × 形式化驗證 × 區塊鏈 66 道問題僅是開始。 更大的問題是： 當數學突破成為開放、激勵且可機器驗證的任務時，會發生什麼？