OpenAI công bố ba đột phá khoa học lớn và cách tiếp cận mới với giới hàn lâm

Chưa đầy một tháng sau đợt phát hành hàng loạt bản thảo chứa lời giải cho các bài toán toán học lâu đời, OpenAI tiếp tục trở lại với ba phát hiện "lớn" mới trong toán học, khoa học máy tính và vật lý. Điểm khác biệt lần này là việc lựa chọn các chuyên gia bên ngoài mà OpenAI gọi là những người "hướng dẫn" (shepherds) để định hướng kết quả trong khoa học máy tính và vật lý, trong khi đối với bài toán toán học, họ cho biết đã tư vấn phát hành đầu ra của AI để các nhà nghiên cứu tự tìm hiểu lời giải.

Các kết quả của OpenAI được đưa lên GitHub hôm nay:

Làm mịn cục bộ cho phương trình sóng Euclidean. Bản chứng minh sử dụng một phương trình vi phân đạo hàm riêng phụ trợ để thiết lập tính chất làm mịn cục bộ của Sogge đối với sóng ở mọi chiều không gian từ hai trở lên. Nó cũng mang lại các phỏng đoán tối đa và chiều Kakeya cũng như ước lượng giới hạn cầu của Stein xuyên suốt bên trong phạm vi phỏng đoán. Chúng tôi đang phát hành trực tiếp kết quả của mô hình, giống như trong bản phát hành ngày 6 tháng 10.

Giả thuyết Thời gian Đạt mũ là sai. Bài báo đưa ra một thuật toán tất định đếm chính xác các phân công thỏa mãn của các công thức CNF chiều rộng cố định trong thời gian dưới đa thức và không gian đa thức. Trường hợp của bài toán 3-SAT bác bỏ Giả thuyết Thời gian Đạt mũ. Một nhóm làm việc độc lập gồm các nhà khoa học máy tính do Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn đầu sẽ kiểm tra và giải thích bản chứng minh. Theo yêu cầu của nhóm, chúng tôi sẽ công bố ngay các tài liệu để những người khác cũng có thể kiểm tra.

Công ty thừa nhận cách tiếp cận này có thể gặp những vấn đề riêng, và hội đồng cố vấn toán học AGMAI do OpenAI thành lập vừa cho biết vào ngày hôm qua rằng "chúng tôi khuyến nghị các công ty AI không áp dụng" các thực tiễn chỉ định một số người nhất định nhận được kết quả trước, viện dẫn quyền truy cập bất bình đẳng, danh tiếng đi mượn và việc lựa chọn thiên vị là một số vấn đề. Thay vào đó, họ khuyến nghị trong tương lai, các phòng thí nghiệm AI nên công bố kết quả trên các kho lưu trữ học thuật, với các bằng chứng được chính thức hóa bằng Lean, thông tin về cách các bài toán được lựa chọn, tài trợ cho những người làm việc để hiểu kết quả và các thông tin khác.

Thông tin vật lý chưa được công bố đầy đủ, nhưng là "một bằng chứng tồn tại chặt chẽ về mặt toán học của một số lý thuyết trường lượng tử tương tác chứa các trường đo và fermion trong bốn chiều, bao gồm Sắc động lực học lượng tử (QCD) và phần hoàn thiện thống nhất của Mô hình Chuẩn về vật lý hạt." Theo OpenAI, "David Gross sẽ dẫn đầu một nhóm bao gồm Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov để hướng dẫn công việc này."

Sự hợp tác về khoa học máy tính được cho là chứng minh rằng Giả thuyết Thời gian Đạt mũ (ETH), vốn được nhiều người tin là đúng, thực tế là sai. OpenAI cho biết việc xác minh kết quả sẽ được hướng dẫn bởi một nhóm ba chuyên gia bao gồm Russell Impagliazzo và Ramamohan Paturi của UC San Diego, những người từng là thành viên của nhóm ban đầu đề xuất nó vào năm 1999, cũng như giáo sư Ryan Williams của MIT. Nhóm đã quyết định công bố bản viết tay kết quả của AI và chứng minh Lean trên GitHub vào ngày hôm nay.

Họ cũng công bố một bức thư ngỏ gửi tới cộng đồng để xin ý kiến về cách kiểm tra tuyên bố, và về việc thiết lập các tiêu chuẩn để xử lý các đột phá do AI tạo ra:

Chúng tôi rất hoan nghênh thảo luận về ba câu hỏi rộng hơn:

Những kỳ vọng nào nên chi phối quyền truy cập sớm vào các kết quả do AI tạo ra, việc tiết lộ xung đột lợi ích và việc sử dụng tài liệu chưa xuất bản cho các nghiên cứu tiếp theo?

Làm thế nào để sự ghi nhận công trạng tôn vinh cả những khám phá mới lẫn công sức kiểm tra, sửa lỗi, đơn giản hóa, giải thích và mở rộng chúng?

Chúng ta có thể hỗ trợ học sinh và nhà nghiên cứu như thế nào khi các phương pháp và hướng nghiên cứu thay đổi, đồng thời bảo tồn sự hiểu biết và phán đoán cần thiết để đặt câu hỏi về các kết quả và phát triển các ý tưởng mới?

Có tài liệu tương tự đối với bước đột phá toán học, trong đó mô hình của họ "đã tạo ra một bằng chứng về phỏng đoán làm mịn cục bộ ở mọi chiều và do đó cũng giải quyết phỏng đoán Kakeya và phỏng đoán hạn chế của Stein ở mọi chiều." Chỉ vài tháng trước, giáo sư Hong Wang của NYU đã được trao Huy chương Fields danh giá bởi Liên đoàn Toán học Quốc tế vì đã giải quyết phỏng đoán Kakeya trong ba chiều.