OpenAI công bố giả thuyết thời gian phá vỡ mô hình
OpenAI gần đây đã thông báo rằng mô hình AI của họ đã giải mã giả thuyết thời gian mũi nhọn trong khoa học máy tính đã tồn tại hơn hai mươi năm, viết tắt bằng tiếng Anh là ETH, không phải là Ethereum. Giả thuyết này tập trung vào việc các vấn đề đặc biệt khó giải quyết thực sự khó đến mức nào, và lấy bài toán tính khả thi Boolean SAT làm ví dụ: cho một tập hợp các điều kiện logic, liệu có tồn tại một cách gán giá trị nào đó để tất cả các điều kiện đều đồng thời đúng. Khi quy mô của vấn đề tăng lên, phương pháp tốt nhất đã biết về cơ bản chỉ có thể thử từng câu trả lời khả thi, và thời gian tiêu tốn tăng theo quy mô theo cấp số nhân. Giả thuyết thời gian mũi nhọn còn khẳng định rằng, những vấn đề này về bản chất không thể được tăng tốc đáng kể, không tồn tại thuật toán hiệu quả dưới cấp số nhân theo nghĩa thực sự.Kể từ khi được đưa ra vào năm 1999, giả thuyết này đã là một nền tảng quan trọng trong khoa học máy tính lý thuyết, rất nhiều tài liệu dựa trên nó để chứng minh rằng một số vấn đề rất khó, một số thuật toán đã gần tối ưu. Nếu giả thuyết thời gian mũi nhọn bị lật đổ, điều đó có nghĩa là nhiều vấn đề được coi là gần như không thể nhanh hơn, về lý thuyết có thể tồn tại phương pháp giải quyết tốt hơn. OpenAI tuyên bố rằng mô hình của họ đã tìm ra một thuật toán xác định, có thể thống kê chính xác số lượng giải pháp của bài toán k-SAT trong thời gian dưới cấp số nhân, và đã được xác minh hình thức bằng Lean. Nếu kết quả này cuối cùng chịu được sự xem xét của các chuyên gia, nó sẽ trực tiếp làm lung lay giả thuyết thời gian mũi nhọn.
