OpenAI mua quyền truy cập vào FrontierMath Validator để xác minh bài toán toán học bằng AI

Theo tin tức từ ME News, vào ngày 15 tháng 4 (UTC+8), theo giám sát của Dongcha Beating, tổ chức nghiên cứu AI Epoch AI tiết lộ rằng OpenAI đã mua quyền truy cập vào bộ xác minh FrontierMath: Open Problems. FrontierMath: Open Problems là một tập hợp các bài toán toán học cấp nghiên cứu chưa từng được các nhà toán học chuyên nghiệp giải quyết, mỗi bài toán đều đi kèm một chương trình máy tính chuyên dụng (bộ xác minh). Mặc dù hiện tại chưa ai biết đáp án chính xác, nhưng khi có ai đó (hoặc AI) đưa ra lời giải tiềm năng, bộ xác minh có thể tự động kiểm tra tính đúng đắn của nó. Sau khi mua quyền truy cập này, OpenAI có thể sử dụng bộ xác minh để kiểm tra xem các lời giải toán học do mô hình của họ tạo ra có hợp lệ hay không. Quyền truy cập bộ xác minh được mở cho mọi tổ chức mua, chi phí chính dùng để trả cho các nhà toán học, vì quá trình xây dựng bài toán và viết bộ xác minh rất tốn công sức. Epoch AI cũng đặt ra một điều kiện: bất kỳ bên nào phát hiện ra lời giải hợp lệ thông qua bộ xác minh đều phải thông báo kết quả cho Epoch AI, đồng thời chia sẻ quyền đồng tác giả với tác giả bài toán và người phát hiện. Epoch AI nhấn mạnh rằng OpenAI trước đây đã tài trợ cho việc tạo ra bộ chuẩn FrontierMath gốc (Cấp 1-4), nhưng phần Open Problems do Epoch AI tự phát triển và sở hữu, giai đoạn thử nghiệm được tài trợ bởi Schmidt Sciences. (Nguồn: BlockBeats)