The Justin Sun Prize is a research project that solves mathematical conjectures and formalizes their proofs in Lean for computer verification. @trondao @TronDao_KOR Professional researchers, independent researchers, and AI collaboration teams are all eligible to participate. Participants may choose any problem from the publicly available problem bank to tackle. Participants are divided into two roles: Solver and Lean Formalizer, with the base prize distributed as 70% to the Solver and 30% to the Lean Formalizer. If one individual fulfills both roles, they are eligible to receive the full prize. If a Lean formalization already exists and has been verified by the community, applicants may submit their entry by providing a link to the existing formalization and relevant details, without submitting a new PR. Upon successfully solving a problem and completing its Lean formalization, submissions undergo review and are awarded one of several tiers: Pinnacle, Breakthrough, Landmark, Advance, or Contribution, each corresponding to a different prize level. The highest tier, Pinnacle, awards $1 million for solving a core conjecture. Prize amounts are determined holistically based on the problem’s significance, duration of being unsolved, academic recognition of the results, and completeness of the solution. After being selected as a winner, recipients must complete a separate Claim and KYC process to receive their prize. Be cautious: any communication requesting sensitive information such as private keys or seed phrases is not part of the official procedure. This project offers a unique opportunity to simultaneously develop mathematical problem-solving skills and proficiency in formalization using Lean, while tackling real research challenges. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR