OpenAI vừa công bố 722 bản thảo toán học, được xếp thành 372 “họ kết quả”, do một mô hình AI nội bộ chưa mở cho công chúng tạo ra, và để giới toán học quyết định liệu đợt công bố này có tuân thủ các khuyến nghị phát hành mới hay không.
Điểm chính:
- OpenAI đăng 722 bản thảo thuộc 372 họ kết quả lên GitHub, tất cả đều do một mô hình nội bộ mà công chúng không thể truy cập tạo ra.
- Nhóm cố vấn độc lập gồm các nhà toán học khẳng định vai trò của họ không phải là chứng thực kết quả hay quá trình OpenAI thực hiện.
- Công ty thừa nhận một số kết quả chưa được máy tính kiểm chứng hình thức có thể tồn tại sai sót.
Đợt công bố toán học của OpenAI
OpenAI đã công bố bộ sưu tập này trên kho GitHub công khai, kèm theo quy tắc chỉnh sửa và trích dẫn cho từng bản thảo. Kho lưu trữ đó liệt kê 722 bản thảo thuộc 372 “họ”, trong đó mỗi họ gom một kết quả chính cùng các lập luận bổ trợ, hệ quả hoặc chứng minh thay thế. OpenAI cho biết họ đã đưa khoảng 4.000 bài toán cho mô hình và chỉ giữ lại những kết quả được đánh giá là đủ quan trọng.
Theo công ty, mỗi kết quả tiêu tốn trung bình khoảng ba giờ tính toán trên ChatGPT Pro. Nhiều chứng minh đi kèm phiên bản viết bằng Lean, một ngôn ngữ lập trình cho phép máy tính kiểm tra hình thức tính đúng đắn của chứng minh toán học.
OpenAI lưu ý rằng một số kết quả chưa được kiểm tra bằng Lean hay công cụ tương tự có thể tồn tại vấn đề.
Bài liên quan: Nhóm Lazarus của Triều Tiên luân chuyển 1 tỷ USD tiền đánh cắp qua các đường dây rửa tiền Trung Quốc, theo cáo buộc của ZachXBT
Nhóm cố vấn đưa ra cảnh báo
Nhóm Cố vấn về Toán học và Trí tuệ nhân tạo gồm chín nhà toán học làm việc không thù lao, được Viện Nghiên cứu Cao cấp (Institute for Advanced Study) bảo trợ, nhấn mạnh rằng vai trò của họ không phải là đánh giá đúng sai các kết quả, cũng không phải là phê chuẩn quy trình của OpenAI. Họ cho rằng chỉ cộng đồng toán học rộng lớn hơn mới có thể đánh giá mức độ OpenAI tuân thủ các khuyến nghị đã đề ra.
Bộ khuyến nghị này, công bố ngày 29/9, yêu cầu các phòng thí nghiệm AI trích dẫn đầy đủ các công trình trước đó, trình bày chứng minh theo phong cách bài báo toán học truyền thống và công khai prompt, tóm tắt lập luận cũng như chi phí tính toán. Nhóm cũng đề xuất các kết quả phải được lưu trữ trong những kho học thuật độc lập, không do bất kỳ phòng thí nghiệm AI nào kiểm soát. OpenAI cho biết hãng vẫn đang khảo sát các lựa chọn kho lưu trữ do cộng đồng vận hành thay thế GitHub và sẽ tài trợ hội thảo về các kết quả AI quan trọng.
Melanie Matchett Wood, giáo sư toán tại Harvard và là thành viên nhóm cố vấn, từng cảnh báo hồi tháng 9 rằng kết quả toán do AI tạo ra “thường bao gồm hành vi đạo văn” và hiếm khi có con người nào đứng ra chịu trách nhiệm. Một người phát ngôn của OpenAI cũng thừa nhận riêng rẽ rằng ngay cả các nhà toán học của chính công ty cũng chưa hiểu hết nhiều kết quả mới này.
Tranh cãi quanh tuyên bố OpenAI về bài toán Navier–Stokes
Đợt công bố lần này diễn ra sau khoảng một tháng căng thẳng giữa OpenAI và giới toán học. Ngày 8/9, công ty thông báo đã tìm được lời giải cho bài toán Navier–Stokes thuộc hệ bài toán Thiên niên kỷ, động thái làm dấy lên tranh chấp về công lao với nhà toán học Tristan Buckmaster của Đại học New York.
Ba ngày sau, 25 chủ nhân Huy chương Fields cùng ký một tuyên bố phản đối việc sử dụng các bài toán mở nổi tiếng làm thước đo cho AI, và đến 21/9, OpenAI cho biết mô hình của họ đã giải quyết hơn 100 bài toán khác.
Bài tiếp theo: AMD cho biết nhu cầu AI quá lớn sẽ giúp nguồn cung chip tăng “đáng kể” vào năm 2027
