오픈AI·앤트로픽, 25년 된 지수시간가설 반증 주장
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- 두 회사는 3-SAT를 지수 시간보다 빠르게 푸는 알고리즘과 Lean 형식 증명을 공개했다.
- 가설 공동 제안자들은 성과의 의미를 인정하면서도 학계의 독립 검토가 필요하다고 밝혔다.
- 오픈AI(OpenAI)와 앤트로픽(Anthropic)은 10월 26일 인공지능(AI) 모델이 3-SAT를 지수 시간보다 빠르게 푸는 알고리즘을 찾아 지수시간가설을 반증했다고 각각 주장했다.
본문
두 회사는 3-SAT를 지수 시간보다 빠르게 푸는 알고리즘과 Lean 형식 증명을 공개했다. 가설 공동 제안자들은 성과의 의미를 인정하면서도 학계의 독립 검토가 필요하다고 밝혔다. 오픈AI(OpenAI)와 앤트로픽(Anthropic)은 10월 26일 인공지능(AI) 모델이 3-SAT를 지수 시간보다 빠르게 푸는 알고리즘을 찾아 지수시간가설을 반증했다고 각각 주장했다. 발표 며칠 뒤 지수시간가설을 제안한 러셀 임팔리아초(Russell Impagliazzo)와 라마모한 파투리(Ramamohan Paturi), 이 가설을 의심해 온 라이언 윌리엄스(Ryan Williams) 매사추세츠공대 연구자가 AFP 인터뷰에 응했다. 세 사람은 연구의 의미와 독립 검토, 연구자에게 남을 역할을 두고 의견을 밝혔다. 약 25년 전 제안됐으며 컴퓨터과학과 생물학 연구의 전제로 활용돼 왔다.
지수시간가설은 3-SAT를 최악의 경우 변수 수 n에 대해 2^{o(n)} 시간에 푸는 결정적 알고리즘이 없다는 가설이다.
논문 초고는 10월 17일 작성됐고, 수정본은 10월 25일 날짜로 공개됐다. 앤트로픽은 자사 결과가 문제 규모가 매우 커질 때의 계산량을 다룬 점근적 성과이며, 실제 문제를 빠르게 푸는 성능을 뜻하지 않는다고 설명했다. 그는 이 가설을 바탕으로 한 지난 30년의 연구가 성과 발표로 사라지는 것은 아니라고 설명했다. 향후 연구가 이어지면 더 강한 암호화가 필요해질 수 있다고 덧붙였지만, 현재 암호가 깨졌다는 뜻은 아니라고 선을 그었다. 본 기사는 시장 데이터 및 차트 분석을 바탕으로 작성되었으며, 특정 종목에 대한 투자 권유가 아닙니다.