Trần Tử Duy: Thành lập Giải thưởng Trần Tử Duy, thưởng cho các chứng minh toán học được xác minh bằng máy

Người sáng lập TRON, Sun Yuchen, đã công bố việc thành lập "Giải thưởng Sun Yuchen", hiện tại chỉ tập trung vào toán học. Ông cho biết giải thưởng này theo đề bài chứ không phải cá nhân, không có giới hạn về hội nghị, đề cử hoặc độ tuổi; mỗi đề bài sẽ có hai cột ghi tên, một cột ghi tên người chứng minh, một cột ghi tên người đã chính thức hóa chứng minh và đưa vào máy, cả hai có thể là cùng một người, cũng có thể là người, AI hoặc người sử dụng AI. Điều kiện để nhận thưởng là máy phải xác minh chứng minh từ dòng đầu tiên đến dòng cuối cùng mà không có sai sót, sau khi xác minh thành công, danh sách ở hai cột sẽ là chủ sở hữu giải thưởng của đề bài đó.

Các quy tắc còn bao gồm: trước khi máy xác minh, nếu giới toán học đã chấp nhận chứng minh của con người, có thể ghi tên trước, giải thưởng không thay đổi, trạng thái là "đã chứng minh, chờ chính thức hóa". Giải thưởng ở cột chứng minh chỉ được trả cho những đề bài được giải quyết sau khi được niêm yết; những đề bài đã được giải quyết khi niêm yết, người chứng minh vẫn được ghi tên, giải thưởng chỉ được trả cho người hoàn thành việc chính thức hóa, không có việc bổ sung giải thưởng cho lịch sử toán học. Danh sách đề bài sẽ được Sun Yuchen ký quyết định về việc niêm yết và định giá, một khi đã niêm yết thì chỉ tăng không giảm, tiền chỉ đổi không trả, những đề bài viết sai vẫn được trả thưởng sau đó sẽ niêm yết lại; ngoài định giá, việc xác minh, phát tiền, ghi tên cá nhân sẽ không tham gia bỏ phiếu.

Sun Yuchen cho biết, trọng tâm công ích sẽ chuyển sang giải thưởng này, quỹ giải thưởng đầu tiên đã được chuyển vào blockchain, địa chỉ và số dư công khai, ông chỉ giữ quyền tiếp tục đầu tư; chứng minh giải thưởng và phát tiền sẽ được công khai trên chuỗi. Ông cho biết việc đặt tên theo tên người là để tránh việc thay đổi tên do sự thay đổi của tổ chức, và cho rằng tài sản đến từ toán học, hy vọng "từ toán học đến, trở về với toán học".