오픈AI는 내부 AI 모델이 컴퓨터 과학의 지수시간가설(ETH)을 반증하는 알고리즘을 제시했다고 밝혔다. 이 약칭은 이더리움(ETH)과 같지만, 연구는 가상자산 지갑의 서명 체계를 깨거나 개인키를 알아내는 방법을 제시하지 않았다.
오픈AI는 26일 발표문에서 내부 AI 모델이 16일 반증 결과를 찾았고, 17일 수학적 증명을 컴퓨터로 점검하는 도구인 Lean으로 형식화했다고 밝혔다. 연구 자료는 공개됐으며 외부 전문가의 검토가 진행 중이다. 오픈AI의 지수시간가설 반증 결과와 Lean 형식화 자료를 공개한 앞선 보도도 전했다.
지수시간가설은 변수가 늘수록 특정 논리 문제를 푸는 데 필요한 계산 시간이 급격히 늘어난다는 가정이다. 대표…  더보기