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