오픈AI와 앤트로픽, AI로 지수 시간 가설 반박 주장
오픈AI에 이어 앤트로픽도 AI를 활용해 컴퓨터과학의 지수 시간 가설을 반박하는 알고리즘을 찾았다고 발표했다. 두 회사는 10월 16일 비슷한 문제에 도달했고 6시간 간격으로 결과를 공개했다.
지수 시간 가설은 3-SAT 같은 문제를 풀 때 계산 시간이 변수 수에 따라 기하급수적으로 늘어난다는 가정이다. 앤트로픽은 준지수 시간에 3-SAT를 해결하는 알고리즘과 린 검증 코드를 공개했고, 오픈AI도 별도의 증명 결과를 제시했다.
아직 학계의 최종 검증이 끝난 것은 아니며, 이론적 계산 시간의 개선이 곧바로 실제 프로그램이나 암호 체계를 무력화한다는 뜻도 아니다. 다만 AI 기업 경쟁의 기준이 벤치마크 점수에서 새로운 수학적·과학적 발견으로 넓어지고 있다는 점은 분명해졌다.