Chưa đầy một tháng sau đợt phát hành hàng loạt hàng trăm bản thảo chứa các giải pháp cho các bài toán toán học lâu năm, OpenAI tiếp tục công bố ba khám phá "lớn" nữa 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à lựa chọn có các chuyên gia bên ngoài — được OpenAI mô tả là các "người dẫn dắt" — hướng dẫn 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, công ty cho biết họ đã được khuyên nên phát hành trực tiếp đầu ra của trí tuệ nhân tạo (AI) để các nhà nghiên cứu tự tìm hiểu lời giải thích.
Các kết quả của OpenAI được đưa lên GitHub bao gồm:
Sự làm mượt cục bộ cho phương trình sóng Euclidean. Phụ lục sử dụng một phương trình đạo hàm riêng phụ trợ để thiết lập tính làm mượt cục bộ của Sogge đối với sóng trong mọi chiều không gian từ hai trở lên. Nó cũng mang lại các giả thuyết tối đa và chiều Kakeya cùng các ước tính giới hạn hình cầu của Stein trên toàn bộ miền được giả định. Chúng tôi đang phát hành trực tiếp đầu ra của mô hình, giống như đã làm trong đợt phát hành ngày 6 tháng 10.
Giả thuyết Thời gian Hàm mũ là sai. Bài báo cung cấp một thuật toán xác định đếm chính xác các phép gán thỏa mãn của công thức CNF có độ rộng cố định trong thời gian dưới hàm mũ và không gian đa thức. Trường hợp 3-SAT bác bỏ Giả thuyết Thời gian Hàm 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 dắt sẽ kiểm tra và giải thích chứng minh. Theo yêu cầu của nhóm, chúng tôi công khai ngay lập tức 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 họ "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 đầu ra trước, với lý do quyền truy cập bất bình đẳng, danh tiếng vay mượn và lựa chọn có thiên vị là một vài trong số các vấn đề. Thay vào đó, họ khuyến nghị trong tương lai, các phòng thí nghiệm AI nên phát hành đầu ra trên các kho lưu trữ học thuật, kèm theo các chứng minh được hình thức hóa bằng Lean, thông tin về cách các bài toán được 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ề vật lý chưa được công bố đầy đủ, nhưng đây là "chứng minh sự tồn tại toán học nghiêm ngặt 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 trong vật lý hạt." Theo OpenAI, "David Gross sẽ lãnh đạo một nhóm bao gồm Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov để dẫn dắt công việc này."
Sự hợp tác trong lĩnh vực khoa học máy tính được cho là chứng minh rằng Giả thuyết Thời gian Hàm mũ (ETH), vốn được cho 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 gồm ba chuyên gia, bao gồm Russell Impagliazzo và Ramamohan Paturi của UC San Diego (những người từng thuộc nhóm ban đầu đề xuất giả thuyết này năm 1999), cùng với giáo sư Ryan Williams của MIT. Nhóm đã quyết định phát hành bản viết kết quả đầu ra của AI và chứng minh Lean trên GitHub.
Họ cũng phát hành 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ố này, cũng như 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 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 công bố cho nghiên cứu tiếp theo?
Làm thế nào để việc ghi nhận công lao tôn vinh cả những khám phá mới lẫn công việc kiểm tra, sửa lỗi, đơn giản hóa, giải thích và mở rộng chúng?
Làm thế nào chúng ta có thể hỗ trợ học sinh và nhà nghiên cứu 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 ý tưởng mới?
Tài liệu tương tự cũng có cho bước đột phá về toán học, nơi mô hình của họ "đã tạo ra một chứng minh về giả thuyết làm mượt cục bộ trong mọi chiều và do đó cũng giải quyết giả thuyết Kakeya và giả thuyết giới hạn Stein trong 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 giả thuyết Kakeya trong ba chiều.
