Nhắc đến những giải thưởng lớn trong Toán học, chắc nhiều người sẽ nghĩ ngay đến Fields Medal, thường được ví như “Nobel của Toán học”.
Nhưng ở thời điểm hiện tại, khi AI ngày càng tham gia sâu vào việc suy luận, chứng minh và giải các bài toán khó, cách trao thưởng cho những lời giải toán có lẽ cũng đang bắt đầu thay đổi.
Mới đây, @justinsuntron công bố Justin Sun Prize.
Nghe tên thì giống một giải thưởng truyền thống, nhưng cách vận hành lại khá giống kiểu “treo bounty” trong crypto.
Hiểu đơn giản là thế này:
Một bài toán khó được đưa lên
→ Justin Sun đặt mức thưởng
→ bất kỳ ai cũng có thể tham gia tìm lời giải, kể cả AI
→ nếu lời giải được cộng đồng toán học công nhận, nó sẽ tiếp tục được chuyển sang dạng mà máy tính có thể kiểm chứng.
Chỉ khi toàn bộ chứng minh được máy xác nhận là chính xác thì phần thưởng mới chính thức được mở khóa.
Điểm mình thấy khá hay là giải thưởng này chia thành 2 phần rất rõ.
Một người tìm ra lời giải.
Một người khác có thể đảm nhiệm việc “formalize”, tức là biến lời giải đó thành dạng mà máy tính có thể đọc và kiểm tra được.
Tất nhiên một người cũng có thể làm luôn cả hai.
Và cũng không có quy định người giải phải là con người. Justin Sun nói thẳng rằng dù là con người, AI hay cả hai phối hợp với nhau thì cũng không quan trọng, miễn là cuối cùng chứng minh đó đúng.
Đây cũng là điểm khiến nó khác khá nhiều so với những giải thưởng Toán học truyền thống.
Fields Medal 4 năm mới trao một lần, lại có giới hạn độ tuổi. Còn với mô hình này, mỗi bài toán gần như trở thành một bounty riêng biệt.
Nhưng ở thời điểm hiện tại, khi AI ngày càng tham gia sâu vào việc suy luận, chứng minh và giải các bài toán khó, cách trao thưởng cho những lời giải toán có lẽ cũng đang bắt đầu thay đổi.
Mới đây, @justinsuntron công bố Justin Sun Prize.
Nghe tên thì giống một giải thưởng truyền thống, nhưng cách vận hành lại khá giống kiểu “treo bounty” trong crypto.
Hiểu đơn giản là thế này:
Một bài toán khó được đưa lên
→ Justin Sun đặt mức thưởng
→ bất kỳ ai cũng có thể tham gia tìm lời giải, kể cả AI
→ nếu lời giải được cộng đồng toán học công nhận, nó sẽ tiếp tục được chuyển sang dạng mà máy tính có thể kiểm chứng.
Chỉ khi toàn bộ chứng minh được máy xác nhận là chính xác thì phần thưởng mới chính thức được mở khóa.
Điểm mình thấy khá hay là giải thưởng này chia thành 2 phần rất rõ.
Một người tìm ra lời giải.
Một người khác có thể đảm nhiệm việc “formalize”, tức là biến lời giải đó thành dạng mà máy tính có thể đọc và kiểm tra được.
Tất nhiên một người cũng có thể làm luôn cả hai.
Và cũng không có quy định người giải phải là con người. Justin Sun nói thẳng rằng dù là con người, AI hay cả hai phối hợp với nhau thì cũng không quan trọng, miễn là cuối cùng chứng minh đó đúng.
Đây cũng là điểm khiến nó khác khá nhiều so với những giải thưởng Toán học truyền thống.
Fields Medal 4 năm mới trao một lần, lại có giới hạn độ tuổi. Còn với mô hình này, mỗi bài toán gần như trở thành một bounty riêng biệt.
