孙宇晨奖首批候选获奖人正式进入公示阶段，去中心化学术悬赏机制加速落地
- Core viewpoint: The Sun Yuchen Award has entered a substantive operational phase. The first batch of candidate winners has begun a 14-day public notice period, marking the entry of the world's first zero-trust, decentralized academic bounty mechanism based on a "problem list" into standardized operation, with the maximum single-problem prize reaching $1 million.
- Key elements:
- The problems in the public notice are Nos. 305, 371, 381, 526, 866, and 1001 from the official problem database. Candidates cover two roles: formal verifiers and mathematical solvers.
- The prize pool's public on-chain address has deposited $10 million. Distribution records are stored on-chain for proof. The problem list is permanently locked and can only increase, never decrease. Prizes are only paid out, never refunded.
- The claim process is divided into three stages: submitting a PR to participate in verification, publishing an issue to apply for the award, and entering the award stage after the 14-day public notice period ends.
- Reward distribution: solvers receive 70% of the total prize, and formal verifiers receive 30%; if one person completes both, they can receive the full prize.
- Prizes are distributed in USDT (TRC20) and USDC (ERC20), open globally with no nationality, institutional, or identity restrictions, and with no distinction between humans and AI.
- The current problem database has collected 1,022 mathematical problems, including major unsolved problems such as the Poincare conjecture, the Riemann hypothesis, and Goldbach's conjecture.
Gần đây, đơn vị vận hành Giải thưởng Justin Sun đã công bố, danh sách ứng viên đoạt giải đợt đầu tiên bắt đầu bước vào giai đoạn công bố công khai kể từ ngày 19 tháng 9, kéo dài 14 ngày. Các câu hỏi được công bố lần này là số 305, 371, 381, 526, 866, 1001 trong ngân hàng câu hỏi chính thức. Trong đó, ứng viên của các câu hỏi số 305, 371, 381 là những người xác minh hình thức hóa, ứng viên của các câu hỏi số 866, 1001 là những người giải toán, còn câu hỏi số 526 có ứng viên đảm nhận đồng thời cả hai vai trò. Bước tiến này đánh dấu việc Giải thưởng Justin Sun chuyển từ giai đoạn thành lập sang vận hành thực chất, đồng thời cũng có nghĩa 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 câu hỏi" đã bước vào hoạt động thường xuyên.
Được biết, thông tin công bố công khai đã được đăng tải trên kho GitHub của Giải thưởng Justin Sun, công chúng có thể tra cứu bất cứ lúc nào, và có thể thông qua các kênh chính thức để đưa ra thách thức chính thức đối với tính chính xác của kết quả, quyền sở hữu, quyền ưu tiên, danh tính và tư cách nhận thưởng. Sau khi hết thời gian công bố công khai và không còn tranh chấp chưa được giải quyết, những đóng góp liên quan sẽ bước vào giai đoạn người nhận thưởng xác nhận bằng văn bản và giải ngân tiền thưởng.
Ngày 16 tháng 9, nhà sáng lập TRON Justin Sun đã tuyên bố thành lập giải thưởng này, định vị đâ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 câu hỏi", lấy 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 hóa bằng máy móc làm tiêu chuẩn trao thưởng duy nhất, mức thưởng cao nhất cho một câu hỏi lên tới 1 triệu USD. Trong ngày thành lập cũng đã đồng thời công bố danh sách tuyên dương đợt đầu tiên, liên quan đến thành quả giải quyết 66 bài toán và chứng minh hình thức hóa. Trong đó, giải thưởng cao nhất 1 triệu USD được trao cho nhóm nghiên cứu của OpenAI, nhằm tuyên dương thành quả giải quyết và chứng minh hình thức hóa mà họ đưa ra đối với "vấn đề tồn tại và tính trơn của phương trình Navier–Stokes ba chiều".
Tối ngày 22 tháng 9, tài khoản mạng xã hội chính thức của Giải thưởng Justin Sun đã công bố địa chỉ công khai trên chuỗi của quỹ thưởng, hiện đã có 10 triệu USD tiền thưởng được nạp vào. Theo các báo cáo truyền thông trước đó, hồ sơ giải ngân tiền thưởng của Giải thưởng Justin Sun được lưu chứng trên chuỗi, có thể truy xuất vĩnh viễn và không thể sửa đổi. Danh sách câu hỏi một khi đã được đăng lên sẽ bị khóa vĩnh viễn, chỉ tăng chứ không giảm, tiền thưởng chỉ được trao chứ không được hoàn trả. Toàn bộ quy trình sử dụng PR đóng góp (Pull Request), claim issue và email chính thức để phối hợp xử lý trên GitHub. Đơn vị vận hành Giải thưởng Justin Sun đặc biệt nhắc nhở rằng, phía chính thức sẽ không yêu cầu mật khẩu tài khoản, khóa riêng tư ví hoặc cụm từ khôi phục, cũng sẽ không yêu cầu chuyển tiền đến địa chỉ chỉ định để kích hoạt tiền thưởng.
Ngoài ra, theo quy tắc đăng ký nhận thưởng do phía chính thức công bố, người đăng ký cần hoàn thành việc xét duyệt tư cách và trao thưởng theo ba giai đoạn. Trong giai đoạn tham gia xác minh, người đóng góp chọn câu hỏi từ ngân hàng câu hỏi chính thức, fork kho lưu trữ rồi gửi PR theo loại đóng góp. Người giải toán chỉ cần cung cấp chứng minh toán học công khai hoặc liên kết ấn phẩm, còn người xác minh hình thức hóa phải sử dụng commit cố định trong kho lưu trữ của chính mình làm nguồn, đồng thời cung cấp môi trường tái lập và thông tin kiểm tra build.
Sau khi bước vào giai đoạn đăng ký nhận thưởng, người đóng góp phải sử dụng tài khoản GitHub của chính mình để đăng issue đăng ký nhận thưởng, điền email liên lạc và hoàn thành xác minh danh tính. Sau khi vượt qua xác minh tư cách, danh sách ứng viên của những đóng góp liên quan sẽ bước vào thời gian công bố công khai 14 ngày, vai trò giải toán và vai trò hình thức hóa được tính thời gian riêng. Trong thời gian công bố công khai, công chúng có thể đưa ra thách thức, cũng có thể gửi PR liên kết với chứng minh thay thế.
Sau khi hết thời gian công bố công khai, không còn thách thức chưa được giải quyết và hoàn thành xác nhận bằng văn bản của người nhận thưởng, sẽ bước vào giai đoạn trao thưởng. Trong giai đoạn này, người đoạt giải có thể thông qua email chính thức để bổ sung thông tin nhận tiền cũng như thông tin gửi chứng nhận và huy chương. Tiền thưởng được trao bằng tiền kỹ thuật số, hiện hỗ trợ USDT (TRC20) và USDC (ERC20).
Đơn vị vận hành Giải thưởng Justin Sun cho biết, giải thưởng này chỉ chấp nhận lời giải toán học đầy đủ và chứng minh Lean đầy đủ cho câu hỏi gốc. Thứ tự xét duyệt cố định là trước tiên xác nhận lời giải toán học và đăng ký ứng viên giải toán, sau đó mới tiến hành xác minh Lean và đăng ký ứng viên hình thức hóa. Phần thưởng chỉ được trao cho người đầu tiên hoàn thành câu hỏi trong danh sách. Nếu nhiều người cùng hoàn thành, người giải toán nhận 70% tổng tiền thưởng, người 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ả hai, có thể nhận toàn bộ tiền thưởng. 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 trở đi; đối với những thành quả đã được giải trước đó nhưng sau này mới hoàn thành xác minh hình thức hóa, người hình thức hóa có thể nhận thưởng.
Đơn vị vận hành cũng cho biết, Giải thưởng Justin Sun kiên trì 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, danh tính, cũng không phân biệt con người và AI. Nguồn vốn chỉ dành cho việc trao thưởng và các công việc mở, không nhằm mục đích lợi nhuận. Danh sách câu hỏi, tiêu chuẩn xác nhận, chứng minh và tài liệu kiểm tra đều được mở công khai cho công chúng thông qua GitHub. Hiện ngân hàng câu hỏi đã thu thập 1022 bài toán, bao gồm giả thuyết Poincaré, giả thuyết Riemann, giả thuyết Goldbach và rất nhiều bài toán chưa có lời giải do nhà toán học Erdős đề xuất.
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 khoa học cơ bản. Thứ 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à được toàn nhân loại tái lập. Ông chỉ ra rằng, công việc chuyển đổi 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ể xác minh bằng máy móc hiện nay vẫn chủ yếu dựa vào nhiệt huyết tự phát của cộng đồng hình thức hóa, trong khi động lực kinh tế mang tính hệ thống đã thiếu vắng từ lâu.
"Những người làm hì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 công có ghi giá tiền", Giải thưởng Justin Sun chính là ra đời vì điều này. Ông càng nhấn mạnh thêm rằng, "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."
