Tôn Vũ Thần tuyên bố thành lập "Giải thưởng Tôn Vũ Thần", nhằm giải quyết các bài toán khó trong giới toán học.

Tin tức BlockBeats, ngày 16 tháng 9, Justin Sun tuyên bố thành lập giải thưởng toán học mang tên mình, trong tương lai sẽ chuyển trọng tâm từ thiện sang giải thưởng này. Ông cho biết tài sản của mình bắt nguồn từ toán học và mật mã học, hy vọng thông qua việc thành lập giải thưởng, để tiền "từ toán học mà đến, trở về với toán học". Giải thưởng sẽ tập trung vào chứng minh toán học và xác minh hình thức, lấy bối cảnh trí tuệ nhân tạo phát triển nhanh chóng làm cơ hội, thúc đẩy các thành tựu toán học hoàn thành xác minh máy móc hiệu quả hơn.

Giải thưởng không giới hạn độ tuổi, đề cử và chu kỳ trao giải cố định, mỗi bài toán đặt hai cột "người chứng minh" và "người hình thức hóa", ghi lại riêng những người hoàn thành chứng minh toán học và những người chính thức đưa chứng minh vào máy móc và vượt qua xác minh. Chỉ khi máy xác minh hoàn chỉnh từ dòng đầu tiên đến dòng cuối cùng, tiền thưởng mới được kích hoạt phát; những bài toán đã được giới toán học giải quyết nhưng chưa hoàn thành hình thức hóa, sẽ giữ lại tên người chứng minh, đợi sau khi hình thức hóa hoàn thành mới xác định quyền sở hữu tiền thưởng.

Justin Sun cho biết, quỹ thưởng giai đoạn đầu của giải thưởng đã được chuyển vào blockchain, địa chỉ công khai, số dư toàn thế giới đều có thể thấy, bản thân ông chỉ giữ quyền tiếp tục bơm vốn vào quỹ thưởng. Mỗi chứng minh đoạt giải và hồ sơ phát thưởng đều sẽ được công khai và lưu trên chuỗi, để bất kỳ ai cũng có thể xác minh độc lập. Bản thân ông không phải nhà toán học, điều có thể làm là cung cấp hỗ trợ tài chính cho người chứng minh toán học, "phần còn lại, giao cho chứng minh".