오픈AI, 지수시간가설 반증 주장 공개…16일 발견·17일 Lean 형식화
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- 오픈AI는 내부 AI 모델이 지수시간가설 반증 결과를 찾은 뒤 Lean으로 증명을 형식화했다고 밝혔다.
- 오픈AI는 내부 AI 모델이 컴퓨터 과학의 지수시간가설(ETH)을 반증하는 알고리즘을 제시했다고 밝혔다.
- 이 약칭은 이더리움(ETH)과 같지만, 연구는 가상자산 지갑의 서명 체계를 깨거나 개인키를 알아내는 방법을 제시하지 않았다.
본문
오픈AI는 내부 AI 모델이 지수시간가설 반증 결과를 찾은 뒤 Lean으로 증명을 형식화했다고 밝혔다. 오픈AI는 내부 AI 모델이 컴퓨터 과학의 지수시간가설(ETH)을 반증하는 알고리즘을 제시했다고 밝혔다. 이 약칭은 이더리움(ETH)과 같지만, 연구는 가상자산 지갑의 서명 체계를 깨거나 개인키를 알아내는 방법을 제시하지 않았다. 오픈AI는 26일 발표문에서 내부 AI 모델이 16일 반증 결과를 찾았고, 17일 수학적 증명을 컴퓨터로 점검하는 도구인 Lean으로 형식화했다고 밝혔다. 오픈AI의 지수시간가설 반증 결과와 Lean 형식화 자료를 공개한 앞선 보도 도 전했다. 지수시간가설은 변수가 늘수록 특정 논리 문제를 푸는 데 필요한 계산 시간이 급격히 늘어난다는 가정이다. 대표 사례인 3-SAT는 여러 참·거짓 조건을 동시에 만족하는 답이 있는지 찾는 문제다. 조건을 모두 대입하는 방식보다 근본적으로 빠른 풀이가 가능한지가 연구의 핵심이다.
이번 결과는 3-SAT 계열 문제의 계산 시간에 관한 것으로, 비트코인(BTC)이나 이더리움 지갑의 개인키를 알아내거나 서명 체계를 깨는 방법을 제시하지 않았다. ‘준지수시간’이라는 표현도 현실적인 크기의 문제를 곧바로 빠르게 풀 수 있다는 뜻은 아니다. 검토를 맡은 라이언 윌리엄스(Ryan Williams) MIT 교수는 연구 결과가 사실로 확인된다면 다른 문제에도 더 빠른 알고리즘이 나올 수 있다고 설명했다. 본 기사는 시장 데이터 및 차트 분석을 바탕으로 작성되었으며, 특정 종목에 대한 투자 권유가 아닙니다.