왜 OpenAI(오픈AI)의 난제 해결이 중요한가? 3-SAT과 지수 시간 가설 해설

요약

현대 컴퓨터 과학의 근간인 '지수 시간 가설(Exponential Time Hypothesis, ETH)'이 OpenAI의 내부 AI 모델에 의해 반박되었다는 주장이 제기되었다. ETH는 3-SAT과 같은 복잡한 문제 해결 시간이 입력 크기에 따라 지수적으로 증가한다는 가설로, 수십 년간 이론 컴퓨터 과학의 척도로 활용되어 왔다. OpenAI의 AI 모델은 이 가설보다 유의미하게 빠른 해결 알고리즘을 찾아냈으며, 이를 컴퓨터 검증 시스템인 'Lean'을 통해 증명했다고 밝혔다. 특히 ETH를 제안했던 러셀 임파글리아초(Russell Impagliazzo)와 라마모한 파투리(Ramamohan Paturi)가 직접 해당 증명에 대한 검증을 주도하고 있다. 만약 이 반박이 사실로 확인될 경우, ETH를 기반으로 성립되었던 수많은 컴퓨터 과학 연구 결과들의 재검토가 불가피할 전망이다. 다만, 이번 결과가 P 대 NP 문제의 해결을 의미하는 것은 아니며 절대적인 해결 속도는 여전히 느린 수준이다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.