AI có thể vừa thách thức một trong những giả định cơ bản nhất của khoa học máy tính. Nhưng câu chuyện lớn hơn không phải là ETH. Vào ngày 26 tháng 10, OpenAI thông báo rằng một mô hình AI nội bộ đã đưa ra một lời bác bỏ được cho là của Giả thuyết Thời gian Mũ (ETH)—một giả thuyết nền tảng hỗ trợ hàng trăm kết quả về độ khó tính toán. Khẳng định: Một thuật toán thời gian dưới mũ, xác định để đếm chính xác số lượng gán thỏa mãn trong các công thức Boolean có độ rộng cố định. Nếu đúng, ETH sẽ sụp đổ. Cùng với đó là một số giả thuyết mạnh hơn khác. Nhưng P ≠ NP vẫn chưa được giải quyết. Và về mặt lý thuyết nhanh hơn không nhất thiết có nghĩa là hữu ích trong thực tế. Chứng minh đã được hình thức hóa trong Lean. Một cuộc kiểm tra độc lập đang được tổ chức bởi Russell Impagliazzo, Ramamohan Paturi và Ryan Williams từ MIT. Sự tham gia của họ không phải là sự chấp thuận. Việc xác minh độc lập vẫn là điều thiết yếu. Quan điểm của tôi: Chúng ta có thể đang chứng kiến ba bước đột phá, chứ không phải một. Toán học: Một rào cản lâu đời trong lý thuyết độ phức tạp tính toán có thể đã bị phá vỡ. Khoa học: AI có thể đang chuyển từ vai trò hỗ trợ các nhà nghiên cứu sang việc tạo ra tri thức hoàn toàn mới. Tổ chức: Cộng đồng khoa học phải xem xét lại cách thức xác minh, hiểu, ghi nhận và tái tạo các phát hiện. Bước đột phá thứ ba có thể trở nên quan trọng nhất. Trong hàng thế kỷ, việc tạo ra những phát hiện cấp ranh giới đòi hỏi chuyên môn con người khan hiếm và nhiều năm nghiên cứu. Điều gì sẽ xảy ra khi AI có thể tạo ra những phát hiện toán học đáng tin cậy nhanh hơn con người có thể xác minh và hiểu một cách độc lập? Nút thắt chuyển từ phát hiện sang xác minh, diễn giải và phán xét khoa học. Và cuối cùng, AI có thể cũng đẩy nhanh các quá trình này. Điểm ngoặt thực sự không phải là AI giải quyết một bài toán nổi tiếng. Mà là AI liên tục mở rộng ranh giới của tri thức con người. Chúng ta chưa chắc chắn đạt đến điểm đó. Nhưng sự phát triển này xứng đáng nhận sự chú ý nghiêm túc. Câu hỏi giờ đây không còn đơn giản là AI có thể trở nên thông minh đến mức nào. Mà là liệu các tổ chức khoa học của chúng ta có thể tiến hóa nhanh enough để đánh giá những gì AI phát hiện ra không. Thông báo của OpenAI: https://t.co/G0p0VEMjlC Các bài nghiên cứu và hình thức hóa Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI
