Justin Sun ra mắt giải thưởng cho chứng minh toán học được máy kiểm chứng

Justin Sun đã thành lập ‘Justin Sun Prize’, giải thưởng kết hợp chứng minh các bài toán khó với xác minh hình thức. Cơ chế này sử dụng nguồn tiền thưởng khóa trên blockchain và chỉ trao thưởng khi máy hoàn tất kiểm chứng chứng minh do con người đưa ra từ đầu đến cuối.

PANews đưa tin Justin Sun, nhà sáng lập TRON(TRX), đã công bố giải thưởng. Giải thưởng hướng tới những người giải các bài toán quan trọng và những người chuyển chứng minh đó thành mã để máy có thể kiểm tra.

Điều kiện nhận thưởng là kết quả kiểm chứng bằng máy. Toàn bộ chứng minh phải được xác minh hoàn chỉnh từ dòng đầu tiên đến dòng cuối cùng, không giới hạn độ tuổi hay số người được trao thưởng mỗi năm. Việc chi trả phụ thuộc vào khả năng triển khai chứng minh dưới dạng có thể kiểm chứng, thay vì chỉ dựa trên ý tưởng toán học.

Xác minh hình thức là quá trình chuyển logic của một chứng minh toán học hoặc chương trình sang dạng máy có thể kiểm tra theo các quy tắc định sẵn. So với lời giải viết bằng ngôn ngữ tự nhiên, phương pháp này cho phép lặp lại quy trình kiểm chứng dễ dàng hơn.

Nguồn tiền thưởng được vận hành trong một địa chỉ blockchain bị khóa. Khoản tiền này có thể được bổ sung nhưng không thể rút lại, qua đó cho phép kiểm tra cơ cấu trao thưởng và dòng tiền trên chuỗi.

Danh sách bài toán sẽ được quản lý theo phương thức liên tục bổ sung thay vì xóa bỏ. Ngay cả khi phát hiện lỗi trong cách diễn đạt bài toán, tiền thưởng vẫn được trao theo điều kiện đã định, sau đó bài toán sẽ được đăng ký lại.

Nguyên tắc này nhằm ngăn việc xóa bài toán hoặc thay đổi điều kiện sau đó để đảo ngược quyết định trao thưởng. Việc cố định trước tiêu chí trao thưởng và dòng tiền được kỳ vọng sẽ giảm phán đoán chủ quan trong quá trình đánh giá.

Justin Sun cho biết ông không trực tiếp tham gia đánh giá cụ thể mà chỉ phụ trách danh sách bài toán và mức thưởng cho từng bài. Kết quả đánh giá sẽ được xử lý dựa trên kết quả kiểm chứng bằng máy thay vì phán đoán cá nhân.

Sáng kiến này gắn với xu hướng trí tuệ nhân tạo giải các bài toán toán học rồi chuyển chúng thành mã chứng minh dạng cấu trúc. Cơ chế tách riêng người đưa ra chứng minh và người hình thức hóa cho phép trao thưởng cho cả ý tưởng toán học lẫn việc triển khai để máy kiểm chứng.

Tuy nhiên, quy mô tiền thưởng cho từng bài toán và danh sách những bài toán khó đầu tiên vẫn chưa được công bố. Quy mô tham gia và kết quả nghiên cứu thực tế sẽ được xác định sau khi các bài toán cụ thể cùng điều kiện trao thưởng được đưa ra.