OpenAI đã công bố ba kết quả khoa học quan trọng đạt được nhờ các mô hình AI của mình. Chúng liên quan đến toán học, khoa học máy tính và vật lý.
Trong lĩnh vực toán học, mô hình đã chứng minh giả thuyết làm trơn cục bộ (local smoothing conjecture) trong mọi chiều không gian không nhỏ hơn hai. Kết quả cũng bao quát các giả thuyết Kakeya và các đánh giá hạn chế Stein trong toàn bộ phạm vi.
Công ty đã công bố đầu ra của mô hình trực tiếp trên GitHub, theo khuyến nghị của các chuyên gia. Trước đây giả thuyết chỉ được chứng minh trong ba chiều.
Trong khoa học máy tính, AI đã bác bỏ giả thuyết thời gian mũ (Exponential Time Hypothesis). Một thuật toán tất định được trình bày, có khả năng đếm chính xác các phép gán thỏa mãn cho các công thức CNF có độ rộng cố định trong thời gian dưới mũ.
Việc kiểm chứng kết quả sẽ do một nhóm độc lập đứng đầu, dưới sự lãnh đạo của Russell Impagliazzo, Ramamohan Paturi và Ryan Williams. Các tài liệu đã được công khai ngay lập tức.
Trong vật lý, một chứng minh chặt chẽ về mặt toán học đã đạt được cho sự tồn tại của các lý thuyết trường lượng tử tương tác nhất định với các trường gauge và fermion trong bốn chiều. Các ví dụ bao gồm sắc động lực học lượng tử và sự hoàn thiện thống nhất của Mô hình Chuẩn.
Nhóm vật lý sẽ do David Gross đứng đầu, cùng với Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov. Họ quyết định hoãn bản phát hành đầy đủ để chuẩn bị cách diễn giải của riêng mình.
OpenAI đã mời các nhà khoa học bên ngoài làm «người chăn dắt» (shepherds) để làm việc với các kết quả. Công ty lưu ý rằng các cách tiếp cận khác nhau đối với việc công bố đều có những đánh đổi riêng, bao gồm các vấn đề về quyền truy cập và sự bất đối xứng thông tin.
Giáo sư toán học Alex Iosevich từ Đại học Rochester đã gọi chứng minh giả thuyết làm trơn cục bộ là một bước phát triển mang tính lịch sử. Ông bày tỏ niềm vui và sự lạc quan về tiềm năng của AI trong khoa học, mặc dù cũng ghi nhận những cảm xúc trái chiều trong giới lý thuyết.
Quá trình khám phá khoa học sẽ thay đổi như thế nào khi AI bắt đầu đề xuất ngày càng nhiều kết quả như vậy?
