Justin Sun Ödülü, matematiksel bir zorluk çözüp kanıtı Lean ile formelleştirerek bilgisayarla doğrulatan bir araştırma projesidir. @trondao @TronDao_KOR Profesyonel araştırmacılar, bağımsız araştırmacılar ve AI iş birliği takımları da katılabilmektedir. Ayrıca, açık kaynaklı problem bankasından istediğiniz problemi seçip zorlanabilirsiniz. Katılımcılar, Solver ve Lean Formalizer olmak üzere iki kategoriye ayrılır ve temel ödül dağılımı Solver %70, Lean Formalizer %30 şeklindedir. Bir kişi her iki rolü de yerine getirirse, tüm ödülü alabilir. Daha önce topluluk tarafından doğrulanmış bir Lean formelleştirme varsa, yeni bir PR göndermek yerine, ilgili formelleştirmenin bağlantısını ve ilgili bilgileri kaydederek başvuruda bulunabilirsiniz. Bir problemi çözüp Lean formelleştirmesini tamamladığınızda, değerlendirme sürecinden geçerek Pinnacle, Breakthrough, Landmark, Advance ve Contribution gibi derecelerle ödül belirlenir. En üst düzey olan Pinnacle, temel zorlukların çözümü için 1 milyon dolarlık ödülle ödüllendirilmiştir. Ödül, problemin önemi, çözülmemiş kalma süresi, araştırma sonucunun akademik kabul düzeyi ve çözümün tamamlanma derecesi gibi faktörlerin tümüne dayanarak kararlaştırılır. Ödül kazanan olarak seçildikten sonra, ödülü almak için ayrı bir Talep ve KYC sürecini tamamlamanız gerekir. Özel anahtar veya seed ifadeleri gibi hassas bilgileri talep eden herhangi bir iletişim resmi bir prosedür değildir; dikkatli olunmalıdır. Bu proje, matematiksel problem çözme yeteneğinizi ve Lean kullanarak formelleştirme becerinizi birlikte geliştirmeniz ve gerçek araştırma sorunlarıyla mücadele etmeniz için mükemmel bir fırsattır. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR