Ngày 16 tháng 9, Sun Yuchen, người sáng lập TRON, chính thức công bố thành lập "Giải thưởng Sun Yuchen". Đây là cơ chế thưởng học thuật phi tin tưởng và phi tập trung đầu tiên trên thế giới dựa trên "danh sách câu hỏi", với tiêu chí duy nhất để trao giải là những đột phá lớn trong các ngành khoa học cơ bản và xác minh hình thức bằng máy móc, mức thưởng cao nhất cho một câu hỏ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 thế kỷ qua của Giải Nobel khi chưa có giải Toán học, mà còn nhằm tái định nghĩa logic và ranh giới của phần thưởng khoa học trong thời đại AI, thúc đẩy sự hợp tác giữa con người và trí tuệ nhân tạo để đẩy nhanh nghiên cứu khoa học cơ bản.
Sun Yuchen đồng thời công bố danh sách người chiến thắng đầu tiên của "Giải Sun Yuchen", ghi nhận những thành tựu trong việc giải quyết và chứng minh hình thức hóa 66 bài toán toán học. Giải thưởng cao nhất được trao cho đội nghiên cứu của OpenAI với tiền thưởng 1 triệu USD, nhằm ghi nhận thành tựu giải quyết và chứng minh hình thức hóa vấn đề "sự tồn tại và tính trơn tru của phương trình Navier-Stokes ba chiều". Theo thông tin do 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ọ, công việc hình thức hóa do GPT-6 Astra thực hiện và đã được xác minh thông qua Lean.
Vấn đề này liên quan đến phương trình Navier–Stokes, viết tắt là N–S, mô tả chuyển động của chất lỏng. Phương trình này được phát triển và thiết lập vào thế kỷ 19 bởi các nhà vật lý và toán học như nhà vật lý người Pháp Claude-Louis Navier và nhà toán học người Ireland–Anh George Gabriel Stokes, đã có khoảng hai trăm năm lịch sử. Năm 2000, Viện Toán học Clay đã liệt kê "vấn đề tồn tại và tính trơn tru của phương trình Navier–Stokes trong không gian ba chiều" vào danh sách bảy bài toán thiên niên kỷ và treo giải thưởng 1 triệu đô la Mỹ cho lời giải.
Kết quả đạt giải lần này còn liên quan đến giả thuyết Sendov, bài toán tập con khác nhau của Erdős và giả thuyết chi phí giữ nguyên Dinitz–Garg–Goemans. Theo quy định của "Giải Sun Yuchen", những người thắng giải trong danh sách đã công bố cần chủ động đăng ký để nhận giải thưởng.
Tôn Vũ Thần cho rằng toán học là ngôn ngữ và khung nền tảng của mọi khoa học cơ bản. Những gì thực sự mở rộng ranh giới nhận thức của nhân loại không bao giờ chỉ là sự tìm tòi cô đơn, mà còn là việc chuyển hóa những tầm nhìn thành những thành quả được định lượng, có thể được máy tính kiểm tra nghiêm ngặt và có thể được toàn nhân loại tái hiện. “Giải thưởng Tôn Vũ Thần” ra đời chính vì mục đích này—không đặt ra các rào cản truyền thống như đề cử hay điều kiện về thâm niên, không tuân theo chu kỳ bốn năm một lần hay trao giải cho thành tựu trọn đời, mà trực tiếp gắn phần thưởng với những bài toán toán học chưa được giải quyết và với các chứng minh định lượng có thể được máy tính xác minh. Bất kỳ đóng góp nào, dù đến từ các nhà nghiên cứu chuyên nghiệp, người yêu thích độc lập, hay cá nhân và nhóm hợp tác giữa con người và AI, chỉ cần hoàn thành bước đột phá đầu tiên, đều có thể nhận được phần thưởng.
Trong thời đại AI, chu kỳ giải quyết một giả thuyết đang được rút ngắn từ vài năm xuống còn vài tháng hoặc vài ngày. Các hệ thống phần thưởng truyền thống dựa trên “thành tựu trọn đời” hoặc chu kỳ cố định đã khó còn phù hợp với nhịp độ khoa học đang gia tốc này. Tầm nhìn của Giải Sun Yuchen là trở thành “Giải Nobel của thời đại AI”, đáp ứng sự chuyển đổi sâu sắc trong nghiên cứu khoa học và động lực khuyến khích thời kỳ mới bằng cách tiếp cận phi tập trung, hình thức hóa và máy hóa hơn. Giải sẽ liên tục duy trì và cập nhật công khai một kho lưu trữ các bài toán toán học và mã hình thức, danh sách bài toán一旦 được công bố sẽ được khóa vĩnh viễn, chỉ thêm không bớt, tiền thưởng chỉ được nhận không hoàn lại, trở thành một “bản đồ thi công có giá trị”.
The Sun Yuchen Prize will be awarded solely to the first person to complete the challenge; if multiple individuals complete it together, the prize will be distributed according to their respective contributions. The solver of the problem will receive 70% of the total prize, while the person who completes the formal verification will receive 30%; if one person completes both the solution and the formal verification, they will receive the full prize. Even if an artificial intelligence system completes the challenge, the prize will still be awarded, provided that a related natural person, legal entity, or their written authorized representative acts as the applicant and legal recipient. The prize covers mathematical advancements achieved on or after January 1, 2026; if a problem was solved before this date but formal verification was completed afterward, the formal verification contributor will be eligible for the reward. The current list of problems includes formal verification of the Poincaré Conjecture, the Riemann Hypothesis, the Goldbach Conjecture, and numerous unsolved problems posed by the late mathematician and Wolf Prize winner Paul Erdős.
Sun Yuchen tiết lộ, ngoài tiền thưởng, người chiến thắng còn nhận được chứng nhận và huy chương; mặt trước huy chương có chân dung Sun Yuchen và dòng chữ “Giải Sun Yuchen” bằng tiếng Trung và tiếng Anh, mặt sau là họa tiết khắc thể hiện sự khám phá vũ trụ của nhân loại, viền huy chương được khắc dòng chữ Latinh “Quod probatur, solvitur”, nghĩa là “Điều đã được chứng minh thì đã được giải quyết”. Thân huy chương làm từ đồng, phủ lớp vàng nguyên chất 6 gram.
Giải thưởng Tôn Vũ Thần tuân theo ba nguyên tắc: mở, phi lợi nhuận và mã nguồn mở: dành cho mọi đóng góp viên đủ điều kiện, không phân biệt quốc tịch, tổ chức hay thân phận, cũng không phân biệt con người và AI; nguồn vốn chỉ dùng để trao giải và hỗ trợ các công việc mở, không nhằm mục đích lợi nhuận; danh sách vấn đề, tiêu chuẩn xác nhận, tài liệu chứng minh và xác minh đều được công khai trên GitHub cho công chúng, hồ sơ phân phối tiền thưởng được ghi lại trên chuỗi, có thể truy xuất vĩnh viễn và không thể thay đổi.
Tôn Vũ Thần chỉ ra rằng, hiện nay việc chuyển đổi các chứng minh toán học của con người thành các chứng minh hình thức có thể được máy xác minh vẫn chủ yếu dựa vào sự nhiệt tình tự phát của cộng đồng hình thức như Lean, với sự thiếu vắng lâu dài các động lực kinh tế hệ thống. “Người làm hình thức không bao giờ thiếu nhiệt huyết, mà thiếu một bản đồ thi công có giá rõ ràng.” “Giải Tôn Vũ Thần” lần đầu tiên cung cấp một danh sách công khai, có phần thưởng cho khâu then chốt này, nhằm thay đổi hoàn toàn tình hình này.
Anh ấy còn nhấn mạnh: “Giải thưởng mang tên người thật là thứ ít chính trị nhất trên thế giới. Quan trọng hơn, điều này giúp bản thân tôi tự trả lời: Tài sản của tôi bắt nguồn từ toán học. Nó đến từ toán học và trở về với toán học.” Theo thông tin công khai, trong những năm qua, Sun Yuchen đã quyên góp tổng cộng gần 45 triệu USD (tương đương khoảng 300 triệu nhân dân tệ) cho các lĩnh vực như công nghệ, bảo vệ môi trường và cứu trợ thiên tai. Từ nay trở đi, trọng tâm từ thiện của anh sẽ hoàn toàn chuyển sang “Giải thưởng Sun Yuchen”, liên tục thúc đẩy những đột phá nhanh chóng trong khoa học cơ bản theo cách công khai và có thể xác minh được.
“Tôi không phải là nhà toán học, tôi chỉ là một người quan sát, tôi trả tiền. Phần còn lại, để chứng minh,” Sun Zhen nói. Việc chính thức thành lập “Giải thưởng Sun Zhen” đã mở ra một mô hình kích thích khoa học mới, lấy việc xác minh bằng máy móc làm trung tâm, lấy sự phối hợp giữa con người và máy móc làm động lực, và lấy cơ chế thưởng phi tập trung làm nền tảng.