Justin Sun Prize adalah projek penyelidikan yang menyelesaikan masalah matematik yang sukar dan membentuk buktinya dalam Lean untuk pengesahan komputer. @trondao @TronDao_KOR Ahli penyelidik profesional, penyelidik bebas, dan pasukan kolaborasi AI boleh menyertai. Anda juga boleh memilih masalah daripada bank soalan yang disediakan dan mencuba menyelesaikannya. Peserta dibahagikan kepada dua peranan utama: Solver dan Lean Formalizer, dengan hadiah asas dibahagikan 70% kepada Solver dan 30% kepada Lean Formalizer. Seseorang yang melaksanakan kedua-dua peranan tersebut boleh menerima keseluruhan hadiah. Jika bentuk formal Lean yang telah disahkan oleh komuniti sudah wujud, anda boleh membuat permohonan dengan menghantar pautan dan maklumat berkaitan bentuk tersebut tanpa perlu menghantar PR baru. Apabila anda menyelesaikan masalah dan menyelesaikan bentuk formal Lean, hadiah akan ditentukan melalui proses penilaian dalam kategori seperti Pinnacle, Breakthrough, Landmark, Advance, dan Contribution. Kategori tertinggi, Pinnacle, menawarkan hadiah sebanyak $1 juta apabila menyelesaikan masalah utama yang sukar. Hadiah ditentukan berdasarkan penilaian menyeluruh terhadap kepentingan masalah, tempoh masa ia belum diselesaikan, pengiktirafan akademik terhadap keputusan penyelidikan, dan tahap kelengkapan penyelesaian. Selepas dipilih sebagai pemenang, anda perlu melalui prosedur Claim dan KYC tersendiri untuk menerima hadiah. Berhati-hatilah terhadap sebarang hubungan yang meminta maklumat sensitif seperti kunci peribadi atau frasa benih—ini bukan sebahagian daripada prosedur rasmi. Projek ini merupakan peluang untuk membangunkan kemampuan menyelesaikan masalah matematik dan kemahiran formalisasi menggunakan Lean secara serentak sambil mencabar diri dengan masalah penyelidikan sebenar. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR