OpenAI tuyên bố AI đã giải quyết ba vấn đề khoa học lớn trong Toán học, Khoa học Máy tính và Vật lý

OpenAI cho biết các hệ thống AI của họ đã tạo ra các chứng minh giải quyết ba vấn đề mở lớn trong toán học, khoa học máy tính và vật lý. OpenAI đang mời các chuyên gia bên ngoài đánh giá kết quả. Các nhà nghiên cứu độc lập vẫn cần xác minh xem các chứng minh này có hợp lệ không và xác định mức độ ý nghĩa của các phát hiện đối với từng lĩnh vực.

OpenAI cho biết các mô hình của họ đã chứng minh giả thuyết làm mịn địa phương, một bài toán toán học đã tồn tại hàng thập kỷ liên quan đến sự lan truyền và tập trung của sóng. Giả thuyết này dự đoán rằng việc trung bình hóa sóng theo thời gian sẽ làm giảm cường độ của chúng so với những thời điểm cực đại nhất. Kết quả này cũng sẽ giải quyết được giả thuyết Kakeya và giả thuyết hạn chế Stein lâu đời. Giả thuyết Kakeya liên quan đến kích thước tối thiểu của một hình dạng chứa một đoạn thẳng định hướng theo mọi hướng. Giả thuyết hạn chế Stein liên quan đến hành vi của tần số toán học của các hàm dọc theo các bề mặt cong. OpenAI cho biết các mô hình đã tạo ra kết quả này vào ngày 18 tháng 10. OpenAI cho biết kết quả đã được chính thức hóa vào ngày hôm sau bằng Lean, một ngôn ngữ dùng để xác minh chứng minh. OpenAI cho biết một lời giải thích bằng ngôn ngữ tự nhiên và một chứng minh chính thức đã được công bố trên GitHub.

OpenAI cho biết hệ thống khoa học máy tính của họ đã tạo ra một bằng chứng bác bỏ Giả thuyết Thời gian Mũ. Giả thuyết này hỗ trợ các kết quả về độ khó tính toán có điều kiện liên quan đến các vấn đề khả thi và các câu hỏi liên quan trong độ phức tạp tính toán. OpenAI cho biết bằng chứng bác bỏ bằng ngôn ngữ tự nhiên được tạo ra vào ngày 16 tháng 10. OpenAI cho biết bằng chứng này đã được chính thức hóa bằng Lean vào ngày 17 tháng 10. Một nhóm do Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn đầu đang xem xét kết quả này. OpenAI cam kết tài trợ cho một hội nghị để xem xét các hệ quả có thể có của kết quả này.

Một nhóm vật lý bên ngoài do David Gross dẫn đầu sẽ đánh giá một kết quả mà OpenAI mô tả là bằng chứng tồn tại nghiêm ngặt cho các lý thuyết trường lượng tử tương tác trong bốn chiều. Bằng chứng được tuyên bố bao gồm động lực học lượng tử màu (QCD) và một mở rộng thống nhất lớn của Mô hình Chuẩn. Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov cũng tham gia vào việc đánh giá. Khác với các dự án toán học và khoa học máy tính, nhóm vật lý đã chọn không công bố các tài liệu do AI tạo ra cho công chúng hiện tại. Các thành viên trong nhóm sẽ tập trung vào việc viết bản tường thuật riêng của họ về công việc này.

OpenAI cho biết công ty đang thử nghiệm ba phương pháp chia sẻ nghiên cứu do AI tạo ra với cộng đồng khoa học. Các phương pháp này bao gồm công bố ngay lập tức, phát hành cùng với các đối tác bên ngoài, hoặc giao quyền kiểm soát thời điểm công khai tài liệu cho một nhóm bên ngoài. OpenAI đang yêu cầu phản hồi để xác định phương pháp nào phù hợp nhất với các nhà nghiên cứu. Các hợp tác này cấm các thỏa thuận bảo mật và việc đòi quyền ghi công học thuật cho chính các phát hiện. Các hợp tác công nhận những nhà nghiên cứu tạo ra các giải thích và tài liệu hỗ trợ. Việc tham gia là tự nguyện và không được trả lương, và các đối tác sẽ chỉ đại diện cho quan điểm cá nhân của họ.

Các tuyên bố này có thể dẫn đến những hệ quả nghiêm trọng nếu việc kiểm định độc lập xác nhận kết quả, đặc biệt là việc bác bỏ Giả thuyết Thời gian Mũ. Giả thuyết này là nền tảng cho phần lớn lý thuyết độ phức tạp tính toán hiện đại. Sáng kiến này cũng đặt ra những câu hỏi về việc làm cho các phát hiện do AI tạo ra, có tiềm năng lớn, trở nên minh bạch, có thể tái tạo và đáng tin cậy đối với các nhà khoa học.