I
Alfred Nobel đã phát minh ra thuốc nổ dynamite, thứ mang lại cho ông phần lớn tài sản của mình.
Truyền thuyết kể rằng vào năm 1888, một tờ báo Pháp đã nhầm lẫn đăng bài cáo phó của ông với tiêu đề: "Thương nhân cái chết đã qua đời." Nobel đọc chính bản cáo phó của mình và vài năm sau đó, ông đã soạn thảo di chúc.
Ngày nay, không ai còn gọi ông là thương nhân cái chết nữa.
"Nobel" đã trở thành một thuật ngữ trung tính, giống như "volt" hay "watt"—được tước bỏ mọi cảm xúc, đơn thuần chỉ là một đơn vị đo lường. Ông để lại tài sản của mình cho những người "đã mang lại lợi ích lớn nhất cho nhân loại". Tài sản của ông quay trở lại với con người, và tên tuổi của ông giành lại được sự trung tính—không phải bằng cách tự biện hộ, mà thông qua danh sách những người đoạt giải kéo dài suốt một thế kỷ.
Tôi chia sẻ câu chuyện này vì tôi hiểu ông ấy. Tôi biết tài sản đến từ đâu và có thể đi về đâu.
II
Tài sản của tôi được xây dựng trên nền tảng toán học.
Toàn bộ ngành công nghiệp blockchain đều dựa trên một số khối xây dựng mật mã học và các giả định toán học đã được nghiên cứu kỹ lưỡng: độ khó của việc giải quyết bài toán logarit rời rạc trên đường cong elliptic, tính bất khả nghịch của hàm băm và tính bất khả thi trong việc phân tích thừa số các số nguyên lớn. Vào năm 1985, hai nhà toán học độc lập đã nảy ra ý tưởng sử dụng đường cong elliptic cho mật mã học—một người tại trường đại học, người kia tại IBM, hoàn toàn không biết về nhau. Vào thời điểm đó, không ai thấy bất kỳ ứng dụng thực tế nào. Những gì họ phác thảo trên bảng đen sau đó đã phát triển thành một thị trường trị giá hàng nghìn tỷ đô la, trao cho các cá nhân một điều chưa từng có trước đây: chủ quyền tài chính thực sự, không cần cấp phép. Tuy nhiên, hai nhà toán học đó không bao giờ kiếm được một xu nào từ cuộc cách mạng mà họ đã tạo ra.
Sự tự do này là một trong những món quà bị đánh giá thấp nhất của toán học đối với nhân loại. Tôi đã nhận được rất nhiều từ món quà này. Việc thiết lập giải thưởng này, trên hết, là cách tôi đền đáp lại chính nền tảng đó.
III
Không có Giải Nobel Toán học. Sự thiếu sót này đã tồn tại hơn một thế kỷ—có lẽ xuất phát từ lý do cá nhân, hoặc có lẽ chỉ là một sự sơ suất.
Sau đó là Huy chương Fields, được trao bốn năm một lần cho các nhà toán học dưới 40 tuổi, và Giải Abel, được trao hàng năm để ghi nhận những đóng góp trọn đời. Cả hai đều xuất sắc, nhưng nhịp điệu của chúng thuộc về một thời đại đã qua.
Tuy nhiên, cộng đồng toán học đã có truyền thống riêng của mình. Paul Erdős dành cả cuộc đời để đặt tiền thưởng cho các bài toán chưa được giải, dao động từ 25 USD đến 10.000 USD. Bất kỳ ai giải được sẽ nhận được séc từ ông. Nhiều người đã đóng khung những tấm séc này treo trên tường và không bao giờ đổi lấy tiền mặt khi còn sống. Erdős qua đời năm 1996, và kể từ đó, những khoản tiền thưởng như vậy trở nên hiếm hoi.
Toán học hiện đang bước vào một kỷ nguyên hoàn toàn mới. Trí tuệ nhân tạo không thể tiến hành các thí nghiệm vật lý, nhưng nó vượt trội trong suy luận logic. Nó có thể gặp khó khăn trong việc chế tạo máy gia tốc hạt cho các nhà vật lý, nhưng nó có thể khám phá mười nghìn hướng đi cho một nhà toán học. Ngày nay, khoảng thời gian giữa việc đề xuất một giả thuyết và chứng minh nó có thể chỉ mất vài tháng, thậm chí vài ngày. Trước tốc độ chưa từng có này, một giải thưởng được trao bốn năm một lần giống như tiếng chuông chậm rãi vang lên trong một thế giới thay đổi từng ngày.
IV
Vì lý do đó, thiết kế của Giải Justin Sun cực kỳ đơn giản.
Giải thưởng tôn vinh lời giải, không phải con người. Không có gala hàng năm, không có thủ tục đề cử quan liêu, không có giới hạn độ tuổi.
Mỗi thử thách ghi nhận hai đóng góp riêng biệt: người chứng minh (prover) và người hình thức hóa (formalizer)—người dịch lời giải sang định dạng có thể kiểm chứng bởi máy móc. Các vai trò này có thể do cùng một người đảm nhiệm, hoặc bởi những người xa lạ ở nửa kia trái đất. Con người, AI, hoặc kết hợp cả hai—tôi chỉ quan tâm đến kết quả, không quan tâm người đóng góp là con người hay máy móc. Cùng một cái tên có thể xuất hiện lặp đi lặp lại, ở bất kỳ vị trí nào mà họ xứng đáng.
Việc chi trả có một điều kiện kích hoạt duy nhất: máy móc phải xác minh lời giải từ dòng đầu tiên đến dòng cuối cùng, không có một lỗi nào. Một khi vượt qua xác minh, những người được liệt kê trong hai cột sẽ là chủ sở hữu giải thưởng cho vấn đề đó.
Tôi không phát minh ra tiêu chuẩn này—Peter Scholze đã đăng tải định lý mang tính bước ngoặt của mình trực tuyến, kêu gọi cộng đồng hình thức hóa nó để máy móc có thể xác minh; Định lý Cuối cùng của Fermat hiện đang được dịch sang mã, từng dòng một, ngay lúc này.
Nhưng thành tựu của con người được công nhận từ lâu trước khi máy móc hoàn thành công việc của nó. Một khi cộng đồng toán học chấp nhận một lời giải, tên của người chứng minh sẽ được chính thức công nhận. Quỹ vẫn bị khóa, và trạng thái cập nhật thành: "Đã chứng minh, chờ hình thức hóa."
Tiền thưởng giải quyết vấn đề chỉ áp dụng cho các thử thách được giải sau khi chúng được thêm vào sổ đăng ký chính thức. Nếu một vấn đề đã được giải quyết khi nó được đưa vào, tên của người chứng minh vẫn được ghi nhận, nhưng giải thưởng sẽ thuộc hoàn toàn về người hình thức hóa nó cho máy móc. Giải thưởng này ghi lại lịch sử khi nó diễn ra; nó không trao giải hồi tố cho những công việc đã hoàn thành.
Các ranh giới được vẽ rõ ràng: uy tín thuộc về cộng đồng toán học, giải thưởng thuộc về máy móc, và nhà tài trợ duy trì sự độc lập nghiêm ngặt với cả hai. Phán đoán của con người chỉ dành cho một điều duy nhất: xác nhận rằng vấn đề được mã hóa vào máy móc thực sự là vấn đề đúng đắn.
Thẩm quyền của tôi bắt đầu và kết thúc với một điều duy nhất: danh sách. Những thử thách nào được thêm vào, và mức tiền thưởng của chúng là bao nhiêu—đó là quyền quyết định duy nhất của tôi. Erdős tự tay viết số tiền trên séc của mình, và tôi không thấy lý do gì để phá vỡ truyền thống đó. Nhưng một khi tiền thưởng đã được niêm yết, nó bị khóa chặt: các vấn đề chỉ có thể được thêm vào, không bao giờ bị xóa; quỹ chỉ có thể được chi trả, không bao giờ được rút lại bởi nhà tài trợ.
Không ai, kể cả tôi, có thể can thiệp vào điều này. Nếu một thử thách được đưa ra sai lệch, tiền thưởng vẫn sẽ được chi trả bất kể, và phiên bản sửa đổi sẽ được niêm yết lại.
Sự tập trung cá nhân của tôi hoàn toàn dồn vào nhiệm vụ duy nhất này. Ngoài việc định giá tiền thưởng, tôi không có quyền biểu quyết trong việc xác minh, chi trả, hay quy kết tên tuổi.
Kết quả sẽ tự nói lên tất cả.
V
Khía cạnh hấp dẫn nhất của những quy tắc này là sự "chờ đợi".
Sau khi một vấn đề được giải và được cộng đồng toán học chấp nhận, giải thưởng không được trao ngay lập tức. Tên của người chứng minh được đưa lên trước, cột hình thức hóa vẫn để trống, và trạng thái hiển thị: "Đã chứng minh, chờ hình thức hóa." Khi ai đó hình thức hóa lời giải đó và máy móc xác minh nó, tên của họ được nhập vào cột trống, và quá trình xác lập quyền sở hữu giải thưởng bắt đầu từ khoảnh khắc đó.
Trong các giải thưởng khác, sự chờ đợi là thời gian chết—một quy trình quan liêu, một điều xấu xa cần thiết. Ở đây, bản thân sự chờ đợi là một kho hàng mở các nhiệm vụ cần được thực hiện.
Nhiều người đã đóng khung séc của Erdős treo trên tường và không bao giờ đổi lấy tiền mặt. Một tấm séc chưa đổi là một đài tưởng niệm quá khứ, trong khi giải thưởng bị khóa trên chuỗi là chất xúc tác cho tương lai. Vị trí trống đó thực sự thông báo với thế giới: một nhiệm vụ lịch sử đang chờ đợi, và nó đi kèm với một khoản tiền thưởng.
Từ danh sách vấn đề này mọc lên một thứ lớn lao hơn nhiều: một bản đồ công khai, lập biểu đồ mọi thứ mà nhân loại đã chấp nhận nhưng máy móc vẫn chưa xác minh. Bản đồ như vậy không tồn tại ngày nay. Nó chỉ tồn tại dưới dạng các mảnh vụn, rải rác trên các nền tảng khác nhau—không bao giờ được thống nhất, và chắc chắn không có nhãn giá.
Những người làm việc về hình thức hóa chưa bao giờ thiếu đam mê; thứ họ thiếu là một bản thiết kế với các khoản tiền thưởng rõ ràng gắn liền. Tiền thưởng sẽ thuộc về người hoàn thành nhiệm vụ. Kể từ hôm nay, đam mê đưa các lời giải dài vào máy móc vẫn thuộc về họ, nhưng hỗ trợ tài chính là trách nhiệm của tôi.
VI
Tôi cũng muốn nói về triết lý chỉ đạo. Đây là nơi giải thưởng thực sự khác biệt so với Nobel.
Nobel là một nhà phát minh. Ông tin tưởng, suốt đời, rằng một thứ gì đó phải hữu ích—rằng nó phải bén rễ trong thực tế, được xây dựng, bán ra và thay đổi cách mọi người sống. Đó là triết lý chỉ đạo của ông, và nó được khắc sâu vào các giải thưởng mang tên ông: vật lý, hóa học, y học, văn học, hòa bình. Mỗi giải thưởng đều tôn vinh những công việc có tác động hữu hình, thực tế. Hơn một thế kỷ qua, Nobel đã vinh danh những người xây dựng trên nền tảng vững chắc.
Triết lý chỉ đạo của tôi thì khác, và tôi không thấy lý do gì để che giấu nguồn gốc của nó. Tôi đã đọc bài luận Machines of Loving Grace của Dario Amodei và chia sẻ tầm nhìn mà ông ấy vẽ ra: một quốc gia gồm những thiên tài sống bên trong một trung tâm dữ liệu.
Tôi chia sẻ tầm nhìn đó vì tôi đang hướng tới mục tiêu tối thượng tương tự. Ngay từ đầu, blockchain đã là một lĩnh vực được xây dựng hoàn toàn trừu tượng—không có nhà máy, không có mỏ, không có lãnh thổ, chỉ có sự đồng thuận và toán học. Công việc của tôi trong AI đơn giản là một cách khác để mở rộng lĩnh vực đó. Tôi tin rằng trong thế kỷ này, một phần lớn các cấu trúc quan trọng nhất của nhân loại sẽ tồn tại trong các miền kỹ thuật số, và suy luận thuần túy là nền tảng duy nhất mà một miền như vậy có thể được xây dựng. Năm 1940, G. H. Hardy đã viết trong A Mathematician’s Apology rằng ông vui mừng vì lý thuyết số sẽ không bao giờ có bất kỳ ứng dụng thực tế nào. Tám mươi năm sau, lý thuyết số là nền tảng của ngành công nghiệp của tôi.
Nobel và tôi đã chọn những hướng đi khác nhau. Ông ấy tôn vinh các ứng dụng thực tế, hữu hình; tôi đang tôn vinh những thứ thuần túy lý thuyết—các cấu trúc trừu tượng được xây dựng với độ chính xác logic hoàn hảo. Không phương pháp nào ưu việt hơn phương pháp kia; chúng phản ánh hai thời đại và hai mô hình tư duy riêng biệt. Tôi muốn truyền lại tầm nhìn về một vương quốc trừu tượng, vận hành bằng logic, năm này qua năm khác, thông qua một giải thưởng.
VII
Vào mùa thu năm 2007, ba sinh viên nhập học Đại học Bắc Kinh cùng năm. Một người đến từ Thâm Quyến, là huy chương vàng Olympic, và vào Khoa Khoa học Toán học. Người kia đến từ Quế Lâm, bắt đầu với Khoa học Trái Đất và Vũ trụ, sau đó chuyển sang toán học. Người thứ ba đến từ Huệ Châu và học lịch sử.
Mười chín năm sau, hai trong số họ cùng đứng trên sân khấu tại Philadelphia. Wang Hong và Deng Yu đã nhận Huy chương Fields năm 2026.
Người thứ ba gần đây đọc tin tức khi đang lướt web từ khoang riêng của một chiếc máy bay phản lực. Anh ấy đặt điện thoại xuống. Suy nghĩ đầu tiên của anh ấy không phải là niềm tự hào. Mà là: thế hệ của chúng ta đã trưởng thành. Đã đến lúc chúng ta đóng góp phần của mình.
Đóng góp của họ là chứng minh các định lý. Đóng góp của tôi là đảm bảo rằng họ được đền đáp cho điều đó.
VIII
Trong những năm qua, nỗ lực từ thiện của tôi đã được phân tán qua nhiều sáng kiến khác nhau. Trong tương lai, tôi đang tập trung toàn bộ sự chú ý vào giải thưởng này—vì nó đại diện cho tiềm năng đóng góp quan trọng nhất của tôi cho nhân loại.
Hiện tại, đây là một giải thưởng toán học.
IX
Một điểm cuối cùng liên quan đến lý do giải thưởng này mang tên tôi: có hai lý do chính.
Thứ nhất, một giải thưởng được đặt theo tên một người là một trong số ít những thứ vượt qua chính trị thể chế. Nobel, Fields, Abel, Turing, Wolf—những giải thưởng bền vững nhất trong toán học và khoa học hầu hết đều được đặt theo tên cá nhân. Quốc gia thay đổi, tổ chức đổi tên, công ty biến mất. Một khi tên đã nằm trên giải thưởng, nó sẽ ở lại đó mãi mãi. Không ai viết lại nó.
Thứ hai, tôi nợ chính mình điều đó. Tôi ba mươi sáu tuổi. Tài sản tôi đã tích lũy vượt quá những gì tôi cần. Tài sản không có mục đích sẽ nuôi dưỡng tranh chấp thừa kế và thoái hóa thành những hồ sơ đấu giá đơn thuần. Khi tôi còn minh mẫn và có khả năng, tôi muốn tự mình định hướng tài sản này: nó đến từ toán học, và nó quay trở lại với toán học.
Về bất kỳ sự giám sát công khai nào xung quanh tôi, hãy để danh sách những người đoạt giải tự nói lên tất cả. Tôi không mong đợi ai đó tin lời tôi ngày hôm nay.
Giải Justin Sun được xây dựng để chịu được thử thách của thời gian.
X
Để kết luận, giải thưởng này không đòi hỏi sự tin tưởng giữa con người với nhau. Xác minh là toán học. Máy móc chỉ tuân theo logic. Quỹ giải thưởng ban đầu đã được chuyển đến blockchain. Địa chỉ là công khai, và bất kỳ ai cũng có thể xem số dư. Tôi chỉ giữ lại quyền bổ sung thêm quỹ.
Mọi lời giải chiến thắng sẽ được công khai, để bất kỳ ai cũng có thể tự mình kiểm tra. Không cần sự tin tưởng—đối với tôi hay bất kỳ ủy ban nào. Mọi khoản thanh toán sẽ vẫn nằm trên chuỗi—công khai, bất biến, có thể xác minh một trăm năm sau. Một khi lời giải được thiết lập, nó tồn tại mãi mãi. Tôi hy vọng phần thưởng dành cho người chứng minh phản ánh sự vĩnh cửu bền vững tương tự.
Tôi không phải là một nhà toán học. Tôi chỉ là một người quan sát và một nhà tài trợ. Phần còn lại được để cho các lời giải.
Justin Sun
Để biết thêm thông tin về Giải Justin Sun, vui lòng truy cập các kênh chính thức sau:
Trang web chính thức: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
