Tôi vừa đọc “Why I Am Establishing the Justin Sun Prize” (Vì sao tôi thành lập Justin Sun Prize) của @Justin Sun孙宇晨 và tôi nghĩ phần thú vị nhất không chỉ là việc Justin đang khởi động một giải thưởng về toán học.
Mà chính là cơ chế đằng sau nó.
Justin giải thích rằng phần lớn ngành công nghiệp blockchain được xây dựng dựa trên toán học, từ mật mã đường cong elliptic đến các hàm băm. Theo lời ông, giải thưởng sẽ quay trở lại nền tảng đã làm cho ngành này trở nên khả thi.
Nhưng chính cấu trúc mới tạo nên sự khác biệt.
Mỗi thử thách ghi nhận hai vai trò:
• Prover — người giải bài toán
• Formalizer — người chuyển đổi lời giải thành dạng có thể được máy kiểm chứng
Họ có thể là cùng một người hoặc hoàn toàn là những người đóng góp khác nhau. Con người, AI hoặc cả hai đều có thể tham gia.
Ý tưởng cốt lõi rất đơn giản:
Đừng tin tưởng. Hãy kiểm chứng.
Lần này, việc xác minh không liên quan đến tiền bạc hay giao dịch.
Mà là về tri thức.
Dự án đã công bố bộ 66 Bài Toán Giải Lần Đầu (Inaugural 66 Prize Problems), được chia thành các hạng mục Pinnacle, Landmark, Advance và Contribution.
Nhưng hệ thống tổng thể còn lớn hơn nhiều.
Trang web chính thức hiện liệt kê một ngân hàng gồm 1.022 bài toán toán học, kèm các thông tin như trạng thái lời giải, trạng thái chứng minh trong Lean, điều kiện tham gia và trạng thái yêu cầu.
Vì vậy, 66 bài toán là bộ đề giải thưởng cho lần ra mắt, trong khi 1.022 bài toán tạo thành một kho tri thức rộng hơn rất nhiều.
Điều tôi thấy đặc biệt thú vị là trạng thái:
“Proved, pending formalization.” (Đã được chứng minh, đang chờ được chính thức hóa.)
Một bài toán có thể đã được cộng đồng toán học chấp nhận, nhưng vẫn cần ai đó biến lời chứng minh đó thành mã để máy có thể kiểm chứng từng dòng.
Điều đó khiến cho việc chính thức hóa bản thân nó trở thành một đóng góp có giá trị.
Nếu hệ thống này tiếp tục phát triển, nó có thể trở thành nhiều hơn một giải thưởng.
Nó có thể trở thành một bản đồ công khai về tri thức toán học:
Những gì con người đã giải.
Những gì máy có thể kiểm chứng.
Và những gì vẫn còn bỏ ngỏ.
Blockchain đã mang đến cho chúng ta tiền có thể được xác minh.
AI + toán học hình thức có thể đang đưa chúng ta tiến tới tri thức có thể được xác minh.
Đó là lý do tôi nghĩ Justin Sun Prize thú vị hơn nhiều so với vẻ bề ngoài ban đầu của nó.
@TRON DAO #TRONGlobalFriends #TGF
Mà chính là cơ chế đằng sau nó.
Justin giải thích rằng phần lớn ngành công nghiệp blockchain được xây dựng dựa trên toán học, từ mật mã đường cong elliptic đến các hàm băm. Theo lời ông, giải thưởng sẽ quay trở lại nền tảng đã làm cho ngành này trở nên khả thi.
Nhưng chính cấu trúc mới tạo nên sự khác biệt.
Mỗi thử thách ghi nhận hai vai trò:
• Prover — người giải bài toán
• Formalizer — người chuyển đổi lời giải thành dạng có thể được máy kiểm chứng
Họ có thể là cùng một người hoặc hoàn toàn là những người đóng góp khác nhau. Con người, AI hoặc cả hai đều có thể tham gia.
Ý tưởng cốt lõi rất đơn giản:
Đừng tin tưởng. Hãy kiểm chứng.
Lần này, việc xác minh không liên quan đến tiền bạc hay giao dịch.
Mà là về tri thức.
Dự án đã công bố bộ 66 Bài Toán Giải Lần Đầu (Inaugural 66 Prize Problems), được chia thành các hạng mục Pinnacle, Landmark, Advance và Contribution.
Nhưng hệ thống tổng thể còn lớn hơn nhiều.
Trang web chính thức hiện liệt kê một ngân hàng gồm 1.022 bài toán toán học, kèm các thông tin như trạng thái lời giải, trạng thái chứng minh trong Lean, điều kiện tham gia và trạng thái yêu cầu.
Vì vậy, 66 bài toán là bộ đề giải thưởng cho lần ra mắt, trong khi 1.022 bài toán tạo thành một kho tri thức rộng hơn rất nhiều.
Điều tôi thấy đặc biệt thú vị là trạng thái:
“Proved, pending formalization.” (Đã được chứng minh, đang chờ được chính thức hóa.)
Một bài toán có thể đã được cộng đồng toán học chấp nhận, nhưng vẫn cần ai đó biến lời chứng minh đó thành mã để máy có thể kiểm chứng từng dòng.
Điều đó khiến cho việc chính thức hóa bản thân nó trở thành một đóng góp có giá trị.
Nếu hệ thống này tiếp tục phát triển, nó có thể trở thành nhiều hơn một giải thưởng.
Nó có thể trở thành một bản đồ công khai về tri thức toán học:
Những gì con người đã giải.
Những gì máy có thể kiểm chứng.
Và những gì vẫn còn bỏ ngỏ.
Blockchain đã mang đến cho chúng ta tiền có thể được xác minh.
AI + toán học hình thức có thể đang đưa chúng ta tiến tới tri thức có thể được xác minh.
Đó là lý do tôi nghĩ Justin Sun Prize thú vị hơn nhiều so với vẻ bề ngoài ban đầu của nó.
@TRON DAO #TRONGlobalFriends #TGF
