Hình thức từ thiện ý nghĩa nhất không chỉ đơn giản là cho đi tiền bạc. Đó là tạo ra một hệ thống tiếp tục ghi nhận những công trình có ý nghĩa và khuyến khích mọi người giải quyết các vấn đề đã thách thức giới nghiên cứu suốt nhiều năm.

Đó là ý tưởng đằng sau Giải thưởng Justin Sun, một sáng kiến được thành lập vào năm 2026 nhằm hỗ trợ những đột phá trong toán học và các chứng minh có thể được máy móc xác minh. Chương trình tập trung vào nghiên cứu cơ bản, với sự đóng góp của các nhà nghiên cứu, hệ thống AI hoặc các nhóm kết hợp cả hai.

Điểm thú vị của cách tiếp cận này là trọng tâm đặt vào kết quả thay vì danh tiếng. Thay vì chỉ dựa vào sự công nhận học thuật truyền thống, giải thưởng kết nối các bài toán được xác định rõ với một quy trình xác minh lời giải. Các nhà nghiên cứu phải chứng minh kết quả của mình, trong khi những công cụ kiểm chứng hình thức như Lean có thể giúp xác định liệu một chứng minh có tuân theo các quy tắc toán học hay không.

Sáng kiến này cũng thừa nhận rằng việc khám phá và kiểm chứng là hai nhiệm vụ khác nhau. Tìm ra lời giải là một thử thách; chuyển lời giải đó sang dạng để máy móc có thể tự kiểm tra lại là một thử thách khác. Việc hỗ trợ cả hai đóng góp có thể khuyến khích sự hợp tác giữa các nhà toán học, nhà phát triển phần mềm và nhà nghiên cứu AI.

Ở đây còn có mối liên hệ rộng hơn với blockchain. Các hệ thống blockchain dựa vào các nguyên lý toán học và phương pháp mật mã để xác minh giao dịch, đồng thời duy trì hồ sơ đáng tin cậy. Vì vậy, hỗ trợ toán học cơ bản và kiểm chứng hình thức cũng phù hợp với một số nền tảng kỹ thuật của ngành tài sản số nói chung.

Tuy nhiên, không thể đánh giá tác động của sáng kiến chỉ dựa trên những mục tiêu đã công bố. Những chỉ số hữu ích hơn sẽ là chất lượng của các chứng minh được tạo ra, số vấn đề được giải quyết thành công, tính minh bạch của quy trình đánh giá và việc chương trình có tiếp tục thu hút những đóng góp nghiên cứu nghiêm túc theo thời gian hay không.

@TRON DAO @Justin Sun孙宇晨 #TRONEcoStar