Justin Sun Prize adalah proyek penelitian yang menyelesaikan masalah matematika rumit dan memformalkan buktinya dalam Lean untuk diverifikasi oleh komputer. @trondao @TronDao_KOR Peneliti profesional, peneliti independen, dan tim kolaborasi AI juga dapat berpartisipasi. Anda dapat memilih tantangan dari bank soal yang telah dipublikasikan. Peserta dibagi menjadi dua peran utama: Solver dan Lean Formalizer, dengan hadiah dasar dibagi 70% untuk Solver dan 30% untuk Lean Formalizer. Jika satu orang menjalankan kedua peran tersebut, ia berhak menerima seluruh hadiah. Jika sudah ada formalisasi Lean yang telah diverifikasi oleh komunitas, Anda dapat mendaftar dengan mengirimkan tautan dan informasi terkait formalisasi tersebut tanpa perlu mengajukan PR baru. Setelah menyelesaikan masalah dan menyelesaikan formalisasi Lean, hadiah akan ditentukan melalui penilaian dengan tingkatan: Pinnacle, Breakthrough, Landmark, Advance, dan Contribution. Tingkatan tertinggi, Pinnacle, memberikan hadiah sebesar 1 juta dolar AS untuk penyelesaian masalah inti. Hadiah ditentukan berdasarkan evaluasi menyeluruh terhadap tingkat kepentingan masalah, durasi ketidakterselesaian, pengakuan akademis dari hasil penelitian, dan tingkat kelengkapan penyelesaian. Setelah terpilih sebagai pemenang, Anda harus menyelesaikan prosedur Claim dan KYC terpisah untuk menerima hadiah. Perhatikan bahwa permintaan informasi sensitif seperti kunci pribadi atau seed phrase bukan bagian dari prosedur resmi. Proyek ini merupakan kesempatan untuk mengembangkan kemampuan menyelesaikan masalah matematis sekaligus kemampuan formalisasi menggunakan Lean, sambil menantang masalah penelitian nyata. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR