앤트로픽도 AI가 ETH 반박 알고리즘 찾았다고 발표

앤트로픽은 내부 연구용 Claude 모델이 컴퓨터과학의 지수 시간 가설(ETH)을 반박하는 3-SAT 알고리즘을 찾았다고 발표했다. 회사에 따르면 모델은 10월 16일 사람의 개입 없이 핵심 알고리즘을 발견했고, 이후 연구진과 논문을 작성했다. 앤트로픽은 논문과 Lean으로 작성한 증명 검증 코드를 공개했다.

오픈AI도 같은 날 비슷한 결과를 발표했지만, 두 회사 알고리즘의 접근법은 다르다. 이 주장은 아직 학계에서 최종 검증되지 않았으며, 이론상 계산 시간에 관한 결과라 실제 프로그램이 즉시 빨라진다는 뜻은 아니다.