Tôn Vũ Thần tự thuật, tại sao lại thành lập "Giải thưởng Tôn Vũ Thần"
Tiêu đề gốc: "Tại sao tôi thành lập Giải thưởng Justin Sun"
Tác giả gốc: Justin Sun
Một
Nobel đã phát minh ra thuốc nổ. Phần lớn tài sản cả đời của ông đến từ thứ này.
Người ta kể rằng năm 1888, một tờ báo Pháp đã đăng nhầm cáo phó của ông, với tiêu đề "Thương nhân tử thần đã chết". Ông đọc được cáo phó của chính mình, và vài năm sau đó lập di chúc.
Ngày nay không ai còn gọi ông là thương nhân tử thần nữa.
"Nobel" đã trở thành một danh từ trung tính, giống như "volt" và "watt", không mang cảm xúc, chỉ là một đơn vị. Ông trao tiền cho "người có đóng góp lớn nhất cho nhân loại", tiền quay trở lại tay nhân loại, và tên ông cũng theo đó trở về trung tính, không phải nhờ biện hộ, mà nhờ hơn một trăm năm danh sách người đoạt giải.
Tôi kể câu chuyện này vì tôi hiểu ông. Tôi biết tiền đến từ đâu, và cũng biết tiền có thể đi về đâu.
Hai
Nguồn gốc tài sản của tôi là toán học.
Ngành blockchain, xét tổng thể, được xây dựng trên một số cấu trúc mật mã và giả định an toàn được hỗ trợ bởi nhiều năm nghiên cứu: bài toán logarit rời rạc trên đường cong elliptic
khó giải, hàm băm không thể đảo ngược, số lớn khó phân tích. Năm 1985, hai nhà toán học độc lập nghĩ ra rằng có thể dùng đường cong elliptic để làm mật mã, một người ở trường đại học, một người ở IBM, không quen biết nhau. Năm đó không ai thấy việc này có ích. Những gì họ viết trên bảng đen, sau này đã biến thành một thị trường nghìn tỷ đô la, biến thành một thứ chưa từng có — một người có thể hoàn toàn chi phối tài sản của mình, không cần bất kỳ ai cho phép. Còn bản thân họ, không nhận được một xu nào.
Tự do này là một trong những món quà bị đánh giá thấp nhất mà toán học dành cho nhân loại. Tôi đã lấy đi rất nhiều từ món quà này. Việc thành lập giải thưởng này, trước hết là để trả nợ.
Ba
Giải Nobel không có giải toán học. Đây là một sơ suất từ hơn một trăm năm trước, có thể vì lý do cá nhân, có thể chỉ là không nghĩ tới.
Sau này có Giải Fields, bốn năm một lần, dưới bốn mươi tuổi; có Giải Abel, mỗi năm một lần, tôn vinh thành tựu cả đời. Chúng đều rất tốt, nhưng nhịp điệu của chúng là nhịp điệu của thời đại trước.
Giới toán học thực ra từng có một loại giải khác. Erdős cả đời đặt giá cho các bài toán, từ hai mươi lăm đô la đến mười nghìn đô la, ai giải được, ông sẽ viết một tấm séc. Nhiều người đóng khung tấm séc treo trên tường, cả đời không đổi tiền. Ông qua đời năm 1996, sau đó loại séc ấy ngày càng ít được viết ra.
Và toán học đang bước vào một kỷ nguyên khác. Trí tuệ nhân tạo không thể làm thí nghiệm, nhưng nó có thể suy diễn; trí tuệ nhân tạo rất khó thay nhà vật lý chế tạo một máy va chạm, nhưng nó có thể thay nhà toán học thử một vạn con đường. Ngày nay, một phỏng đoán từ khi được đưa ra đến khi được giải quyết có thể mất vài tháng, cũng có thể chỉ vài ngày. Một giải thưởng bốn năm trao một lần, đối mặt với tốc độ như vậy, giống như một chiếc chuông bốn năm gõ một lần, treo trong một thời đại tính bằng ngày.
Bốn
Vậy nên quy tắc của giải thưởng Tôn Vũ Thần rất đơn giản.
Tiền thưởng đi theo bài toán, không đi theo người. Không đợi hội nghị thường niên, không đợi đề cử, không đợi tuổi tác.
Mỗi bài toán, hai cột tên. Một cột ghi người chứng minh, một cột ghi người hình thức hóa, người đưa chứng minh vào máy. Hai cột có thể là cùng một người, cũng có thể cách nửa vòng trái đất mà không hề quen biết. Người có thể, AI có thể, người dùng AI cũng có thể, cột nào tôi cũng không quan tâm loài nào. Cùng một cái tên có thể xuất hiện hết lần này đến lần khác, xuất hiện ở cột nào cũng được.
Tiền chỉ có một điều kiện kích hoạt: máy kiểm tra chứng minh từ dòng đầu đến dòng cuối, không sai một bước. Sau khi vượt qua, danh sách trong hai cột chính là chủ sở hữu tiền thưởng của bài toán đó. Tiêu chuẩn này không phải tôi phát minh ra. Scholze treo định lý quan trọng nhất của mình lên, mời người đưa vào máy; định lý lớn Fermat, lúc này đang được người ta từng dòng từng dòng đưa vào.
Trước khi máy kiểm tra, chứng minh của con người cũng không uổng công. Giới toán học chấp nhận, tên được ghi trước, tiền không nhúc nhích một xu, thanh trạng thái ghi: Đã chứng minh, chờ hình thức hóa.
Tiền ở cột giải bài chỉ trả cho những bài toán được giải sau khi lên kệ. Những bài đã được giải khi lên kệ, tên người chứng minh vẫn được ghi, tiền chỉ trả cho người đưa nó vào máy. Giải thưởng này ghi lại những gì xảy ra sau khi nó được thành lập, không truy lĩnh tiền thưởng cho lịch sử toán học.
Phân công rất rõ ràng: tên thuộc về giới toán học, tiền thuộc về máy, người bỏ tiền không dính bên nào. Phán đoán của con người chỉ còn một việc, xác nhận bài toán được viết vào máy chính là bài toán đó.
Còn một việc cuối cùng tôi quyết: danh sách bài toán. Bài nào lên kệ, định giá bao nhiêu, do tôi ký. Tấm séc của Erdős, giá cũng do ông ấy tự viết, ở đây không giả vờ ngoại lệ. Nhưng một khi kệ đã treo ra, là khóa chết: bài chỉ thêm không bớt, tiền chỉ đổi không hoàn, kể cả tôi, ai cũng không sửa được. Bài viết sai, vẫn trả, rồi treo lại.
Gu thẩm mỹ của tôi, toàn bộ dồn vào một việc này. Ngoài định giá, xác minh, phát tiền, ghi tên, tôi không có một phiếu nào.
Kết quả quyết định.
Năm
Trong bộ quy tắc này, điều tôi thích nhất là một chữ 「đợi」.
Một bài toán sau khi được giải quyết và được giới toán học chấp nhận, tiền không được chuyển ngay. Tên người chứng minh được ghi lên trước, cột hình thức hóa để trống, cột trạng thái ghi rằng: Đã chứng minh, chờ hình thức hóa. Ai mang bản chứng minh này vào máy, máy kiểm tra xong, cột trống được điền tên, hành trình thuộc về số tiền cũng khởi động ngay tại khoảnh khắc đó.
Ở các giải thưởng khác, chờ đợi là sự trì hoãn, là quy trình, là điều xấu cần thiết. Ở đây, bản thân sự chờ đợi là một bản danh sách.
Tấm séc của Erdős, nhiều người đóng khung treo trên tường, cả đời không đổi thành tiền. Tiền được đóng khung nhìn về quá khứ, là kỷ niệm; tiền treo trên chuỗi nhìn về tương lai, là lời triệu tập. Cột trống ở đó, tương đương với việc nói với cả thế giới rằng: Ở đây có một công việc, có giá của nó.
Thế là danh sách bài toán này đồng thời mọc ra một thứ khác: một tấm bản đồ công khai, đánh dấu mọi thứ mà loài người đã công nhận, còn máy chưa công nhận. Tấm bản đồ này ngày hôm nay chưa tồn tại. Nó chỉ có những mảnh vụn, rải rác vài nơi, chưa bao giờ được thống nhất, càng chưa bao giờ mang giá.
Người hình thức hóa chưa bao giờ thiếu nhiệt huyết, thiếu là một bản thi công có ghi giá. Ai điền vào chỗ trống đó, người đó nhận tiền. Từ nay về sau, mang chứng minh dài vào máy, nhiệt huyết vẫn thuộc về họ, hóa đơn thuộc về tôi.
Sáu
Tôi còn muốn nói về gu thẩm mỹ. Đây là nơi giải thưởng này và giải Nobel thực sự tách khỏi nhau.
Nobel là nhà phát minh. Cả đời ông tin rằng một thứ phải hữu ích, phải đáp xuống mặt đất, phải được chế tạo, bán ra, thay đổi cuộc sống con người. Đó là gu của ông, và cũng được khắc vào giải thưởng của ông: Vật lý, Hóa học, Y học, Văn học, Hòa bình, mỗi hạng mục đều là phần thưởng cho thế giới thực tại. Hơn một trăm năm qua, giải thưởng này thưởng cho những người xây tòa nhà trên mặt đất.
Gu của tôi khác, và tôi không định che giấu nguồn gốc của nó. Tôi đã đọc "Machines of Loving Grace" của Dario Amodei, vô cùng đồng tình với bức tranh ông viết trong đó: một quốc gia thiên tài được đặt trong trung tâm dữ liệu.
Tôi đồng tình vì tôi cũng đang làm cùng một việc. Blockchain từ ngày đầu tiên đã là một vương quốc xây giữa không trung: không nhà máy, không mỏ, không lãnh thổ, chỉ có đồng thuận và toán học. Tôi làm trí tuệ nhân tạo, cũng là đang thêm gạch vào vương quốc này. Tôi tin rằng trong thế kỷ này, phần đáng kể trong những công trình quan trọng nhất của loài người sẽ được xây giữa không trung, và nền móng của vương quốc trên không
chỉ có thể là suy luận thuần túy. Hardy năm 1940 viết trong "A Mathematician's Apology" rằng ông rất an lòng vì lý thuyết số sẽ mãi mãi không 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 móng của ngành tôi.
Vì vậy tôi và Nobel đã chọn hai hướng khác nhau. Ông thưởng cho những thứ đáp xuống đất, tôi thưởng cho những thứ lơ lửng nhưng khớp khít không khe hở. Đây không phải ai đúng ai sai, mà là hai thời đại, hai gu thẩm mỹ. Tôi muốn truyền tư tưởng vương quốc trên không này, bằng một giải thưởng, năm này qua năm khác.
Bảy
Mùa thu năm 2007, có ba người cùng năm vào Đại học Bắc Kinh. Một người từ Thâm Quyến đến, mang theo huy chương vàng Olympic Toán, vào thẳng Khoa Toán; một người từ Quế Lâm đến, ban đầu học Khoa học Trái Đất và Không gian, sau đó chuyển sang Toán; một người từ Huệ Châu đến, học Lịch sử.
Mười chín năm sau, hai người đầu tiên đứng trên cùng một bục nhận giải ở Philadelphia. Vương Hồng và Đặng Dục
đã giành giải Fields năm 2026.
Người thứ ba là người mà thời gian trước, trong phòng ngủ trên máy bay, lướt Zhihu và thấy tin này. Anh đặt điện thoại xuống, ý nghĩ đầu tiên không phải là tự hào. Mà là: thế hệ chúng ta, cũng đã đến lúc phải làm gì đó rồi.
Họ dùng chứng minh để cống hiến. Tôi không biết chứng minh. Điều tôi có thể làm, là để người chứng minh nhận được tiền.
Tám
Những năm qua, tôi đã làm không ít các khoản quyên góp từ thiện lẻ tẻ. Từ nay trở đi, trọng tâm từ thiện của tôi sẽ chuyển sang giải thưởng này. Chỉ có một lý do: đây là điều tôi có thể làm cho nhân loại, có đóng góp lớn nhất.
Hiện tại giải thưởng chỉ tập trung vào toán học.
Chín
Còn một điều nữa: tại sao giải thưởng này lại mang tên tôi.
Hai lý do.
Thứ nhất, giải thưởng mang tên người là thứ phi chính trị nhất trên đời. Nobel, Fields, Abel, Turing, Wolf, những giải thưởng sống lâu nhất trong giới toán học và khoa học, gần như đều là tên của một người. Quốc gia sẽ thay đổi, tổ chức sẽ đổi tên, công ty sẽ phá sản, nhưng một khi tên một người đã được khắc lên giải thưởng, thì không ai có thể sửa đổi nó nữa.
Thứ hai, là một lời giao phó cho chính tôi. Tôi ba mươi sáu tuổi, tài sản tích lũy đã vượt quá nhu cầu của tôi. Tài sản của một người nếu không có phương hướng, cuối cùng chỉ biến thành tranh chấp thừa kế và hồ sơ đấu giá. Tôi muốn nhân lúc mình còn tỉnh táo, tự tay chỉ cho số tiền này một con đường: nó đến từ toán học, trở về với toán học.
Còn về những tranh cãi của bản thân tôi, danh sách là câu trả lời duy nhất. Tôi không yêu cầu bất kỳ ai tin ngay bây giờ.
Giải thưởng Tôn Vũ Thần có thể chờ được.
Mười
Điều cuối cùng. Giải thưởng này không yêu cầu bất kỳ ai tin bất kỳ ai, bạn chỉ cần tin vào sự xác minh của máy móc, mà máy móc chỉ nhận logic. Quỹ thưởng kỳ đầu đã được đưa vào blockchain, địa chỉ công khai, số dư toàn thế giới đều có thể thấy. Tôi chỉ giữ quyền thêm tiền vào.
Mỗi chứng minh đoạt giải đều sẽ được công khai, bất kỳ ai cũng có thể tự kiểm tra xem nó có đúng hay không, không cần tin tôi, cũng không cần tin bất kỳ hội đồng nào. Mỗi khoản tiền thưởng phát ra đều sẽ lưu lại trên chuỗi, công khai, không thể thay đổi, một trăm năm sau vẫn có thể kiểm tra. Một chứng minh một khi đã đúng, thì mãi mãi đúng; tôi hy vọng sự đền đáp cho người chứng minh, cũng là thứ có tính chất như vậy.
Tôi không phải là nhà toán học. Tôi là một người quan sát, tôi trả tiền. Phần còn lại, giao cho chứng minh.
Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:
Nhóm Telegram đăng ký: https://t.me/theblockbeats
Nhóm Telegram thảo luận: https://t.me/BlockBeats_App
Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia
