Một bài báo do Anthropic nộp tuyên bố rằng một mô hình Claude nội bộ cũng đã bác bỏ Giả thuyết Thời gian Mũ

Một bản thảo tiền xuất bản trên hexagonmath.org, được ghi là do Anthropic nộp vào ngày 27 tháng 10 năm 2026, tuyên bố có một thuật toán tất định giải 3-SAT với n biến trong thời gian 2^o(n), điều này sẽ bác bỏ Giả thuyết Thời gian Mũ (ETH). Bài báo cho biết thuật toán cũng giải được bài toán #3-SAT khó hơn, vốn đếm số phép gán thỏa mãn, và kết quả đã được hình thức hóa trong Lean 4.

Theo tuyên bố về nguồn gốc của bài báo, một mô hình nghiên cứu Claude nội bộ đã tìm ra thuật toán cốt lõi vào ngày 16 tháng 10, sử dụng 14 triệu token đầu ra và không có sự tham gia của con người; sau đó, các nhà nghiên cứu của Anthropic đã phối hợp với Claude để cải thiện cách trình bày. Bài báo nói thêm rằng một mô hình nội bộ tại OpenAI tuyên bố đã chứng minh một kết quả tương tự một cách độc lập và đồng thời; bài báo dẫn bản thảo tiền xuất bản của OpenAI ngày 26 tháng 10. Tất cả những điều này là tuyên bố của các tác giả và chưa được xác minh độc lập.

Bài báo được chia sẻ trên Hacker News (22 điểm, 6 bình luận tính đến ngày 27 tháng 10), nơi một người bình luận lưu ý rằng ngày phát hiện được tuyên bố trùng với ngày của OpenAI.