Justin Sun Prize là một dự án nghiên cứu nhằm giải quyết các bài toán toán học khó và hình thức hóa chứng minh bằng Lean để xác minh bởi máy tính. @trondao @TronDao_KOR Các nhà nghiên cứu chuyên nghiệp, nhà nghiên cứu độc lập và đội ngũ hợp tác AI đều có thể tham gia. Bạn cũng có thể chọn bất kỳ bài toán nào từ kho bài toán công khai để thử thách. Người tham gia được chia thành hai vai trò: Solver và Lean Formalizer, với phần thưởng cơ bản được phân phối theo tỷ lệ 70% cho Solver và 30% cho Lean Formalizer. Nếu một người đảm nhận cả hai vai trò, người đó sẽ nhận toàn bộ phần thưởng. Nếu đã có hình thức hóa Lean được cộng đồng xác minh, bạn có thể đăng ký bằng cách cung cấp liên kết và thông tin liên quan đến hình thức hóa đó, thay vì gửi PR mới. Sau khi giải quyết bài toán và hoàn thành hình thức hóa Lean, kết quả sẽ được đánh giá và xếp hạng thành các cấp độ: Pinnacle, Breakthrough, Landmark, Advance, Contribution để xác định phần thưởng. Cấp độ cao nhất, Pinnacle, sẽ trao 1 triệu USD cho việc giải quyết các bài toán then chốt. Phần thưởng được xác định dựa trên sự quan trọng của bài toán, thời gian chưa được giải, mức độ công nhận học thuật của kết quả nghiên cứu và độ hoàn thiện của lời giải. Sau khi được chọn là người chiến thắng, bạn sẽ nhận phần thưởng thông qua quy trình Claim và KYC riêng biệt. Hãy cảnh giác với bất kỳ liên hệ nào yêu cầu thông tin nhạy cảm như khóa cá nhân hoặc câu hỏi seed, vì đây không phải là quy trình chính thức. Đây là một dự án giúp bạn cùng lúc phát triển khả năng giải quyết bài toán toán học và kỹ năng hình thức hóa bằng Lean, đồng thời trực tiếp tham gia vào các vấn đề nghiên cứu thực tế. #TRON #TRX #TGFKOREA #Tronglobalfriends #TronDao #TGF #SNS #TronNetwork #KOL #EVENT #KR #KOR