오픈AI, ETH 반박 결과 공개…앤트로픽도 형식화 자료 공개

김민준 기자 2026.10.28 02:33

오픈AI는 지수시간가설(ETH)을 반박하는 결과와 Lean 형식화 자료를 공개했다. 앤트로픽도 관련 논문과 형식화 자료를 저장소에 공개했다.

토포AI로 이 기사 더 깊이 읽기

오픈AI는 지수시간가설(ETH)을 반박하는 결과와 Lean 형식화 자료를 공개했다. 앤트로픽도 관련 논문과 형식화 자료를 저장소에 공개했다.

오픈AI(OpenAI)는 10월 26일 자사 시스템이 ETH를 반박하는 결과를 냈으며, 형식화한 증명을 Lean으로 검증했다고 밝혔다. 결과의 의미와 적용 범위는 외부 전문가 그룹이 검토할 예정이다. 컴퓨터과학자들이 결과를 검증하고 설명할 협력 그룹도 구성한다고 발표했다. 오픈AI 공식 발표에는 결과와 검토 계획이 담겼다.

앤트로픽(Anthropic)은 클로드가 작성한 논문과 관련 형식화 자료를 공개 저장소에 올렸다. 저장소는 만족해 개수를 세는 알고리즘과 ETH 관련 형식화 프로젝트를 제시한다. 다만 공개 저장소의 설명만으로 전문가의 독립 검토가 끝났다고 볼 수는 없다.

지수시간가설(ETH)은 3-SAT를 변수 수에 대해 지수 시간보다 빠르게 풀 수 없다는 계산복잡도 이론의 가설이다. 3-SAT는 각 조건이 세 개 이하의 논리 항으로 이뤄진 식에서 모든 조건을 참으로 만드는 변수 배정이 있는지 묻는다. 이번 주장의 핵심은 이 문제를 다항시간에 푼다는 것이 아니라, 지수시간보다 증가 속도가 느린 준지수 시간 알고리즘을 제시했다는 데 있다.

준지수 시간 알고리즘은 지수시간보다 빠르더라도 실제 계산에서 곧바로 실용적인 속도를 보장하지 않는다. 따라서 이번 결과가 모든 어려운 계산을 빠르게 처리한다는 뜻은 아니다. 답을 빠르게 검증할 수 있는 문제를 모두 빠르게 풀 수 있는지 묻는 P 대 NP 문제를 해결했다는 의미도 아니다.

오픈AI의 형식화 범위 문서는 특정 방식으로 인코딩한 논리식의 만족해 개수를 정확히 세는 알고리즘을 기술한다. 문서는 Lean으로 형식화한 실행시간 경계와 별도 공개된 원고의 경계가 다를 수 있다고 구분했다. 앤트로픽 저장소도 만족해 개수를 세는 결정론적 튜링 기계와 ETH 관련 형식화 자료를 소개한다.

Lean 검증은 형식화된 명제의 증명을 컴퓨터가 검사하는 절차다. 이 검증만으로 형식화된 명제가 원래 문제를 정확히 담았는지, 결과가 기존 연구에서 어떤 의미인지까지 결정되지는 않는다. 이런 사항은 수학적 증명 검토와 결과의 적용 범위에 대한 별도 평가가 필요하다.

지수시간가설은 그래프 이론, 계산생물학, 데이터베이스 등에서 문제의 난도를 다루는 조건부 결과의 전제로 쓰여 왔다. 오픈AI는 주장이 독립 검토를 통과하더라도 실제로 더 빠른 알고리즘이나 실용적인 개선으로 연결하려면 추가 연구가 필요하다고 설명했다. 기존 연구의 전제가 바뀔 수 있다는 점과 당장 응용 문제가 쉬워진다는 주장은 구분해야 한다.

지수시간가설의 약칭 ETH는 이더리움(ETH)의 티커와 같지만, 여기서는 계산복잡도 이론의 가설을 가리킨다. 이번 연구는 이더리움 네트워크에 관한 발표가 아니며, 공개된 결과만으로 비트코인(BTC)이나 이더리움의 암호 체계가 깨졌다고 볼 근거도 제시되지 않았다. 현재 공개된 증명과 형식화 자료를 바탕으로 독립 검토가 이어지고 있다.