66 bài toán giải thưởng đầu tiên @justinsuntron đã công bố 66 bài toán giải thưởng đầu tiên cho Giải thưởng Justin Sun, với các bài toán cấp Pinnacle mang lại phần thưởng lên tới 1 triệu USD. Nhưng điều thú vị không chỉ nằm ở phần thưởng. Mà là mô hình mới đằng sau nó: Giải → Chuẩn hóa → Xác minh → Phần thưởng 1. Người chứng minh nhận 70% Người giải được bài toán toán học. 2. Người chuyển đổi nhận 30% Người chuyển đổi chứng minh sang định dạng có thể xác minh bằng máy thông qua Lean. Nếu một người thực hiện cả hai vai trò, họ có thể nhận 100% phần thưởng. Và không quan trọng liệu lời giải đến từ con người, AI, hay con người + AI. Điều quan trọng là Lean có thể xác minh hình thức chứng minh đó hay không. Điều này đặc biệt thú vị trong thời đại AI. Một AI tạo ra một chứng minh trông có vẻ đúng là một chuyện. Một máy kiểm tra từng bước của chứng minh đó là một chuyện khác. Danh sách đầu tiên đã bao gồm Navier–Stokes trong danh mục Pinnacle, với đội OpenAI ở phía giải và OpenAI ở phía xác minh Lean. Điều này hiện thực hóa tầm nhìn ban đầu của Giải thưởng Justin Sun: Toán học × AI × Xác minh hình thức × Blockchain 66 bài toán chỉ là khởi đầu. Câu hỏi lớn hơn là: Điều gì sẽ xảy ra khi những đột phá toán học trở thành những nhiệm vụ mở, có động lực và có thể xác minh bằng máy?