OpenAI công bố 722 bản thảo toán học, phân thành 372 nhóm kết quả

OpenAI cho biết sẽ công bố 722 bản thảo toán học do các mô hình nội bộ tạo ra. Các bản thảo được xếp thành 372 nhóm kết quả; một số chứng minh đã được hình thức hóa bằng Lean.

OpenAI thông báo trên X rằng hãng sẽ công bố các thành quả toán học do mô hình tiên tiến nội bộ tạo ra. Kết quả nghiên cứu được đăng trên kho GitHub. OpenAI cho biết cách công bố được xây dựng dựa trên khuyến nghị của nhóm cố vấn về toán học và trí tuệ nhân tạo thuộc Viện Nghiên cứu Cao cấp Princeton.

Mỗi nhóm kết quả trong kho lưu trữ tập hợp các kết quả chính cùng lập luận liên quan, kết quả suy ra hoặc chứng minh thay thế. OpenAI cũng công bố thông tin về quá trình tạo ra kết quả, gồm phần tóm tắt suy luận của mô hình và số bài toán đã thử.

722 bản thảo không đồng nghĩa với 722 phát hiện toán học đã được xác minh. OpenAI cho biết một số chứng minh đã được hình thức hóa bằng Lean, nhưng toàn bộ kết quả chưa trải qua xác minh hình thức. Các kết quả chưa được hình thức hóa có thể còn vấn đề; hãng nói sẽ sửa những lỗi được xác nhận.

OpenAI cho biết một số kết quả chưa được hình thức hóa có thể có vấn đề và dự định cập nhật kho lưu trữ trong thời gian tới.