O Justin Sun Prize é um projeto de pesquisa que resolve problemas matemáticos desafiadores e formaliza suas provas em Lean para verificação por computador. @trondao @TronDao_KOR Pesquisadores profissionais, pesquisadores independentes e equipes colaborativas com IA podem participar. Além disso, é possível escolher qualquer problema da biblioteca pública e enfrentá-lo. Os participantes são divididos em dois papéis principais: Solver e Lean Formalizer, com o prêmio básico distribuído em 70% para o Solver e 30% para o Lean Formalizer. Se uma única pessoa desempenhar ambos os papéis, receberá o prêmio total. Se já existir uma formalização em Lean validada pela comunidade, é possível se inscrever enviando o link e as informações relacionadas à formalização existente, sem a necessidade de submeter um novo PR. Após resolver o problema e completar a formalização em Lean, a submissão será avaliada e classificada em níveis como Pinnacle, Breakthrough, Landmark, Advance e Contribution, que determinam o valor do prêmio. O nível mais alto, Pinnacle, oferece um prêmio de 1 milhão de dólares para a resolução de problemas fundamentais. O valor do prêmio é determinado por meio de uma avaliação abrangente da importância do problema, do tempo desde sua formulação, do reconhecimento acadêmico dos resultados e do grau de conclusão da solução. Após ser selecionado como vencedor, será necessário completar um processo separado de reivindicação e KYC para receber o prêmio. Tenha cuidado com contatos que solicitarem informações sensíveis, como chaves privadas ou frases de seed — esses não fazem parte do processo oficial. Este projeto permite desenvolver simultaneamente suas habilidades em resolução de problemas matemáticos e em formalização com Lean, enquanto enfrenta desafios reais de pesquisa. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR