오픈AI, ETH 반박 결과 공개…앤트로픽도 형식화 자료 공개
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- 오픈AI는 지수시간가설(ETH)을 반박하는 결과와 Lean 형식화 자료를 공개했다.
- 오픈AI(OpenAI)는 10월 26일 자사 시스템이 ETH를 반박하는 결과를 냈으며, 형식화한 증명을 Lean으로 검증했다고 밝혔다.
- 앤트로픽(Anthropic)은 클로드가 작성한 논문과 관련 형식화 자료를 공개 저장소에 올렸다.
본문
오픈AI는 지수시간가설(ETH)을 반박하는 결과와 Lean 형식화 자료를 공개했다. 오픈AI(OpenAI)는 10월 26일 자사 시스템이 ETH를 반박하는 결과를 냈으며, 형식화한 증명을 Lean으로 검증했다고 밝혔다. 앤트로픽(Anthropic)은 클로드가 작성한 논문과 관련 형식화 자료를 공개 저장소에 올렸다. 저장소는 만족해 개수를 세는 알고리즘과 ETH 관련 형식화 프로젝트를 제시한다. 다만 공개 저장소의 설명만으로 전문가의 독립 검토가 끝났다고 볼 수는 없다. 지수시간가설(ETH)은 3-SAT를 변수 수에 대해 지수 시간보다 빠르게 풀 수 없다는 계산복잡도 이론의 가설이다. 3-SAT는 각 조건이 세 개 이하의 논리 항으로 이뤄진 식에서 모든 조건을 참으로 만드는 변수 배정이 있는지 묻는다. 오픈AI의 형식화 범위 문서는 특정 방식으로 인코딩한 논리식의 만족해 개수를 정확히 세는 알고리즘을 기술한다.
앤트로픽 저장소도 만족해 개수를 세는 결정론적 튜링 기계와 ETH 관련 형식화 자료를 소개한다.
지수시간가설의 약칭 ETH는 이더리움(ETH)의 티커와 같지만, 여기서는 계산복잡도 이론의 가설을 가리킨다. 현재 공개된 증명과 형식화 자료를 바탕으로 독립 검토가 이어지고 있다. 본 기사는 시장 데이터 및 차트 분석을 바탕으로 작성되었으며, 특정 종목에 대한 투자 권유가 아닙니다.