Anthropic은 내부 연구용 Claude가 3-SAT를 준지수 시간에 푸는 알고리즘을 발견했다며 논문과 Lean 4 형식화를 공개했다. 저장소는 더 어려운 해의 개수 세기 문제도 다루며, 결과가 점근적 계산 복잡도에 관한 것으로 실제 문제를 당장 빠르게 푼다는 뜻은 아니라고 명시한다. Lean과 별도 검증 커널로 증명을 확인하는 절차를 제공하지만 형식화한 명제가 논문의 주장과 같은지는 사람이 검토해야 한다. OpenAI의 유사 발표와 별개의 연구이며 P 대 NP 해결이나 암호체계 붕괴로 확대할 수 없다.