Anthropic가 제출한 논문은 내부 Claude 모델도 지수 시간 가설을 반증했다고 주장한다

hexagonmath.org에 올라온 프리프린트는 Anthropic가 2026년 10월 27일 제출한 것으로 기재되어 있으며, n개의 변수를 가진 3-SAT를 2^o(n) 시간에 푸는 결정론적 알고리즘을 제시한다. 이는 지수 시간 가설(ETH)을 반증하는 결과다. 논문은 이 알고리즘이 만족하는 할당의 수를 세는 더 어려운 문제인 #3-SAT도 풀며, 결과가 Lean 4로 형식화되었다고 설명한다.

논문의 출처 설명에 따르면, 내부 Claude 연구 모델이 10월 16일 1,400만 출력 토큰을 사용하고 인간의 개입 없이 핵심 알고리즘을 찾아냈으며, 이후 Anthropic 연구자들이 Claude와 함께 논문을 다듬었다. 논문은 OpenAI의 내부 모델도 비슷한 결과를 독립적으로, 동시에 증명했다고 주장했다고 덧붙이며, 10월 26일자 OpenAI 자체 프리프린트를 인용한다. 이 모든 내용은 저자들의 주장으로, 독립적으로 검증되지 않았다.

이 논문은 Hacker News에 공유되었으며(10월 27일 기준 22점, 댓글 6개), 한 댓글 작성자는 주장된 발견 날짜가 OpenAI의 날짜와 같다고 지적했다.