Le Justin Sun Prize est un projet de recherche visant à résoudre des problèmes mathématiques complexes et à formaliser leurs preuves en Lean pour validation par ordinateur. @trondao @TronDao_KOR Des chercheurs professionnels, des chercheurs indépendants et des équipes collaborant avec l'IA peuvent participer. Vous pouvez également choisir n'importe quel problème parmi une banque publique de défis. Les participants sont répartis en deux rôles : Solver et Lean Formalizer, avec une répartition de prix de base de 70 % pour le Solver et 30 % pour le Lean Formalizer. Si une seule personne remplit les deux rôles, elle reçoit l'intégralité du prix. Si une formalisation Lean déjà validée par la communauté existe, vous pouvez postuler en fournissant le lien vers cette formalisation et les informations associées, sans soumettre de nouveau PR. Une fois le problème résolu et la formalisation Lean achevée, votre travail sera évalué et classé selon des niveaux tels que Pinnacle, Breakthrough, Landmark, Advance ou Contribution, qui déterminent le montant du prix. Le niveau le plus élevé, Pinnacle, attribue un prix de 1 million de dollars pour la résolution d'un problème fondamental. Les prix sont déterminés en fonction de la pertinence du problème, de sa durée d'insolubilité, du reconnaissement académique des résultats et du niveau d'achèvement de la solution. Après avoir été sélectionné comme lauréat, vous devrez passer par une procédure de réclamation et de KYC pour recevoir votre prix. Méfiez-vous de toute communication demandant des informations sensibles telles que votre clé privée ou votre phrase de démarrage : ce ne sont pas des étapes officielles. Ce projet vous permet de développer simultanément vos compétences en résolution de problèmes mathématiques et en formalisation avec Lean, tout en abordant des défis de recherche réels. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR