Claude tự phát hiện ra thuật toán có thể bác bỏ giả thuyết thời gian mũ Mô hình nghiên cứu Claude bên trong Anthropic, không cần sự hướng dẫn của con người, đã tự mình phát hiện ra một thuật toán mới có thể giải quyết bài toán 3-SAT nhanh hơn tốc độ mà lý thuyết trước đây cho là có thể. 3-SAT là bài toán kinh điển nhằm xác định liệu một tập hợp các điều kiện logic có thể được thỏa mãn đồng thời hay không. Trong nhiều năm, các nhà nghiên cứu tin rằng các bài toán loại này rất khó được tăng tốc đáng kể — đây chính là giả thuyết thời gian mũ. Nếu thuật toán mới này là chính xác, điều đó có nghĩa là giả thuyết này không còn đúng. Sự kiện này cho thấy trí tuệ nhân tạo đã có khả năng tự đề xuất các thuật toán quan trọng và đưa ra chứng minh có thể xác minh được trong những vấn đề cốt lõi của khoa học máy tính lý thuyết. Nếu kết quả này withstands sự kiểm tra, nó sẽ thay đổi cách nhìn lâu dài của con người về độ khó của một số bài toán tính toán. Hiện tại, bài báo và chứng minh đã được công khai để tiến hành xác minh thêm. Toàn bộ quá trình này cho thấy mô hình có thể tự thực hiện các phát hiện lý thuyết cấp cao, nhưng việc tổng hợp cuối cùng vẫn cần con người hoàn thiện.