OpenAI와 Anthropic, 지수 시간 가설(ETH) 반증 주장 연구자가 분야에 미칠 영향을 말하다
Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
OpenAI는 수학·계산기 과학·물리학 3개 분야의 난제에 대한 해법을 공개했으며, 그중 하나는 지수시간 가설(ETH)을 반증하는 것이라고 주장했다. Anthropic도 몇 시간 뒤 자체적인 반증 결과를 공표했다. MIT 교수 Ryan Williams는 결과가 옳다면 지난 10년간 ETH에 의존한 논문들을 다시 검토해야 할 필요가 있다고 말했다.
OpenAI는 오랜 난제 3개에 대한 해답을 공개했다. 그중 하나는 계산의 난이도를 이해하는 데 중요한 전제로 여겨져 온 ETH를 반증한 것이다. 분야마다 공개 방식은 다르다. 수학자들을 위해서는 GitHub에 공개했고, 컴퓨터 과학자들은 작업 그룹을 만들어 증명 공개와 OpenAI의 학회 자금 지원을 요청했으며, 물리학자 작업 그룹은 결과 공개 방식을 정하고 있다고 한다. Anthropic의 수학자 Levent Alpögö는 OpenAI가 기존 연구를 바탕으로 했을 가능성을 지적했고, 몇 시간 뒤 Anthropic도 자체적인 ETH 반증을 발표했다.
컴퓨터 과학 측의 대응을 취합하는 사람은 MIT 교수 Ryan Williams다. 그는 이달 초 OpenAI의 증명 대량 공개를 "수학자에 대한 DDOS 공격"이라고 비판했지만, 분야에 중요한 과제를 이끌어 낼 수 있다는 판단에서 협력에 응했다고 한다. OpenAI는 ETH를 1999년에 발표한 Russell Impagliazzo, Ramamohan Paturi와 함께 해석을 의뢰했다. 첫 단계로 연구자들의 의견을 구했고, AI의 기여에 관한 규범을 논의하는 공개서한을 냈다. Williams는 증명에 대해 정형적인 부분도 있지만 두세 군데 이질적으로 보이는 부분이 있어 커뮤니티 전체가 함께 다뤄야 한다고 느꼈다고 말한다.
ETH는 P 대 NP 문제와 연결된 가설로, 특정 논리 퍼즐에서는 변수가 늘어나면 가장 빠른 알고리즘으로도 시간이 지수적으로 걸린다고 본다. 두 회사의 주장은 모델이 그 퍼즐을 준지수 시간에 푸는 알고리즘을 찾아냈다는 것이다. 이것이 맞다면 ETH는 거짓이 되고, P = NP에 가까워지는 길이 열릴 가능성도 있다. Williams는 P = NP의 타당성에 조금 더 무게를 둬야 한다고 하면서도, 이것이 최종 답은 아니며 OpenAI의 알고리즘이 최선이라고 보기는 어렵다고 말했다.
ETH를 전제로 한 논문이 많아, 주장이 성립하면 재검토가 필요해진다. 그래서 Williams는 학회의 지원을 요청했다고 한다. 암호에 대한 영향도 OpenAI의 과학 책임자 Dan Roberts에게 먼저 확인했는데, 회사는 어느 정도 확신을 가지고 깨질 암호는 없다고 답했다고 한다. Williams는 차세대 과학자 육성에 우려를 나타내면서, AI로 인해 연구자들이 더 야심 찬 질문을 던지도록 요구받고 있다고 말했다.
OpenAI와 Anthropic의 주장에 대해 계산 복잡도 연구자 Ryan Williams가 학계의 반응과 향후 연구 방향을 이야기하고 있어, 배경을 정리하기 좋다.
출처: TechCrunch AI · techcrunch.com