OpenAI cho biết đã giải các bài toán khó về toán học, khoa học máy tính và vật lý; các nhà khoa học đoạt giải Nobel sẽ kiểm chứng

Chuyện gì đã xảy ra?

Ngày 26 (theo giờ địa phương), OpenAI nói rằng mô hình AI của họ đã có kết quả nghiên cứu mới trong ba lĩnh vực: giải 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ử. Công ty cho biết AI đã giải được những phỏng đoán toán học mở suốt nhiều thập kỷ và chứng minh một giả thuyết mà các nhà khoa học máy tính tin là đúng rộng rãi. Các chuyên gia độc lập, trong đó có một nhà vật lý từng đoạt giải Nobel, sẽ kiểm tra và giải thích kết quả.

Các con số và sự kiện chính

• Toán học: 'giả thuyết làm mượt cục bộ' (đề xuất năm 1991) đã được chứng minh cho mọi số chiều. Trước đó, năm 2019, nó chỉ được chứng minh cho 2 chiều.
• Khoa học máy tính: 'Giả thuyết thời gian hàm mũ (ETH)' được kiểm tra. AI đưa ra một chứng minh đi ngược lại ETH, và chứng minh này đã được kiểm tra bằng công cụ Lean.
• Vật lý: AI trình bày chứng minh về sự tồn tại của lý thuyết trường lượng tử trong 4 chiều. Kết quả này gồm một chứng minh cho lý thuyết Yang-Mills thuần túy, liên quan đến một bài toán giải thưởng Thiên niên kỷ.
• OpenAI tài trợ 5 triệu USD cho Quỹ Simons để hỗ trợ các sự kiện và chương trình nghiên cứu AI.

Vài khái niệm cần biết

Phỏng đoán là một ý tưởng toán học mà mọi người tin là đúng nhưng chưa ai chứng minh. Chứng minh là một lập luận logic từng bước cho thấy một ý tưởng luôn luôn đúng. Lean là công cụ giúp kiểm tra từng bước trong chứng minh có đúng hay không, để máy tính cũng có thể xác nhận. Bảy bài toán Thiên niên kỷ là bảy bài toán toán học rất khó. Viện Toán học Clay sẽ trao 1 triệu USD cho mỗi bài được giải.

Vì sao điều này quan trọng?

Nếu các kết quả này đúng, chúng có thể thay đổi cách các nhà khoa học nghĩ về các bài toán toán học khó và giới hạn của việc tính toán. ETH được dùng trong hàng trăm bài báo để giải thích vì sao một số bài toán khó tính. Vì vậy, một kết quả đi ngược ETH có thể mở đường cho các thuật toán nhanh hơn. Tuy nhiên, OpenAI cũng nói rằng để có tốc độ thực sự nhanh hơn cần nghiên cứu thêm rất nhiều. Việc các chuyên gia bên ngoài kiểm tra là then chốt, vì công ty cho rằng chứng minh do AI tạo ra phải được xác minh độc lập thì mới được coi là khoa học đúng đắn.

Cần theo dõi điều gì?

• Các chuyên gia bên ngoài có đồng ý với chứng minh của OpenAI hay không.
• Kết quả vật lý: theo yêu cầu của các nhà nghiên cứu bên ngoài, OpenAI đã tạm dừng phát hành tài liệu do AI tạo ra, và nhóm nghiên cứu sẽ tự viết báo cáo về kết quả.
• Kết quả ETH có dẫn tới các thuật toán nhanh hơn hay không.
• Quỹ Simons sẽ sử dụng 5 triệu USD như thế nào.