- OpenAI는 내부 모델이 지수 시간 가설을 반증했다고 밝혔습니다. 이 가설은 수백 편의 컴퓨터 과학 논문들의 근거가 되고 있는 추측입니다.
- AI 연구소는 해당 가설의 최초 제안자들 및 MIT의 라이언 윌리엄스를 초빙하여 이를 검토하도록 했습니다.
- 해당 연구자들은 OpenAI의 최근 에르되시 관련 과장 주장, 논쟁 중인 나비에-스토크스 방정식 증명, 그리고 부호 오류로 인해 철회된 세 편의 사전 인쇄본 등을 근거로 이를 검증된 것으로 간주하지 않겠다고 밝혔습니다.
OpenAI가 최신 주장, 즉 내부 모델 중 하나가 지수 시간 가설을 성공적으로 반증했다는 주장을 검증하기 위해 임명한 과학자들은 과거 AI 연구소의 수학 발표들이 종종 과장되어 왔다는 점에 주목하며, 이번 주장을 지지하기를 거부했습니다.
Altman이 이끄는 연구소가 극복했다고 주장하는, 불리언 만족 문제의 난이도를 측정하는 지표인 지수 시간 가설은 P 대 NP 문제와 연관된 문제로, 수백 편의 컴퓨터 과학 논문들의 기반이 되는 추측입니다.
MIT의 라이언 윌리엄스와 UC 샌디에고의 러셀 임파지아조, 라마모한 파투리는 임파지아조와 파투리, 프랜시스 잔과 함께 처음 제안된 이 가설에 대한 결과를 독립적으로 검증할 그룹을 이끌 예정입니다.
수학계는 OpenAI의 ETH 주장을 받아들이지 않았다
해당 주장을 검증하는 그룹을 이끄는 세 명의 연구원 공개 서한에서 자신의 분야에 대해 “우리의 관여가 해당 주장의 인증으로 간주되어서는 안 된다”고 명시한 뒤, “이러한 중요성을 가진 결과는 신중하고 독립적인 검토가 필요하다”고 덧붙였습니다.
X 계정에 글을 올리며 윌리엄스는 그룹이 비밀유지계약(NDA)에 서명하지 않았으며, “OpenAI 내부 모델이 ETH를 반박한다는 주장된 결과를 도출한 후” 그와 동료들에게 요청된 ‘공개적이고 독립적인 검토’ 작업에 대해 보수를 받지 않을 것이라고 밝혔습니다.
윌리엄스는 또한 OpenAI가 결과를 뒷받침하는 모든 원시 데이터 공개 요구를 수용했다고 전했습니다. AI 연구소는 해당 결과의 함의를 다루는 컨퍼런스 자금 지원에도 동의했습니다.
증거 없이 OpenAI의 주장을 지지하지 않는 이유
이전의 OpenAI 수학 분야 주장들 계획대로 진행되지 않았습니다. 독립적인 연구자 팀은 OpenAI의 주장을 독립적으로 검토하고 있으며, 실험실도 10월 16일 Lean에서 내부 모델이 발견한 반증을 다음 날까지 검증했습니다. 작성된 설명과 Lean 증명은 GitHub에 게시되었습니다.
Lean은 기계로 증명 검사를 수행하는 언어입니다. 그러나 그 방법조차도 Cambridge의 Anders Hansen와 공동 저자들이 논문에서 Lean으로 검증된 형식화가 컴파일될 수 있지만, 표현해야 하는 자연어 증명과 일치하지 않을 수 있다고 주장했습니다. 그들은 이를 OpenAI의 Navier-Stokes 연구 사례로 삼았습니다.
Erdős 문제 사이트를 관리하는 수학자 Thomas Bloom은 2025년 10월 Kevin Weil VP가 GPT-5가 이전에 해결되지 않은 Erdős 문제를 10개나 해결했다고 주장한 것에 대해 "극단적인 왜곡"이라고 답했습니다.
Bloom은 해당 모델이 Paul Erdős가 제시한 유명한 추측에 대한 새로운 해법을 찾은 것이 아니라, 그가 개인적으로 알지 못했던 기존 논문들을 단순히 찾아냈을 뿐이라고 설명했습니다.
이 사건은 Meta의 Yann LeCun과 Google DeepMind의 Demis Hassabis로부터 공개적인 조롱을 받았습니다.
OpenAI는 10월 6일 372개의 수학 문제를 다루는 722편의 사전 인쇄본을 대량 공개한 후 하루 만에 세 번의 인출을 단행해야 했습니다. 이는 하나의 논증과 두 편의 종속 논문을 무효화시킨 부호 오류 때문이었습니다. AI 연구소는 다른 14편도 수정했으며, 코넬 대학교의 수학자 알렉스 타운젠드는 시간이 지남에 따라 더 많은 오류가 밝혀질 것으로 예상합니다.
그런 다음 나비에-스토크스 드라마 9월, 수학자 트리스탄 버크마스터가 OpenAI가 나비에-스토크스 문제를 해결했다고 발표했을 때, 그와 동료가 이미 사용하고 있던 방법을 사용했다고 주장한 사건이 있었습니다.
OpenAI는 이 주장을 부인했습니다.
두 가지 추가 결과, 세 가지 출시 전략
ETH는 같은 발표에서 OpenAI가 주장한 세 가지 중 하나였습니다.
수학 분야에서 OpenAI는 모델이 크리스토퍼 소그가 1991년에 제기한 국소 매끄러움 추측(local smoothing conjecture)을 모든 차원에서 증명했으며, 이는 카케야(Kakeya) 추측과 스타인(Stein) 제한 추측도 함께 해결할 것이라고 밝혔습니다. 연구소는 작성된 보고서와 Lean 증명을 공개했습니다.
물리학 분야에서는 특정 양자장론이 4차원에서 존재함을 입증했으며, 이는 클레이 수학연구소 밀레니엄 문제의 일부도 포함합니다. 노벨상 수상자 데이비드 그로스(David Gross)가 이끄는 연구진은 현재 AI 관련 자료를 공개하지 않고 작업 내용을 정리하기로 선택했습니다.
오픈AI는 학술적 공로를 추구하지 않으며, AI 생성 결과물에 대한 워크숍을 위해 사이먼스 재단(Simons Foundation)에 500만 달러를 기부했습니다. 회사는 세 가지 출시 방식 각각에 트레이드오프가 있음을 인정하며, 어떤 방식이 효과적인지에 대한 피드백을 원한다고 밝혔습니다.
가장 똑똑한 암호화폐 전문가들이 이미 우리 뉴스레터를 구독하고 있습니다. 참여하고 싶으신가요? 함께하세요.
자주 묻는 질문
지수 시간 가설(Exponential Time Hypothesis)이란 무엇인가요?
이는 부울 만족성(Boolean satisfiability) 문제를 푸는 난이도에 관한 추측으로, P 대 NP 문제와 밀접하게 연관되어 있습니다. 그래프 이론, 계산 생물학 등 다양한 분야의 수백 편의 논문들이 특정 문제가 빠르게 해결될 수 없다는 주장을 펼치기 위해 이를 활용해 왔습니다.
누가 오픈AI의 ETH 주장을 검증하고 있나요?
UC 샌디에고의 러셀 임파글리자로(Russell Impagliazzo)와 라마모한 파투리(Ramamohan Paturi), MIT의 라이언 윌리엄스(Ryan Williams)가 이끄는 연구진은 두 사람이 공동 제안한 ETH 중 일부를 검토하기 위해 무보수 및 비밀유지 계약 없이 독립적인 검증을 조직하기로 동의했습니다.
왜 수학자들은 오픈AI의 결과를 신중하게 바라보고 있나요?
최근 문제들 때문에: 2025년 10월 에르되시 문제 관련 과장된 주장, 6일 722페이지 분량의 논문 발표 하루 후 부호 오류로 인해 세 편의 사전 인쇄본이 철회됨, 그리고 나비에-스토크스 방정식 증명 논쟁에서 OpenAI가 다른 수학자들의 영향을 받았다고 부인한 사건.
한나 콜리모어
한나는 암호화폐 분야에서 거의 10년 간의 블로그 작성 및 이벤트 리포팅 경험을 가진 작가이자 편집자입니다. 크립토폴리탄에서 한나는 뉴스 페이지에 기여하며 DeFi, RWA, 암호화폐 규제, AI 및 프론티어 테크 산업의 최신 동향을 보도하고 분석합니다. 그녀는 아카디아 대학교에서 경영학 학위를 취득했습니다.
