OpenAI mua trình xác nhận chưa giải được các bài toán toán học khó, có thể tự động kiểm tra xem lời giải của AI có chính xác hay không

robot
Đang tạo bản tóm tắt

Tin tức ME News, ngày 15 tháng 4 (UTC+8), theo theo dõi của Động Chấn 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 trình xác thực FrontierMath: Open Problems. FrontierMath: Open Problems là một tập hợp các bài toán toán học nghiên cứu chưa được các nhà toán học chuyên nghiệp giải quyết cho đến nay, mỗi bài đều có một chương trình máy tính riêng biệt (trình xác thực), mặc dù hiện tại chưa ai biết đáp án chính xác, nhưng một khi ai đó (hoặc AI) đưa ra lời giải tiềm năng, trình xác thực có thể tự động kiểm tra tính chính xác của nó. Sau khi OpenAI mua quyền truy cập này, họ có thể dùng trình xác thực để 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 trình xác thực được mở cho bất kỳ tổ chức nào mua, chủ yếu chi phí để trả thù lao cho các nhà toán học, vì quá trình đặt ra các bài toán và viết trình xác thực rất tốn công sức. Epoch AI đồng thời đặ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ệ qua trình xác thực đều phải thông báo kết quả cho Epoch AI, và tác giả bài toán cùng bên phát hiện sẽ chia sẻ quyền công bố chung. Epoch AI nhấn mạnh rằng, trước đó OpenAI đã tài trợ cho việc tạo ra các chuẩn mực FrontierMath gốc (Tiers 1-4), nhưng phần Open Problems do Epoch AI độc lập phát triển và sở hữu, giai đoạn thử nghiệm do Schmidt Sciences tài trợ. (Nguồn: BlockBeats)

Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Ghim