Justin Sun Prize 是一項研究計畫，旨在解決數學難題，並使用 Lean 將其證明形式化，以接受電腦驗證。 @trondao @TronDao_KOR 專業研究者、獨立研究者及 AI 協作團隊均可參與。 您也可從公開的問題庫中選擇感興趣的問題進行挑戰。 參與者主要分為 Solver 和 Lean Formalizer 兩類，基本獎金分配比例為 Solver 70%、Lean Formalizer 30%。 若同一人同時擔任兩項角色，則可獲得全部獎金。 若社區中已存在經過驗證的 Lean 形式化成果，您無需提交新的 PR，只需提供該形式化的連結與相關資訊即可申請。 完成問題解決與 Lean 形式化後，將經過審核，並根據 Pinnacle、Breakthrough、Landmark、Advance、Contribution 等級決定獎金。 最高級別 Pinnacle 在解決核心難題時可獲得 100 萬美元獎金。 獎金將綜合評估問題的重要性、未解決時長、研究成果的學術認可度及解決的完整性等因素決定。 獲選為得獎者後，需經過獨立的 Claim 與 KYC 流程方可領取獎金。 請注意，任何要求提供私鑰、助記詞等敏感資訊的聯絡均非官方程序。 這是一項能同時提升數學問題解決能力與 Lean 形式化能力，並實際挑戰真實研究問題的計畫。 #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR