OpenAI được ghi nhận là đơn vị chiến thắng giải toán khởi đầu trị giá 1 triệu USD do Justin Sun tài trợ nhờ chứng minh Navier–Stokes, nhưng đến nay khoản thưởng vẫn chưa được nhận, sau khi công ty cũng tuyên bố không theo đuổi giải thưởng Millennium của Clay.
Các điểm chính:
- Kho giải thưởng của Sun ghi nhận bài toán Navier–Stokes do OpenAI nộp là “đã giải”, đủ điều kiện nhận thưởng nhưng đến giờ chưa ai yêu cầu.
- OpenAI cho biết khoảng 10.000 tác nhân AI làm việc trong khoảng 88 giờ, sau đó GPT-6 Astra mất thêm 17 giờ để hình thức hóa và kiểm tra chứng minh.
- Viện Toán học Clay vẫn liệt kê bài toán Navier–Stokes là “đang mở” trong khi xem xét kết quả vừa công bố.
Giải thưởng OpenAI
Giải mới của Sun đã gọi tên nhóm nghiên cứu của OpenAI là chủ nhân khoản thưởng 1 triệu USD đầu tiên cho lời giải bài toán Navier–Stokes ba chiều. Hồ sơ công khai trên GitHub đánh dấu bài toán đã được giải và đủ điều kiện lĩnh thưởng. Tuy nhiên số tiền này đến nay vẫn chưa được yêu cầu chi trả.
OpenAI công bố kết quả hôm 8/9, cho biết khoảng 10.000 tác nhân AI làm việc chừng 88 giờ, trước khi GPT-6 Astra dành thêm 17 giờ để hình thức hóa và kiểm chứng chứng minh trong hệ thống Lean. Công ty cũng khẳng định không có ý định xin nhận khoản 1 triệu USD nằm trong chương trình Millennium Prize mà Viện Toán học Clay treo thưởng cho bài toán này.
Phía Clay vẫn đánh dấu bài toán ở trạng thái “đang mở” và ngày 11/9 cho biết thông báo của OpenAI “có vẻ” giải quyết được câu hỏi, song quy chế của viện yêu cầu một quy trình thẩm định chặt chẽ trước khi ra bất kỳ quyết định trao giải nào. Quy trình đó hiện chưa kết thúc. Trong khi đó, giải thưởng riêng của Sun dựa trên các chứng minh có thể được máy kiểm chứng, và đã vội vã xướng tên nhóm OpenAI mà không chờ quy trình phản biện truyền thống tương tự.
Bài viết liên quan: Khai thác Bitcoin đối mặt khoảng trống 50% hashrate khi AI hút hạ tầng
Luật chơi của Justin Sun
Sun cho biết giải thưởng của mình được thiết kế để tưởng thưởng cho kết quả, bất kể tác giả là con người hay hệ thống AI, với việc kiểm chứng hình thức được đặt ở trung tâm quy trình xét giải. “Tôi chỉ quan tâm đến kết quả, không quan tâm người đóng góp là con người hay máy móc,” Sun nói. Kho lưu trữ giải thưởng của ông cũng lưu ý thông báo của OpenAI không phải là phản biện đồng cấp, và cộng đồng toán học rộng rãi vẫn chưa chính thức chấp nhận.
Câu hỏi về quyền tác giả vẫn bỏ ngỏ sau khi Tristan Buckmaster, giáo sư Đại học New York, cho biết một công trình chưa công bố do ông cùng cộng sự thực hiện đã được lưu trong một sản phẩm của OpenAI, dù ông nói không rõ mô hình có sử dụng tài liệu này hay không. “Tôi không cáo buộc ai điều gì,” Buckmaster nói với The Guardian. OpenAI phản hồi rằng quá trình điều tra nội bộ cho thấy các câu lệnh Codex của ông không thể ảnh hưởng đến hệ thống đã sinh ra chứng minh.
Tranh cãi nổ ra sau tuyên bố ngày 8/9 của OpenAI rằng hệ thống nội bộ của hãng đã giải quyết bài toán tồn tại và tính trơn Navier–Stokes kéo dài nhiều thập kỷ bằng cách chỉ ra sự xuất hiện kỳ dị trong thời gian hữu hạn dưới các điều kiện chính thức.
Viện Clay lập ra chương trình Millennium Prize Problems năm 2000, gắn 1 triệu USD cho mỗi bài toán. Hơn hai thập kỷ trôi qua, Navier–Stokes về mặt hình thức vẫn là bài toán đang mở trong danh sách này, trong khi giới toán học tiếp tục xem xét chứng minh mới cùng các tranh luận quanh vấn đề ghi nhận công lao.
Đọc tiếp: Shiba Inu sửa lỗi liên kết ví Shibarium, nhưng SHIB vẫn giảm 6% trong một tuần
