6 ứng viên bắt đầu xác minh công khai trong 14 ngày, giải thưởng Justin Sun mở quy trình xét duyệt

6 ứng viên đầu tiên của giải thưởng Justin Sun đã bước vào giai đoạn xác minh công khai kéo dài 14 ngày từ ngày 19 tháng 9. Việc đăng ký ứng viên chưa đồng nghĩa với việc giải thưởng hoặc người nhận giải đã được xác nhận, mà mở ra quy trình phản biện đối với lời giải toán học và chứng minh hình thức.

Sổ đăng ký ứng viên chính thức trên GitHub đã công bố các bài toán số 305, 371, 381, 526, 866 và 1001. Các bài 305, 371 và 381 có ứng viên xác minh hình thức; bài 866 và 1001 có ứng viên giải toán; bài 526 có ứng viên cho cả hai vai trò.

Sổ đăng ký nêu rõ việc công khai ứng viên không xác nhận giải thưởng hoặc danh tính người nhận. Bên thứ ba có thể phản đối độ chính xác của kết quả, quy thuộc đóng góp, quyền ưu tiên và việc xác minh hình thức.

Sau khi giai đoạn xác minh công khai kết thúc, quy trình mới chuyển sang trả thưởng nếu không còn phản đối chưa được giải quyết, đồng thời người nhận giải đã xác nhận bằng văn bản và hoàn tất xác minh danh tính. Theo quy định vận hành, thời hạn phản đối công khai là 14 ngày.

Justin Sun, nhà sáng lập TRON, cho biết ông thiết kế giải thưởng theo mô hình trao thưởng học thuật phi tập trung dựa trên danh sách bài toán và nguyên tắc 'zero-trust'. Ông nói: “Tôi không phải nhà toán học, tôi chỉ là người đứng ngoài và trả tiền. Phần còn lại hãy để các chứng minh quyết định”.

Phát biểu này cho thấy mục tiêu gắn việc trao thưởng với lời giải và chứng minh có thể kiểm chứng bằng máy, thay vì danh tiếng của cá nhân hay tổ chức. Ban vận hành sẽ xem xét riêng lời giải toán học và chứng minh hình thức bằng Lean để phân biệt người đóng góp.

Kho lưu trữ chính thức hiện có 1.022 bài toán. Danh sách bao gồm phỏng đoán Poincaré, giả thuyết Riemann, phỏng đoán Goldbach và các bài toán chưa giải do nhà toán học Paul Erdős đưa ra.

Chứng minh hình thức là kết quả chuyển logic toán học sang các hệ thống như Lean để máy có thể kiểm chứng. Trong một ý tưởng được công bố trước đó về việc trao thưởng cho các chứng minh toán học vượt qua kiểm tra bằng máy, Justin Sun cũng đề xuất tách người chứng minh và người thực hiện công đoạn hình thức hóa thành hai nhóm được nhận thưởng riêng.

Mức thưởng cao nhất cho mỗi bài toán là 1 triệu USD (khoảng 1,365 tỷ won). Ban vận hành cho biết địa chỉ quỹ thưởng đã được nạp 10 triệu USD (khoảng 136,5 tỷ won).

Phần thưởng dự kiến được trả bằng Tether (USDT) trên mạng TRC20 hoặc USD Coin (USDC) trên mạng ERC20. Cơ cấu vận hành bao gồm việc trả thưởng bằng tài sản số và lưu hồ sơ thanh toán trên blockchain.

Giải thưởng Justin Sun ra mắt ngày 16 tháng 9. Khi công bố chương trình, ban vận hành đã đưa ra thành tích giải 66 bài toán cùng các chứng minh hình thức làm nhóm được vinh danh đầu tiên, đồng thời xác định mã nguồn mở và xác minh công khai là nguyên tắc hoạt động.

Ban vận hành cho biết không hạn chế người tham gia theo quốc tịch hoặc tổ chức, đồng thời không phân biệt việc có hợp tác giữa con người và trí tuệ nhân tạo hay không. Danh sách bài toán, tiêu chí xác nhận, tài liệu chứng minh và tài liệu xác minh sẽ được công khai trên GitHub.

Đối tượng được thưởng là lời giải toán học hoàn chỉnh cho bài toán gốc và chứng minh Lean hoàn chỉnh. Nếu nhiều người cùng hoàn thành, người giải toán nhận 70% tổng giải thưởng và người xác minh hình thức nhận 30%; một người đảm nhiệm cả hai vai trò có thể nhận toàn bộ giải thưởng.

Ban vận hành cho biết các tiến bộ toán học được thực hiện từ ngày 1 tháng 1 năm 2026 sẽ đủ điều kiện nhận thưởng. Dù lời giải đã xuất hiện trước đó, người hoàn tất xác minh hình thức sau thời điểm này vẫn có thể được thưởng cho phần đóng góp hình thức hóa.

6 trường hợp hiện được công bố vẫn đang ở giai đoạn đăng ký ứng viên, trong khi phản đối công khai, xác nhận bằng văn bản và xác minh danh tính vẫn chưa hoàn tất. Sau khi quy trình xác minh kết thúc, việc xác nhận người nhận giải cuối cùng và trả thưởng dự kiến sẽ được tiến hành.