Justin Sun Prize는 수학적 난제를 해결하고 그 증명을 Lean을 사용해 형식화하며 컴퓨터 검증을 받는 연구 프로젝트입니다. @trondao @TronDao_KOR 전문 연구자, 독립 연구자 및 AI 협업 팀도 참여할 수 있습니다. 또한 공개된 문제 은행에서 원하는 문제를 선택하여 도전할 수 있습니다. 참여자는 Solver와 Lean Formalizer로 크게 나뉘며, 기본 상금은 Solver 70%, Lean Formalizer 30%로 분배됩니다. 한 사람이 두 역할을 모두 수행하면 전체 상금을 받을 수 있습니다. 이미 커뮤니티에서 검증된 Lean 형식화가 존재한다면, 새로운 PR을 제출하지 않고 해당 형식화의 링크 및 관련 정보를 등록하여 신청할 수 있습니다. 문제를 해결하고 Lean 형식화를 완료하면 심사를 거쳐 Pinnacle, Breakthrough, Landmark, Advance, Contribution 등의 등급에 따라 상금이 결정됩니다. 최고 등급인 Pinnacle은 핵심 난제 해결 시 100만 달러가 지급됩니다. 상금은 문제의 중요성, 미해결 기간, 연구 결과의 학술적 인정 수준, 해결의 완성도 등을 종합적으로 평가하여 결정됩니다. 수상자로 선정된 후에는 별도의 Claim 및 KYC 절차를 거쳐 상금을 지급받게 됩니다. 개인 키나 시드 문구 등 민감한 정보를 요구하는 연락은 공식 절차가 아니므로 주의하시기 바랍니다. 이 프로젝트는 수학적 문제 해결 능력과 Lean을 활용한 형식화 능력을 동시에 향상시키며, 실제 연구 과제에 도전할 수 있는 기회입니다. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR