Giải thưởng “Justin Sun Prize” do Justin Sun công bố là gì?
Giải Nobel sau khi kiếm được một khối tiền lớn nhờ thuốc nổ dynamite, lại bị sốc bởi một bài viết tưởng nhớ sai lầm mang nội dung “kẻ buôn bán cái chết”, và đã lập ra một giải thưởng để hoàn trả tài sản cho nhân loại. Câu chuyện nói rằng ông đã chuyển phần giàu có tạo ra từ dynamite cho những người có công trong hậu thế, đồng thời “làm trung hòa” tên tuổi của mình.
Sun đang áp dụng cùng một cấu trúc vào toán học.
Sự giàu có trong blockchain được tạo ra từ “toán học trên bảng” như đường cong elliptic và hàm băm. Nhưng bản thân các nhà toán học hầu như không kiếm được nhiều tiền. Vì vậy, ông cho rằng nên trả lại phần nền tảng đó.
Điểm mấu chốt nằm ở hình thức của giải thưởng.
Giải Nobel hay giải Fields là lễ hội trao cho “con người”. Còn giải này lại là một cuộc thi đặt tiền thưởng cho “lời giải”.
Ví dụ:
Giải Nobel = một buổi lễ trang trọng trao huy chương vàng
Giải này = dán tiền thưởng lên bài toán chưa được giải, và chỉ thanh toán khi máy tính kiểm chứng việc chứng minh mà không sai một dòng nào
Giải thưởng có hai vai trò.
Người tìm ra chứng minh (prover)
Người viết lại để máy móc có thể đọc (formalizer)
Có thể là con người, AI hay dạng lai đều được. Điều quan trọng là kết quả. Khi cộng đồng công nhận chứng minh, tên sẽ được ghi, nhưng tiền thưởng sẽ bị khóa cho đến khi việc kiểm chứng bằng máy thành công. Phần chưa thanh toán được công khai như một “bài tập về nhà mà vẫn chưa ai dịch sang ngôn ngữ máy”.
Tóm lại là: giống như việc Erdős phát séc cho từng bài toán, nhưng được tự động hóa trên chuỗi (on-chain). Tiền thưởng có thể bổ sung thêm, nhưng một khi đã đăng thì không thể rút lại. Việc kiểm chứng và thanh toán đều được công khai trên blockchain. Thiết kế này không cần niềm tin vào ủy ban.
Nói ngắn gọn: đây là một giải thưởng gắn tiền thưởng có thể kiểm chứng cho các bài toán chưa giải quyết trong toán học trừu tượng. So với việc Nobel khen ngợi các ứng dụng thực tiễn, thì ở đây lại bỏ tiền cho chính bản thân logic thuần túy. Đó là sự đối lập.
#TRONGlobalFriends
@justinsuntron #TGF
@TRON DAO
Giải Nobel sau khi kiếm được một khối tiền lớn nhờ thuốc nổ dynamite, lại bị sốc bởi một bài viết tưởng nhớ sai lầm mang nội dung “kẻ buôn bán cái chết”, và đã lập ra một giải thưởng để hoàn trả tài sản cho nhân loại. Câu chuyện nói rằng ông đã chuyển phần giàu có tạo ra từ dynamite cho những người có công trong hậu thế, đồng thời “làm trung hòa” tên tuổi của mình.
Sun đang áp dụng cùng một cấu trúc vào toán học.
Sự giàu có trong blockchain được tạo ra từ “toán học trên bảng” như đường cong elliptic và hàm băm. Nhưng bản thân các nhà toán học hầu như không kiếm được nhiều tiền. Vì vậy, ông cho rằng nên trả lại phần nền tảng đó.
Điểm mấu chốt nằm ở hình thức của giải thưởng.
Giải Nobel hay giải Fields là lễ hội trao cho “con người”. Còn giải này lại là một cuộc thi đặt tiền thưởng cho “lời giải”.
Ví dụ:
Giải Nobel = một buổi lễ trang trọng trao huy chương vàng
Giải này = dán tiền thưởng lên bài toán chưa được giải, và chỉ thanh toán khi máy tính kiểm chứng việc chứng minh mà không sai một dòng nào
Giải thưởng có hai vai trò.
Người tìm ra chứng minh (prover)
Người viết lại để máy móc có thể đọc (formalizer)
Có thể là con người, AI hay dạng lai đều được. Điều quan trọng là kết quả. Khi cộng đồng công nhận chứng minh, tên sẽ được ghi, nhưng tiền thưởng sẽ bị khóa cho đến khi việc kiểm chứng bằng máy thành công. Phần chưa thanh toán được công khai như một “bài tập về nhà mà vẫn chưa ai dịch sang ngôn ngữ máy”.
Tóm lại là: giống như việc Erdős phát séc cho từng bài toán, nhưng được tự động hóa trên chuỗi (on-chain). Tiền thưởng có thể bổ sung thêm, nhưng một khi đã đăng thì không thể rút lại. Việc kiểm chứng và thanh toán đều được công khai trên blockchain. Thiết kế này không cần niềm tin vào ủy ban.
Nói ngắn gọn: đây là một giải thưởng gắn tiền thưởng có thể kiểm chứng cho các bài toán chưa giải quyết trong toán học trừu tượng. So với việc Nobel khen ngợi các ứng dụng thực tiễn, thì ở đây lại bỏ tiền cho chính bản thân logic thuần túy. Đó là sự đối lập.
#TRONGlobalFriends
@justinsuntron #TGF
@TRON DAO
