OpenAI의 가장 큰 수학적 돌파구가 난관에 봉착하다...

이번 주 초, 제가 금융의 미래라고 생각했던 것에 모든 돈을 잃는 데 바빴던 와중에 OpenAI가 수학에서 또 다른 어려운 문제를 해결했다고 주장했습니다. 이번에는 1850년대에 만들어진 문제였는데, 당시 지구상에 있던 유일한 프로그램은 제가 'Horse Tender'를 좋아했을 것 같은 퇴행적인 도박꾼이었습니다. 이 문제는 나비에-스토크스(Navier-Stokes)라고 불리며, 우리는 액체와 기체의 움직임을 결정하는 데 의존해 온 방정식의 집합입니다. 하지만 여러분이 본 다른 액체 및 기체 움직임 관련 영상들과는 달리, 이번 영상은 훨씬 더 흥미로운 줄거리를 가지고 있습니다.

왜냐하면 이것은 우리에게 정말 미친 드라마와 같기 때문입니다. << 이 영상에서는 나비에-스토크스가 왜 그렇게 어려운지 알아보고, OpenAI가 실제로 그것을 해결했는지 살펴보고, NYU의 한 수학 교수, Anthropic의 수학자, 그리고 Sam Altman이 지난 일요일 전화 통화에서 무슨 일이 있었는지에 대해 매우 다른 이야기를 하는 이유를 배울 것입니다. 시간은 2026년 9월 11일이며, 여러분은 The Code Report를 시청하고 있습니다. 1800년대에 클로드-루이 나비에(Claude-Louis Navier)라는 프랑스 엔지니어가 유체가 어떻게 움직이는지를 설명하는 몇 가지 방정식을 작성했습니다.

그러다가 수십 년 후, 조지 스토크스(George Stokes)라는 아일랜드 수학자가 그 엔지니어의 작업을 수정했고, 결국 그것들은 나비에-스토크스 방정식으로 불리게 되었습니다. 기본적으로 이것은 물에 대한 힘 = 질량 × 가속도와 같습니다. 이 아이디어는 방정식에 유체의 현재 상태, 즉 얼마나 빨리 움직이는지, 그리고 얼마나 많은 압력을 받고 있는지 같은 것을 입력하면, 그 유체가 잠시 후에 어떻게 움직일지를 얻게 된다는 것입니다. 그리고 거의 200년 동안 엔지니어들은 허리케인 예측, 비행기 날개 설계, 그리고 혈액이 우리 몸속을 순환하는 방식을 시뮬레이션하는 것과 같은 매우 중요한 일들을 위해 그것들을 신뢰해 왔습니다.

하지만 물론 수학자들은 증명되기 전까지는 아무것도 신뢰하지 않습니다. 그리고 이 방정식들에 대해 아무도 답할 수 없었던 질문이 하나 있는데, 아주 간단히 말해 '과연 깨질 수 있는가?'입니다. 그 질문은 너무 어려워서 26년 전 클레이 수학 연구소(Clay Mathematics Institute)에서 일곱 개의 밀레니엄 문제 중 하나로 지정하고 백만 달러의 상금을 걸었습니다. 이 돈을 받으려면, 방정식이 절대 깨지지 않음을 증명하거나, 혹은 실제로 깨지는 경우를 보여줘야 합니다. 상상할 수 있듯이, 그 문제를 신경 쓰는 사람이 많지 않을 뿐더러, 해결할 기회를 가진 사람도 거의 없습니다.

하지만 그런 사람이 바로 NYU의 수학 교수 트리스탄 버크마스터(Tristan Buckmaster)입니다. 그는 2019년에 이 정확한 방정식들에 대한 연구로 클레이 리서치 어워드(Clay Research Award)를 수상했습니다. 작년에는 Anthropic에서 일하는 수학자 레벤트 알피게(Levent Alpige)와 팀을 이루었는데, 레벤트는 여가 시간에 오래된 유체 역학 문제를 푸는 것을 즐기는 것 같습니다. 함께 이들은 느리지만 꾸준한 발전을 이루다가 올해 8월 중순에 이르러서야 레벤트는 자신이 일하는 회사가 실제로 무엇을 하는지 깨닫게 됩니다. 그 지점에서, 그들은 코드(Cod code)와 Codex의 도움에 더 의존하기 시작했고, 그들의 진전은 급물살을 탔습니다.

그들이 결국 취하게 된 접근 방식은 참신했지만 다소 무모한 시도였고, 8월 15일에는 성공하여 나비어-스토크스(Navier-Stokes)의 더 간단한 버전인 오일러 방정식(Euler equations)이 무너지는 결과를 얻었습니다. 그것은 백만 달러짜리 문제는 아니었지만, 그 누구도 이전에 도달했던 가장 가까운 지점이었습니다. 그러자 마치 예방 접종을 받은 것처럼 OpenAI가 갑자기 수학에 큰 관심을 갖게 됩니다. 8월 말, 새로운 모델을 훈련하던 중, 그들은 모든 미해결 밀레니엄 문제들을 한 번에 주어 어떤 일이 벌어지는지 확인하기로 결정합니다.

10,000개의 에이전트와 2천만 달러 상당의 컴퓨팅 파워를 투입한 끝에, 그들은 Navier-Stokes 방정식을 해결했다고 주장합니다. 그런데 아시다시피, 그들이 사용한 과정은 Buckmaster와 Alpige가 지난 1년간 작업하며 Codex에 넣었던 바로 그 새로운 방식이었습니다. 이는 전화 통화로 이어집니다. 9월 3일, Buckmaster는 OpenAI에 이메일을 보내 무슨 일이 벌어지고 있는지 문의했습니다. 그 일요일, 그는 프로젝트를 진행하는 OpenAI 연구원인 Sebastian Boubek과 통화를 하게 됩니다. Buckmaster에게 들은 바에 따르면, OpenAI가 한 일은 모델에게 문제 제기(problem statement)만 제공했을 뿐이라고 합니다.

통화가 계속되면서, 팀 전체가 이 작업에 참여했다는 것이 명확해졌습니다. 프롬프트는 Codex가 작성했으며, 그들은 그의 연구 소문을 듣고 며칠 전에야 시작했다고 합니다. Buckmaster는 모델이 자신의 Codex 세션으로 학습되었는지 질문했고, 사용자 데이터는 조회하지 않는다고만 들었을 뿐, 구체적인 학습에 대해서는 아무런 답변도 받지 못했습니다. 여기서부터 그는 OpenAI가 두 가지 선택지를 제시했다고 주장합니다. 첫 번째는 Buckmaster와 Alpige가 먼저 자신들의 Euler 결과를 발표하고, 그 후에 OpenAI가 Navier-Stokes 증명을 발표하며 Buckmaster를 해결에 가장 근접했던 사람으로 공로를 인정하는 것이었습니다.

두 번째는 Buckmaster가 직접 Navier Stokes 논문을 작성하되, Anthropic에서 근무하기 때문에 Alpige는 제외하는 것이었습니다. 결국, Buckmaster는 어떤 독립 개발자(gigachat)라도 할 법한 행동을 하여 두 옵션 모두 거부하고 공개적으로 폭로하겠다고 위협합니다. 이후 그의 성명에 따르면, Boubacar가 왜 자신의 경력을 망치는지 물었고, 그에게 만약 자신이 친절하게 대하는 것을 원하지 않는다면, 그렇게 하지 않아도 된다고 말했습니다. 하지만 물론, OpenAI는 다른 이야기를 하며, Alpige를 그의 작업에서 제외해 달라고 요청한 적이 없다고 주장합니다.

샘은 그들 측의 모든 사람이 성실하게 행동했다고 믿으며, 버크마스터만이 위협을 가한 유일한 사람이라고 말합니다. 그래서 화요일 아침, 버크마스터와 알파가이는 사건이 어떻게 벌어졌는지 설명하는 4페이지짜리 성명서와 함께 그들의 논문을 게시했습니다. 그날 오후, OpenAI는 사용자 데이터에 접근하지 않았으며 두 증명이 상당히 다르다는 점을 주장하며 자체 해결책과 블로그 게시물을 올렸습니다. 그리고 그날 밤에는 마담 제로니가 샘과 부바카르가 자신을 산 위로 옮기지 않으면 OpenAI는 영원히 저주받을 것이라고 말하는 자신의 성명서를 게시했습니다.

당신과 당신의 가족은 영원토록 저주받을 것입니다. << 그리고 바로 어제, OpenAI가 또 다른 천년 문제(millennium problem)를 검증하는 것에 매우 근접했다는 소문이 돌기 시작했는데, 세상을 바꿀 수 있는 모든 것이 약간의 노력, 1만 개의 에이전트, 그리고 2천만 달러 상당의 컴퓨팅 능력뿐이라는 내용입니다. 물론 테렌스 타오(Terence Tao)가 이 모든 것에 가장 합리적인 견해를 제시하며, 버크마스터와 알파가이에게 그들의 작업에 대해 축하를 보내고, 만약 여러분의 연구라는 단순한 소문만으로도 그것을 앞서 가로채기 위해 경쟁하는 에이전트 떼를 촉발할 수 있다면 수학자들이 아이디어 공유를 중단하게 될 것이며, 이는 수 세기에 걸친 개방 과학(open science)을 무너뜨릴 것이라고 경고합니다.

여기서 얻을 수 있는 교훈은 어떤 회사를 신뢰해야 할지 조심하는 것입니다. 이것이 제가 오늘 비디오의 스폰서인 Railway에 모든 프로젝트를 호스팅하는 이유입니다. 그들은 또다시 완전한 광고로 여러분의 시간을 낭비하기를 거부했고, 이는 단 몇 번의 클릭만으로 무엇이든 배포할 수 있게 해주는 회사로서 당연합니다. 그러니 감사하다는 말을 하고 싶다면, 아래 링크에서 다음 프로젝트를 무료로 배포해 보는 것을 시도할 수 있습니다. 이것은 The Code Report였습니다. 시청해주셔서 감사합니다. 다음 영상에서 뵙겠습니다.