Ang Justin Sun Prize ay isang panel na pananaliksik na naglalayong lutasin ang mga mahirap na problema sa matematika at i-formalize ang kanilang mga patunay sa Lean para sa pag-verify ng computer. @trondao @TronDao_KOR Maaaring sumali ang mga propesyonal na mananaliksik, mga independiyenteng mananaliksik, at mga koponan na nagtatrabaho kasama ang AI. Maaari mo ring pumili ng anumang problema mula sa open problem bank at subukan ito. Ang mga sumasali ay nahahati sa dalawang papel: Solver at Lean Formalizer, kung saan ang pangunahing premyo ay ibinabahagi sa 70% para sa Solver at 30% para sa Lean Formalizer. Kung isang tao ang gagawin ang parehong dalawang papel, maaari niyang kunin ang buong premyo. Kung mayroon nang napatunayang Lean formalization sa komunidad, maaari mong i-apply sa pamamagitan ng pagpapakita ng link at kaugnay na impormasyon nito, nang hindi kailangang sumumite ng bagong PR. Kapag natapos mo ang paglutas ng problema at ang Lean formalization, susuriin ito at isasakatuparan ang mga antas tulad ng Pinnacle, Breakthrough, Landmark, Advance, at Contribution upang matukoy ang premyo. Ang pinakamataas na antas, Pinnacle, ay may 1 milyong dolyar na premyo para sa paglutas ng pangunahing mahirap na problema. Ang premyo ay matutukoy batay sa kabuuang pagsusuri sa kahalagahan ng problema, tagal ng pagiging hindi lutasin, antas ng akademikong pagkilala sa resulta, at kumpletong kalidad ng solusyon. Pagkatapos maging isang tagapagwagi, kailangan mong magdaraan sa isang hiwalay na proseso ng Claim at KYC upang makatanggap ng premyo. Maging babala sa anumang komunikasyon na humihingi ng sensitibong impormasyon tulad ng iyong private key o seed phrase—hindi ito bahagi ng opisyal na proseso. Ito ay isang proyekto kung saan maaari mong pagbutihin ang iyong kakayahan sa paglutas ng matematikal na problema at sa paggamit ng Lean para sa formalization habang sumasali sa tunay na pananaliksik. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR