Justin Sun công bố 66 bài toán, giải thưởng cao nhất 1 triệu USD

Justin Sun (Justin Sun) đã công bố 'Justin Sun Prize', chương trình trao giải theo cấp độ cho 66 bài toán. Theo quy định chính thức, giải thưởng tối đa cho một bài toán ở cấp Pinnacle là 1 triệu USD (khoảng 1,4 tỷ won).

Ngày 16, Justin Sun công bố trên trang web chính thức kế hoạch trao thưởng cho lời giải toán và công đoạn hình thức hóa có thể được máy kiểm chứng. Giải thưởng sẽ được thanh toán bằng Tether (USDT) hoặc USD Coin (USDC), đồng thời yêu cầu phần chứng minh phải vượt qua kiểm chứng bằng máy từ đầu đến cuối.

Hướng dẫn chính thức cho biết tiền thưởng sẽ bị khóa sau khi bài toán được đăng ký và nhà tài trợ không thể thu hồi. Nội dung hướng dẫn cũng nêu rằng nguồn tiền và lịch sử chi trả sẽ được quản lý theo phương thức công khai, trên chuỗi.

FAQ chính thức cho biết quỹ giải thưởng được hình thành từ tài sản cá nhân của Justin Sun và do đơn vị vận hành chi trả. Người nhận giải phải hoàn tất quy trình xác minh danh tính và thanh toán.

Đối tượng nhận thưởng gồm người đưa ra chứng minh toán học và người chuyển chứng minh đó sang dạng Lean để máy có thể kiểm chứng. Hai vai trò có thể được ghi nhận riêng, đồng thời giải thưởng có thể được chia cho người giải bài toán và người thực hiện công đoạn hình thức hóa.

Kiểm chứng hình thức là quá trình chuyển chứng minh toán học hoặc logic chương trình thành mã để máy kiểm tra theo các quy tắc định sẵn. Chương trình lần này trao thưởng không chỉ cho lời giải bằng ngôn ngữ tự nhiên mà cả công đoạn hình thức hóa có thể kiểm chứng.

Giải thưởng lần này mở rộng các chi tiết trong kế hoạch từng được giới thiệu trước đó về cơ chế trao thưởng cho chứng minh toán học vượt qua kiểm chứng bằng máy. Hướng dẫn trước đây cũng nêu nguyên tắc chứng minh phải được kiểm tra hoàn toàn từ dòng đầu tiên đến dòng cuối cùng.

Protos đưa tin ngày 21 rằng phía Justin Sun chưa chứng minh được nguồn tài chính trị giá 66 triệu USD, tương ứng với khả năng trao tối đa 1 triệu USD cho mỗi bài toán trong 66 bài toán. Protos cho biết đã yêu cầu địa chỉ ví giải thưởng có thể kiểm chứng công khai nhưng chưa nhận được phản hồi.

Trang web chính thức của Justin Sun giải thích rằng nguồn tiền thưởng sẽ được quản lý theo phương thức công khai, trên chuỗi. Tuy nhiên, các hướng dẫn chính thức đã được xác nhận không nêu địa chỉ ví hoặc số dư cho phép kiểm tra tài sản thực tế đang nắm giữ.

Do đó, vẫn tồn tại khoảng cách giữa tuyên bố về nguồn tiền cá nhân và tài liệu tài chính có thể được bên ngoài xác minh. Việc giải thưởng đã thực sự được chuẩn bị hay chưa chỉ có thể được xác nhận khi địa chỉ ví công khai và lịch sử chi trả trên chuỗi được cung cấp.

Chương trình dự kiến vận hành bằng cách công khai danh sách bài toán, tiêu chuẩn kiểm chứng và tài liệu chứng minh. Việc chi trả thực tế sẽ cần trải qua bước kiểm chứng theo từng bài toán, phê duyệt của đơn vị vận hành và xác minh người nhận giải.

Trong tài liệu công bố ngày 16, phía Justin Sun cho biết một số bài toán trọng tâm trong tổng số 66 bài có giải thưởng tối đa 1 triệu USD và nhóm nghiên cứu OpenAI đã được chọn là người nhận giải đầu tiên. Tuy nhiên, việc tổng quỹ giải thưởng của chương trình có được bên ngoài xác minh hay không vẫn là vấn đề riêng cần theo dõi.