Vì sao tôi lập Giải thưởng Sun Yuchen

一
Nobel đã phát minh ra thuốc nổ. Phần lớn tài sản cả đời ông đến từ thứ này.
Người ta nói 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, rồi vài năm sau lập di chúc.
Ngày nay không còn ai 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 “những người có đóng góp lớn nhất cho nhân loại”, tiền trở về tay nhân loại, và tên ông cũng theo đó trở lại trạng thái trung lập, không phải nhờ biện hộ, mà nhờ danh sách những người đoạt giải trong hơn một trăm năm.
Tôi kể câu chuyện này vì tôi hiểu ông. Tôi biết tiền đến từ đâu, cũng biết tiền có thể đi về đâu.

二
Nền tảng tài sản của tôi là toán học.
Toàn bộ ngành blockchain được xây dựng trên một số cấu trúc mật mã và giả định an ninh được nghiên cứu lâu dài: 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 thành thừa số. Năm 1985, hai nhà toán học độc lập nghĩ ra việc có thể dùng đường cong elliptic cho mật mã, một người ở trường đại học, một người ở IBM, không hề biết nhau. Năm đó không ai nghĩ việc này hữu ích. Những thứ họ viết trên bảng đen sau này đã trở thành một thị trường trị giá 10 nghìn tỷ USD, trở thành một thứ chưa từng có trước đây — một người có thể hoàn toàn chi phối tài sản của mình mà không cần bất kỳ ai cho phép. Còn chính họ không nhận được dù chỉ một xu.
Sự tự do này là một trong những món quà của toán học dành cho nhân loại bị đánh giá thấp nhất. Tôi đã lấy đi rất nhiều từ món quà ấy. Lập giải thưởng này trước hết là để trả nợ.

三
Giải Nobel không có giải toán. Đó là một thiếu sót từ hơn một trăm năm trước, có lẽ vì lý do riêng tư, cũng có lẽ chỉ là chưa từng nghĩ đến.
Sau đó có Giải Fields, tổ chức bốn năm một lần, dành cho người dưới bốn mươi tuổi; có Giải Abel, tổ chức hằng năm, trao cho thành tựu cả đời. Cả hai đều rất tốt, nhưng nhịp độ của chúng là nhịp độ 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 thưởng khác. Erdős dành cả đời định giá các bài toán, từ 25 USD đến 10.000 USD; ai giải được, ông sẽ viết một tấm séc. Nhiều người đóng khung những tấm séc ấy trên tường, cả đời không bao giờ đổi tiền. Ông qua đời năm 1996, sau đó những tấm séc như vậy ngày càng ít được viết ra.
Còn toán học đang bước vào một thời đại khác. Trí tuệ nhân tạo không thể làm thí nghiệm, nhưng có thể suy luận; trí tuệ nhân tạo rất khó thay nhà vật lý chế tạo một máy gia tốc, nhưng có thể thay nhà toán học thử 10.000 con đường. Ngày nay, từ lúc một phỏng đoán đượ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 được trao bốn năm một lần, trước tốc độ như vậy, giống như một chiếc đồng hồ điểm chuông bốn năm một lần, treo trong một thời đại tính thời gian bằng ngày.

四
Vì vậy, quy tắc của Giải thưởng Sun Yuchen rất đơn giản.
Giải thưởng đi theo bài toán, không đi theo con người. Không chờ hội nghị thường niên, không chờ đề cử, không chờ tuổi tác.
Mỗi bài toán có hai cột ghi tên. Một cột ghi người chứng minh, một cột ghi người chí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ể là hai người không quen biết cách nhau nửa vòng Trái đất. Con người được, AI được, con người dùng AI cũng được; tôi không quan tâm đến loài ở cột 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 tiên đến dòng cuối cùng, không sai một bước. Sau khi thông qua, danh sách ở hai cột là những người sở hữu toàn bộ tiền thưởng của bài toán này. Tiêu chuẩn này không phải do tôi phát minh. Scholze đã đưa định lý quan trọng nhất của mình ra, mời mọi người đưa nó vào máy; Định lý cuối cùng của Fermat hiện đang được người ta đưa vào đó từng dòng một.
Trước khi máy kiểm tra xong, chứng minh của con người cũng không làm vô ích. Giới toán học đã chấp nhận nó, tên người được treo lên trước, tiền không nhúc nhích một xu, thanh trạng thái ghi: đã chứng minh, chờ chính thức hóa.
Tiền ở cột giải bài chỉ được trả cho những bài toán được giải sau khi đăng lên. Những bài đã được giải lúc đăng lên thì tên người chứng minh vẫn được ghi lại, tiền chỉ trả cho người đưa nó vào máy. Giải thưởng này ghi nhận những gì xảy ra sau khi được lập ra, không truy lĩnh tiền thưởng cho lịch sử toán học.
Sự 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 móc, người tài trợ không dính vào 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 lại một việc cuối cùng do tôi quyết định: danh sách bài toán. Bài nào được đăng, ra giá bao nhiêu, do tôi ký. Những tấm séc của Erdős, mức giá cũng do chính ông viết, ở đây không giả vờ là ngoại lệ. Nhưng một khi đã được treo lên kệ thì sẽ bị khóa chặt: bài toán chỉ thêm không bớt, tiền chỉ đổi không hoàn lại, kể cả tôi cũng không thể sửa. Bài viết sai thì vẫn trả tiền, sau đó đăng lại.
Toàn bộ gu của tôi được dành cho một việc này. Ngoài định giá, việc xác minh, trả tiền, ghi tên, tôi không có một phiếu nào.
Kết quả là người quyết định.

五
Trong bộ quy tắc này, điều tôi thích nhất là chữ “chờ”.
Sau khi một bài toán được giải và được giới toán học chấp nhận, tiền không lập tức chuyển động. Tên người chứng minh được treo lên trước, cột chính thức hóa để trống, thanh trạng thái ghi: đã chứng minh, chờ chính thức hóa. Ai đưa chứng minh này vào máy, máy kiểm tra xong, cái tên rơi xuống cột trống, hành trình xác định quyền sở hữu tiền cũng bắt đầu từ khoảnh khắc đó.
Trong những 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, chờ đợi tự nó là một danh sách.
Nhiều người đóng khung séc của Erdős trên tường, cả đời không bao giờ đổi tiền. Số tiền được đóng khung nhìn về phía sau là kỷ niệm; số tiền được treo trên chuỗi nhìn về phía trước là lời triệu tập. Một cột còn trống chẳng khác nào nói với cả thế giới: ở đây có một công việc, có giá trị.
Vì vậy, danh sách bài toán này đồng thời sinh ra một thứ khác: một tấm bản đồ công khai, đánh dấu tất cả những gì nhân loại đã công nhận nhưng máy móc chưa công nhận. Tấm bản đồ này hôm nay chưa tồn tại. Nó chỉ có những mảnh rời rạc, nằm rải rác ở vài nơi, chưa bao giờ được thống nhất, càng chưa bao giờ đi kèm mức giá.
Những người chính thức hóa chưa bao giờ thiếu nhiệt huyết, thứ họ thiếu là một bản thiết kế thi công có mức giá. Ai lấp đầy chỗ trống đó, người ấy nhận tiền. Từ nay về sau, việc đưa những chứng minh dài vào máy vẫn là nhiệt huyết của họ, còn hóa đơn thuộc về tôi. $ETH

‌#Gate打金狗獨家支持0Gas交易