Bằng chứng dựa trên AI tìm ra phép phân tích số nguyên là phục thức

Các nhà nghiên cứu đã áp dụng một thuật toán tính toán mới để chứng minh rằng phép phân tích số nguyên có thể thực hiện trong một giới hạn xấu số phục thức, mở rộng trên một bước đột phá gần đây trong khoa học máy tính lý thuyết. Kết quả này dựa trên công việc của các mô hình Claude nội bộ của Anthropic, những mô hình này đã phát triển một thuật toán phục thức cho bài toán 3-SAT để phản bác Giả thuyết Thời gian Hàn lượng, một lý thuyết nền tảng từng định nghĩa giới hạn hiệu quả của một số phép tính.

Sự khám phá được thực hiện vào ngày 16/10 bằng cách sử dụng 14M token đầu ra mà không cần can thiệp con người, một kết quả mà các mô hình từ OpenAI cũng đạt được độc lập. Mặc dù những phát hiện này chưa trực tiếp đe dọa các tiêu chuẩn mã hóa hiện tại, nhưng bước đột phá này đặt câu hỏi về các giả định bảo mật khác được sử dụng để bảo vệ lưu lượng mạng và đã gây sốc cho các nhà khoa học máy tính, nghiên cứu sự nghiệp của họ dựa trên giả thuyết đã bị phản bác.