Giải thưởng toán học Justin Sun chọn OpenAI cho hạng mục đầu tiên

Giải thưởng toán học phi tập trung do Justin Sun sáng lập đã chọn nhóm nghiên cứu OpenAI là đối tượng nhận giải đầu tiên, với mức thưởng tối đa 1 triệu USD (khoảng 1,4 tỷ won). Zombit đưa tin ngày 17 rằng OpenAI đã công bố lời giải cho bài toán 'tồn tại và tính trơn' của phương trình Navier–Stokes trong không gian ba chiều, cùng chứng minh được hình thức hóa bằng Lean.

Justin Sun (Justin Sun) nhà sáng lập TRON cho biết: “Tài sản của tôi bắt nguồn từ toán học và sẽ trở về với toán học”. Phát biểu này cho thấy ông muốn tái đầu tư tài sản cá nhân vào nghiên cứu khoa học cơ bản.

Trước đó, TokenPost từng đưa tin Justin Sun thành lập giải thưởng trao tiền cho các chứng minh toán học vượt qua kiểm chứng bằng máy. Lần này, đối tượng nhận giải đầu tiên và danh sách chi tiết các bài toán đã được công bố.

Giải thưởng Justin Sun không áp dụng cơ chế đề cử ứng viên hay tiêu chí về cơ quan công tác và quốc tịch như các giải thưởng học thuật truyền thống. Người tham gia phải giải các bài toán được công khai, sau đó nộp chứng minh hình thức hóa có thể được máy kiểm chứng bằng các công cụ như Lean.

Danh sách giải đầu tiên gồm 66 bài toán. Trong đó, mức thưởng cao nhất 1 triệu USD được phân bổ cho lời giải bài toán Navier–Stokes và chứng minh hình thức hóa của nhóm nghiên cứu OpenAI.

Phương trình Navier–Stokes là công cụ toán học dùng để mô tả chuyển động của chất lưu. Việc chứng minh nghiệm của phương trình này tồn tại và trơn là một trong 7 bài toán Thiên niên kỷ được Viện Toán học Clay lựa chọn vào năm 2000.

OpenAI thông báo ngày 8 tháng 9 rằng một hệ thống nội bộ đã đưa ra lời giải cho bài toán Navier–Stokes. Theo giải thích chính thức của OpenAI, lời giải được tạo ra bởi một mô hình nội bộ có hiệu suất cao hơn GPT-6 Astra, trong khi GPT-6 Astra được sử dụng cho quá trình hình thức hóa và kiểm chứng bằng Lean.

Lời giải chính thức và chứng minh Lean do OpenAI công bố được cấu trúc để máy có thể kiểm tra từng bước. Điểm cốt lõi là chuyển lời giải viết bằng ngôn ngữ tự nhiên thành mã có thể kiểm chứng theo các quy tắc định trước.

Giải thưởng này đưa không chỉ thành tựu toán học mà cả quy trình trao thưởng vào một cấu trúc kiểm chứng công khai. Các bài toán, chứng minh và chương trình kiểm chứng sẽ được công bố trên GitHub, còn hồ sơ trao thưởng sẽ được lưu trên blockchain.

Một khi bài toán đã được đăng ký, danh sách chỉ cho phép bổ sung chứ không xóa. Tiền thưởng cũng không được trao theo một kỳ cố định mà phụ thuộc vào việc từng bài toán đã được giải và kiểm chứng hay chưa.

Không chỉ con người mà cả trí tuệ nhân tạo cũng có thể tham gia với tư cách người giải. Đối tượng nhận giải không bị giới hạn bởi tổ chức hay quốc tịch cụ thể; hướng dẫn chính thức nêu rằng mọi bài nộp phải vượt qua kiểm chứng bằng máy trước khi được đánh giá học thuật.

Danh sách đầu tiên cũng bao gồm các bài toán liên quan đến kiểm chứng hình thức hóa giả thuyết Riemann, phỏng đoán Goldbach và phỏng đoán Poincaré. Ban vận hành giải thưởng Justin Sun đặt mục tiêu phát triển giải này thành 'giải Nobel của kỷ nguyên AI'.

Tuy nhiên, việc lời giải và chứng minh hình thức hóa của OpenAI được trao giải không đồng nghĩa kết quả này ngay lập tức được xác nhận là thành tựu học thuật cuối cùng của giới toán học. Vị trí toán học của kết quả vẫn cần được đánh giá riêng thông qua các bước xem xét tiếp theo.

Tiền thưởng có thể được nhận bằng USDT trên mạng TRON hoặc USDC trên mạng Ethereum(ETH). Việc đồng thời công khai bài toán, chứng minh, hồ sơ trao thưởng và dữ liệu trên blockchain tạo khác biệt so với phương thức trao thưởng của các giải học thuật truyền thống.

Giải thưởng Justin Sun dự kiến tiếp tục lựa chọn người nhận giải dựa trên các bài toán công khai và kết quả kiểm chứng bằng máy.