Justin Sun Prize — це дослідницький проект, спрямований на вирішення математичних нерозв’язаних задач та формалізацію їхніх доведень у Lean для верифікації комп’ютером. @trondao @TronDao_KOR До участі запрошуються професійні дослідники, незалежні дослідники та команди, що співпрацюють з ШІ. Ви також можете вибрати будь-яку задачу з відкритого банку завдань і взяти участь у її вирішенні. Учасники поділяються на дві ролі: Solver та Lean Formalizer. Базовий призовий фонд розподіляється у співвідношенні 70% на Solver та 30% на Lean Formalizer. Якщо одна особа виконує обидві ролі, вона отримує весь призовий фонд. Якщо вже існує визнана спільнотою формалізація Lean, ви можете подати заявку, не надсилаючи новий PR, а просто додавши посилання на існуючу формалізацію та відповідну інформацію. Після повного вирішення задачі та завершення формалізації у Lean ваш результат оцінюється комітетом і присвоюється один із рівнів: Pinnacle, Breakthrough, Landmark, Advance або Contribution — залежно від якості. Найвищий рівень — Pinnacle — передбачає приз у розмірі 1 000 000 доларів США за вирішення ключової нерозв’язаної задачі. Розмір призу визначається комплексно: з урахуванням важливості задачі, тривалості її нерозв’язаності, наукового визнання результату та ступеня повноти розв’язання. Після визначення переможця приз виплачується після проходження окремої процедури Claim та KYC. Будьте обережні: будь-які звернення, що вимагають надання конфіденційної інформації (наприклад, приватний ключ або seed phrase), не є частиною офіційного процесу. Це проект, який дозволяє одночасно розвивати навички розв’язання математичних задач та формалізації їх у Lean, працюючи над реальними дослідницькими проблемами. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR