孙宇晨设立“孙宇晨奖”：我的财富从数学中来，将回到数学中去

Ngày 16 tháng 9, nhà sáng lập TRON Justin Sun chính thức tuyên bố thành lập "Giải thưởng Justin Sun". Đây là cơ chế treo thưởng học thuật phi tập trung, zero-trust đầu tiên trên thế giới dựa trên "danh sách đề bài", lấy đột phá lớn trong các ngành khoa học cơ bản và xác minh hình thức hóa bằng máy móc làm tiêu chuẩn trao thưởng duy nhất, với mức thưởng cao nhất cho một đề bài lên tới 1 triệu USD. Việc thành lập giải thưởng này không chỉ lấp đầy khoảng trống lịch sử hơn một trăm năm qua khi giải Nobel không có giải Toán học, mà còn tìm cách định nghĩa lại logic và ranh giới của việc thưởng cho khoa học trong kỷ nguyên AI, thúc đẩy con người và trí tuệ nhân tạo cùng nhau tăng tốc nghiên cứu khoa học cơ bản.

Justin Sun đồng thời công bố danh sách người đoạt giải "Giải thưởng Justin Sun" đợt đầu tiên, vinh danh các kết quả giải quyết và chứng minh hình thức hóa liên quan đến 66 bài toán. Trong đó, giải cao nhất được trao cho nhóm nghiên cứu OpenAI, với mức thưởng 1 triệu USD, nhằm vinh danh kết quả giải quyết và chứng minh hình thức hóa mà họ đưa ra cho "vấn đề tồn tại và tính trơn của phương trình Navier–Stokes ba chiều". Theo thông tin OpenAI công bố, chứng minh liên quan được tạo ra bởi hệ thống nội bộ của họ, phần hình thức hóa do GPT-6 Astra hoàn thành, và đã được xác minh qua Lean.

Vấn đề này liên quan đến phương trình Navier–Stokes mô tả chuyển động của chất lưu, gọi tắt là phương trình N–S. Phương trình này được nhà vật lý người Pháp Claude-Louis Navier, nhà toán học người Anh gốc Ireland George Gabriel Stokes và những người khác phát triển và thiết lập vào thế kỷ 19, đã có lịch sử khoảng hai trăm năm. Năm 2000, Viện Toán học Clay đã liệt "vấn đề tồn tại và tính trơn của phương trình Navier–Stokes ba chiều" vào bảy bài toán thiên niên kỷ, và lập giải thưởng 1 triệu USD cho vấn đề này.

Thành quả đoạt giải lần này còn liên quan đến giả thuyết Sendov, bài toán tổng các tập con phân biệt của Erdős, giả thuyết bảo toàn chi phí Dinitz–Garg–Goemans, v.v. Theo quy định của "Giải thưởng Justin Sun", những người đoạt giải trong danh sách đã công bố cần chủ động đăng ký để nhận tiền thưởng.

Justin Sun cho biết, toán học là ngôn ngữ nền tảng và khuôn khổ của mọi ngành khoa học cơ bản. Điều thực sự mở rộng ranh giới nhận thức của nhân loại chưa bao giờ chỉ là sự tìm tòi đơn độc, mà còn là việc chuyển hóa những hiểu biết sâu sắc thành các thành quả hình thức hóa có thể được máy móc kiểm tra nghiêm ngặt và toàn nhân loại tái lập. "Giải thưởng Justin Sun" ra đời chính vì điều này, nó không lấy đề cử truyền thống và ngưỡng thâm niên làm rào cản, không lấy chu kỳ bốn năm một lần hay thành tựu trọn đời làm nhịp độ, mà trực tiếp gắn tiền thưởng với những bài toán chưa được chinh phục và với các chứng minh hình thức hóa có thể được máy móc xác minh. Bất kỳ người đóng góp nào, dù là nhà nghiên cứu chuyên nghiệp, người đam mê độc lập, hay cá nhân, nhóm hợp tác giữa người và AI, chỉ cần hoàn thành đột phá trước tiên là có thể nhận thưởng.

Trong kỷ nguyên AI, chu kỳ giải quyết một giả thuyết đang được nén từ nhiều năm xuống còn vài tháng, thậm chí vài ngày. Hệ thống thưởng truyền thống lấy "thành tựu trọn đời" hoặc chu kỳ cố định làm trọng tâm đã khó có thể bắt kịp nhịp độ khoa học đang tăng tốc này. Tầm nhìn của "Giải thưởng Justin Sun" là trở thành "giải Nobel của kỷ nguyên AI", với cách thức phi tập trung hơn, hình thức hóa hơn, máy móc hóa hơn, đáp lại sự chuyển đổi sâu sắc của nghiên cứu khoa học và cơ chế khuyến khích trong thời kỳ mới. Nó sẽ liên tục duy trì và công khai cập nhật một kho mã nguồn gồm các bài toán và mã hình thức hóa, danh sách đề bài một khi được đăng lên sẽ bị khóa vĩnh viễn, chỉ tăng không giảm, tiền thưởng chỉ trả không hoàn, trở thành một "bản đồ thi công có ghi giá".

Theo giới thiệu, tiền thưởng của "Giải thưởng Justin Sun" sẽ chỉ được trao cho người hoàn thành đầu tiên; nếu nhiều người cùng hoàn thành, sẽ chia theo tỷ lệ đóng góp. Người giải bài có thể nhận 70% tổng tiền thưởng, người hoàn thành xác minh hình thức hóa nhận 30%; nếu một người đồng thời hoàn thành cả giải bài và hình thức hóa, có thể nhận toàn bộ tiền thưởng. Ngay cả khi hệ thống trí tuệ nhân tạo là bên hoàn thành treo thưởng, vẫn được trao thưởng, nhưng phải do thể nhân, pháp nhân liên quan hoặc đại diện được ủy quyền bằng văn bản của họ làm chủ thể khai báo và người nhận thanh toán hợp pháp. Giải thưởng bao gồm các tiến bộ toán học đạt được từ ngày 1 tháng 1 năm 2026; nếu bài toán đã được giải trước ngày đó nhưng xác minh hình thức hóa được hoàn thành sau đó, thì người hình thức hóa có thể nhận thưởng. Danh sách đề bài hiện tại đã bao gồm xác minh hình thức hóa giả thuyết Poincaré, giả thuyết Riemann, giả thuyết Goldbach, cùng nhiều bài toán chưa được giải mà nhà toán học quá cố, người đoạt giải Wolf Paul Erdős để lại khi còn sống.

Justin Sun tiết lộ, ngoài tiền thưởng, người đoạt giải cũng sẽ nhận được chứng nhận và huy chương, mặt trước huy chương là chân dung Justin Sun và dòng chữ "Giải thưởng Justin Sun" bằng tiếng Trung và tiếng Anh, mặt sau là hình chạm khắc thể hiện con người khám phá vũ trụ, viền khắc dòng chữ Latinh "Quod probatur, solvitur", nghĩa là "điều được chứng minh tức là được giải". Thân huy chương làm bằng chất liệu đồng, bề mặt mạ 6 gram vàng nguyên chất.

"Giải thưởng Justin Sun" kiên trì ba nguyên tắc mở, công ích, mã nguồn mở: hướng tới mọi người đóng góp đủ điều kiện, không giới hạn quốc tịch, tổ chức, thân phận, cũng không phân biệt con người và AI; nguồn vốn chỉ dùng cho việc trao giải và công việc mở, không nhằm mục đích lợi nhuận; danh sách bài toán, tiêu chuẩn xác nhận, tài liệu chứng minh và kiểm tra đều được mở công khai cho công chúng qua GitHub, hồ sơ phát thưởng được lưu chứng trên chuỗi, có thể truy xuất vĩnh viễn, không thể sửa đổi.

Justin Sun chỉ ra, công việc chuyển đổi các chứng minh toán học của con người thành chứng minh hình thức hóa có thể được máy móc xác minh hiện nay vẫn chủ yếu dựa vào nhiệt huyết tự phát của các cộng đồng hình thức hóa như Lean, thiếu vắng khuyến khích kinh tế mang tính hệ thống trong thời gian dài. "Người làm hình thức hóa chưa bao giờ thiếu nhiệt huyết, điều thiếu là một bản đồ thi công có ghi giá." "Giải thưởng Justin Sun" lần đầu tiên cung cấp một danh sách công khai, có thưởng cho mắt xích then chốt này, nhằm thay đổi triệt để cục diện này.

Ông còn cho biết thêm, "giải thưởng mang tên người là thứ phi chính trị nhất trên đời. Quan trọng hơn, điều này cho bản thân một lời giải thích — tài sản của tôi, gốc rễ là toán học. Nó đến từ toán học, sẽ trở về với toán học." Theo thông tin công khai, trong nhiều năm qua, Justin Sun đã quyên góp tổng cộng gần 45 triệu USD (khoảng 300 triệu nhân dân tệ) trong các lĩnh vực công nghệ, bảo vệ môi trường, cứu trợ thiên tai. Từ nay về sau, trọng tâm công ích của ông sẽ chuyển hoàn toàn sang "Giải thưởng Justin Sun", tiếp tục thúc đẩy đột phá tăng tốc trong khoa học cơ bản bằng cách công khai, có thể xác minh.

"Tôi không phải nhà toán học, tôi là người quan sát, tôi trả tiền. Phần còn lại, giao cho chứng minh." Justin Sun nói. Việc chính thức thành lập "Giải thưởng Justin Sun" đã mở ra một mô hình khuyến khích khoa học mới lấy xác minh bằng máy làm cốt lõi, lấy cộng tác người-máy làm động lực, lấy treo thưởng phi tập trung làm cơ chế.