Justin Sun Prize — это исследовательский проект, направленный на решение математических нерешенных задач и формализацию их доказательств с помощью Lean для верификации компьютером. @trondao @TronDao_KOR Участвовать могут профессиональные исследователи, независимые исследователи и команды, взаимодействующие с ИИ. Также участники могут выбрать любую задачу из открытого банка задач и приступить к ее решению. Участники делятся на две роли: Solver и Lean Formalizer. Базовое распределение призового фонда: 70% — Solver, 30% — Lean Formalizer. Если один участник выполняет обе роли, он получает весь призовой фонд. Если уже существует проверенная сообществом формализация на Lean, можно подать заявку, не отправляя новый PR, а просто указав ссылку на существующую формализацию и соответствующую информацию. После решения задачи и завершения формализации на Lean проект проходит оценку, и присваивается один из уровней наград: Pinnacle, Breakthrough, Landmark, Advance или Contribution. Наивысший уровень — Pinnacle — предусматривает приз в размере 1 000 000 долларов США за решение ключевой нерешенной задачи. Размер приза определяется комплексной оценкой важности задачи, длительности ее нерешенности, академического признания результатов и степени завершенности решения. После выбора победителя выплата приза производится после прохождения отдельной процедуры Claim и KYC. Обратите внимание: любые запросы на предоставление конфиденциальной информации, такой как приватный ключ или seed-фраза, не являются частью официального процесса. Этот проект позволяет одновременно развивать навыки решения математических задач и формализации с помощью Lean, предлагая реальные исследовательские вызовы. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR