OpenAI 나비에-스토크스 해법 논란

오픈애이, 백만년상 문제 해결 주장

오픈애이가 7개의 백만년상 문제 중 하나인 나비에-스토크스 존재성 및 매끄러움 문제에 대한 완전한 증명을 발표했다. 회사는 이 해결책이 출시되지 않은 차세대 모델이 일주일간의 노력 끝에 도출했으며, 3000억 개의 출력 토큰을 소비했으며, 현재 아스트라(Astra) 가격 기준 약 2250만 달러의 컴퓨팅 비용이 들었다고 밝혔다.

나비에-스토크스 방정식은 유체역학의 핵심이지만, 그 이론적 존재성과 매끄러움은 여전히 해결되지 않은 상태다. 공식적인 증명은 수학적 물리학 분야에서 중요한 진전을 의미하며, 클레이 수학연구소(Clay Mathematics Institute)에서 100만 달러의 보상금을 제공한다.

연구 캐치업 및 '더러운 전술'에 대한 주장

뉴욕대 수학과 교수인 트리스탄 브캐머는, 앤트로픽 수학자인 레벤트 알포제와 협력하면서 오픈애이가 그들의 진행 상황에 대한 정보를 입수한 후 의도적으로 연구를 캐치업했다고 주장한다. 브캐머와 알포제는 코드크스(Codex)와 클로드(Claude) AI 모델을 결합해 초보적인 결과를 도출하고 있었다.

분쟁의 주요 포인트는 다음과 같다:

• 시기와 접근 방식: 브캐머는 그들이 선택한 특정 수학적 접근 방식(페퍼만의 문제 진술에서의 선택지 c와 d)이 드문 것이라고 주장한다. 그는 오픈애이가 9월 1일 이후에 갑자기 같은 접근 방식으로 전환한 것은 매우 의심스럽다고 말하며, "문제 진술만 주고 몇 일 안에 도달할 수 있는 방향은 아니다"라고 강조한다.
• 컴퓨팅 우위: 브캐머는 오픈애이가 연구 방향이 타당하다는 것을 깨달은 후, 막대한 컴퓨팅 자원을 활용해 원래 연구자들이 논문을 발표하기 전에 공식적인 증명에 도달했다고 주장한다.
• 전문적 윤리: 브캐머는 저작권 논쟁 중 오픈애이의 세바스티앙 부벡이 레벤트 알포제의 저작권을 제거하려 했으며(알포제가 앤트로픽 소속이기 때문), 브캐머에게 "왜 자신의 커리어를 망가뜨리려는가?"와 "내가 친절하지 않기로 하면, 나는 친절하지 않아도 된다"고 말했다고 주장한다.

데이터 프라이버시 및 모델의 재생산

브캐머는 연구 과정에서 오픈애이의 코드크스를 광범위하게 사용했기 때문에, 자신의 작업이 오픈애이의 학습 데이터에 흡수되었을 가능성에 우려를 제기했다. 오픈애이는 사용자가 동의하지 않는 한 코드크스 상호작용 데이터를 모델 학습에 사용할 권리가 있다.

오픈애이는 문제 해결을 위해 특정 사용자 데이터에 접근하지 않았다고 부인하며 다음과 같이 밝혔다:

"우리는(연구자들과 에이전트들) 그들의 작업을 공개되기 전까지 어떤 방식으로도 접하지 않았다 — 특히 이 문제를 해결하기 위해 특정 사용자 데이터에 접근하지 않았다."

그러나 회사는 "사용자 제품 사용에서 유도된 익명화된 데이터가 모델 개선에 기여했을 가능성은 배제할 수 없다"고 인정했다. 오픈애이는 또한 자신의 증명이 브캐머의 증명과 특히 오일러 사례(강제 vs 비강제)에서 크게 다르다고 주장한다.

커뮤니티 분석 및 함의

이 사건은 기술 및 학계 내에서 인공지능 기반 연구의 윤리에 대해 큰 논의를 촉발했다:

• '컴퓨팅 캐치업': 관측자들은 이 사례가 연구 방향이 알려진 후, 더 강력한 컴퓨팅 자원을 가진 연구소가 인간 연구자의 통찰력을 효과적으로 '초과 컴퓨팅'하는 새로운 형태의 학계 경쟁을 나타낸다고 지적했다.
• 학계 소유권: 일부는 모델이 연구자의 개인적 상호작용 데이터를 학습한 경우, 법적 이용 약관과 관계없이 학계적 소유권은 연구자에게 있어야 한다고 주장한다.
• 인공지능 협업: 논란에도 불구하고, 일부 관측자는 이 사건을 인간-인공지능 협업이 이론 수학 분야에서 가장 어려운 문제들을 해결할 수 있음을 보여주는 '존재 증명'으로 본다.
• 경제적 타당성: 발견 비용(2250만 달러)은 백만년상 보상금(100만 달러)보다 훨씬 높으며, 이는 오픈애이의 동기가 재정적 이익이 아니라 AGI 능력을 입증하는 데 있었을 가능성이 높다는 것을 시사한다.