중요X
OpenAI(오픈AI), AI 모델이 지수 시간 가설(ETH) 반증했다 주장… 형식 증명 공개, 학계 검증 중
사실이면 복잡도 이론의 대사건이나 아직 미검증. AI의 수학 증명 능력 입증 사례로 주시할 가치.
요약
OpenAI가 자사의 AI 모델을 활용해 컴퓨터 과학계의 난제 중 하나인 지수 시간 가설(Exponential Time Hypothesis, ETH)을 반증하는 알고리즘을 발견했다고 발표했다. ETH는 3-SAT와 같은 문제의 복잡도가 변수 증가에 따라 지수적으로 증가한다는 가설로, OpenAI는 이를 준지수 시간(subexponential time) 내에 해결하는 알고리즘을 찾아냈다고 주장했다. OpenAI는 이에 대한 컴퓨터 검증 정식 증명 자료를 공개했으나, 학계에서는 해당 결과가 실제로 가설을 반증하는지 독립적인 검토를 진행 중이다. 이번 결과는 이론 컴퓨터 과학 분야의 중요한 진전이 될 수 있으나, P=NP 문제와는 별개의 사안으로 암호화폐 보안 체계가 즉각적으로 위협받는 것은 아니다. 만약 독립적 검증을 통과한다면, 이는 계산 복잡도 이론에 큰 변화를 가져올 중요한 발견으로 평가받을 전망이다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @benjamincowen: OpenAI says one of its AI models disproved the Exponential Time Hypothesis (ETH). OpenAI also released a computer-checked formal p
원문 보기 ↗