OpenAI thông báo rằng các mô hình trí tuệ nhân tạo của họ đã đạt được ba phát hiện khoa học quan trọng trong các lĩnh vực toán học, khoa học máy tính và vật lý, bao gồm chứng minh giả thuyết Kakeya trong giải tích điều hòa, bác bỏ giả thuyết thời gian mũ (ETH) trong lý thuyết độ phức tạp tính toán, và chứng minh chặt chẽ về sự tồn tại của lý thuyết trường lượng tử bốn chiều (bao gồm QCD và mô hình chuẩn).Tác giả bài viết, nguồn: AIBase
Gần đây, OpenAI chính thức công bố rằng mô hình trí tuệ nhân tạo của họ đã đạt được ba phát hiện khoa học quan trọng trong các lĩnh vực toán học, khoa học máy tính và vật lý, lần lượt liên quan đến phân tích điều hòa, lý thuyết độ phức tạp tính toán và lý thuyết trường lượng tử. Để chuyển đổi những dữ liệu nghiên cứu tiên tiến này thành sự hiểu biết khoa học thực sự, OpenAI đã thử nghiệm mô hình hợp tác sâu rộng với cộng đồng học thuật bên ngoài một cách sáng tạo, đồng thời xây dựng các chiến lược công bố đa dạng cho từng thành tựu trong các lĩnh vực khác nhau.
Trong lĩnh vực phân tích điều hòa, mô hình đã thành công trong việc chứng minh giả thuyết làm mịn cục bộ (local smoothing) ở mọi chiều, từ đó trực tiếp giải quyết giả thuyết Kakeya và giả thuyết giới hạn Stein trong toán học ở tất cả các chiều. Chứng minh mới dựa trên một phương trình vi phân riêng hỗ trợ mới lạ. OpenAI đã công bố trên kho GitHub công khai báo cáo đầu ra ngôn ngữ tự nhiên do mô hình tạo ra cùng với chứng minh Lean.
Trong lĩnh vực khoa học máy tính, một hệ thống đã chứng minh giả thuyết thời gian mũ (ETH), vốn được coi là đúng trong thời gian dài và có liên quan mật thiết đến vấn đề nổi tiếng P vs. NP, là sai. Giả thuyết này trước đây đã được hàng trăm bài báo sử dụng rộng rãi để suy ra độ khó tính toán có điều kiện. Kết quả này cũng đã được xác minh trong Lean. Công trình này đã được gửi đến đội ngũ chuyên gia hàng đầu do Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn đầu để xác minh và hướng dẫn, đồng thời các kết quả và chứng minh hình thức hóa trong Lean đã được công khai trên kho GitHub.
Trong lĩnh vực vật lý, các mô hình đã cung cấp chứng minh tồn tại toán học nghiêm ngặt cho một số lý thuyết trường lượng tử tương tác bao gồm trường chuẩn và fermion trong không gian bốn chiều (bao gồm cả QCD và sự thống nhất hoàn chỉnh của Mô hình Chuẩn trong vật lý hạt), trong đó bao gồm cả việc chứng minh sự tồn tại của lý thuyết Yang–Mills thuần túy, một phần của bài toán Thiên niên kỷ do Viện Toán học Clay đưa ra. Công việc phức tạp này được nhóm các nhà vật lý do David Gross dẫn đầu (bao gồm Michael Douglas, Arthur Jaffe, Igor Klebanov và Nikita Nekrasov) cùng thực hiện,
Để hỗ trợ toàn diện việc xem xét độc lập và thảo luận sâu sắc của cộng đồng học thuật về những thành tựu đột phá này, OpenAI trước đó đã quyên góp 5 triệu USD cho Quỹ Simons để tài trợ cho các hội thảo, hội nghị và các dự án đặc biệt liên quan. Chuỗi hành động này không chỉ thể hiện tiềm năng to lớn của AI trong nghiên cứu前沿 của khoa học cơ bản, mà còn đánh dấu sự tiến nhanh của vật lý lý thuyết hiện đại và toán học hướng tới các lĩnh vực có tiêu chuẩn nghiêm ngặt hơn.