OpenAI công bố thêm 3 kết quả nghiên cứu toán học và khoa học cùng kế hoạch xuất bản mới

Giới khoa học từ lâu đã nghiêng về nhận định rằng bài toán 3-SAT không thể giải được trong thời gian đa thức. Do đó, Giả thuyết Thời gian hàm mũ (ETH) thường được xem là điểm tựa tham chiếu phổ biến. Mặc dù ETH vẫn chưa được chứng minh, giả thuyết này cung cấp cơ sở quan trọng để ước tính lượng thời gian phi đa thức cần thiết cho quá trình tính toán. Tuy nhiên, OpenAI vừa tuyên bố đã bác bỏ hoàn toàn ETH, đặt giới nghiên cứu trước yêu cầu phải xem xét lại toàn bộ vấn đề từ đầu. Đối với các nhà khoa học máy tính lý thuyết trong lĩnh vực tối ưu hóa và thuật toán, đây là một diễn biến có ý nghĩa đặc biệt quan trọng. Đáng chú ý, OpenAI khẳng định đây là một trong ba đột phá mới được công bố trong đợt phát hành dữ liệu khoa học gần nhất. Bên cạnh việc tuyên bố các mô hình AI của mình đã bác bỏ ETH, OpenAI còn cho biết đã giải quyết được một vấn đề trong lĩnh vực nghiên cứu sóng và điều hòa mang tên "giả thuyết Kakeya", thông qua việc tìm ra một chứng minh mới cho mọi chiều không gian đối với "giả thuyết làm mịn cục bộ". Không dừng lại ở lĩnh vực toán học, trong vật lý học, OpenAI cũng cho rằng đã tìm ra lời chứng minh cho "một số lý thuyết trường lượng tử tương tác chứa các trường chuẩn và fermion trong không gian bốn chiều, bao gồm Sắc động lực học lượng tử (QCD) và một mô hình hoàn thiện thống nhất cho Mô hình Chuẩn của vật lý hạt". Khi OpenAI công bố 377 kết quả toán học trên GitHub vào đầu tháng này, bài viết trên trang thông tin chính thức của công ty mang sắc thái giải trình, khẳng định OpenAI sẽ "trao quyền cho các nhà khoa học bằng các năng lực tiên tiến nhất" và nỗ lực "phát hành một cách có trách nhiệm mô hình đã tạo ra các kết quả này". Trước đó, một nhóm cố vấn từng hợp tác với OpenAI đã bày tỏ quan điểm không ủng hộ việc một doanh nghiệp tư nhân sử dụng các mô hình AI nội bộ chưa công bố để tạo ra các kết quả mang tính đột phá, điều mà OpenAI dường như đã thực hiện. Lần này, OpenAI cam đoan không "tìm kiếm sự công nhận học thuật đối với các khám phá do các mô hình nội bộ tạo ra". Nhằm phục vụ mục tiêu đó, công ty đã vạch ra kế hoạch phân phối các phát hiện do AI tạo ra — cùng sự ghi nhận tương ứng — đến cộng đồng toán học và vật lý học. Tuy nhiên, nếu bị áp dụng một cách cực đoan, kế hoạch này gợi liên tưởng đến hình ảnh nhân vật Immortan Joe trong bộ phim Mad Max: Fury Road, người nắm quyền phân phát nguồn nước cho những thần dân đang chịu cơn khát. OpenAI đang công bố các văn bản do mô hình tạo ra và cho biết những tài liệu này "nên được hiểu một cách chính xác nhất như một dạng dữ liệu nghiên cứu thô", đồng thời nhiệm vụ của cộng đồng toán học và khoa học sẽ là "chuyển đổi dữ liệu nghiên cứu thô này thành tri thức khoa học". Theo OpenAI, các kết quả toán học đã được "hình thức hóa" hoặc "kiểm chứng" bằng Lean, một công cụ hỗ trợ chứng minh nhằm giảm bớt yêu cầu kiểm tra nhiều lần. Việc phụ thuộc vào Lean vốn đã là vấn đề đối với OpenAI, khi các chuyên gia nghiên cứu sâu vào lời giải được cho là đã được Lean kiểm chứng của OpenAI đối với Bài toán Thiên niên kỷ Navier-Stokes bày tỏ quan ngại rằng Lean mới chỉ xác minh một khẳng định yếu hơn so với những gì OpenAI công bố ban đầu. The AI Brief Bản tin tóm tắt hằng ngày về tin tức AI cần biết để bắt đầu ngày mới. Do con người biên soạn. Khiến bot phải ghen tị. Đăng ký ngay Giữa những khó khăn bước đầu này, OpenAI cho biết đã "liên hệ với các chuyên gia bên ngoài" – thường chính là những học giả có công trình nghiên cứu mà các mô hình đang kế thừa – và mong muốn họ đóng vai trò là "những người dẫn dắt", nhằm tập hợp các nhóm chuyển đổi các kết quả đầu ra của AI này thành tri thức mới của con người. Dù vậy, trong bài đăng trên trang blog, OpenAI thừa nhận rằng "việc lựa chọn những người dẫn dắt ban đầu tất yếu sẽ định hình nhóm đối tượng tham gia trước tiên và tạo ra sự bất đối xứng thông tin". Hiện tại, một phần thông tin "thô" đã được đăng tải trên GitHub, song không phải là tất cả. Chẳng hạn, OpenAI cho biết nhóm nghiên cứu vật lý đã quyết định "tạm hoãn việc công bố các sản phẩm do AI tạo ra và thay vào đó sẽ tự mình biên soạn lại".