AI가 방금 나비에–스토크스를 풀었나요? OpenAI 주장이 실제로 입증한 것

OpenAI는 내부 시스템 중 하나가 클레이 연구소의 밀레니엄 문제를 해결했다고 주장하고 있습니다. 놀라운 이야기이며, 사실이라면 지금까지의 AI 보조 수학 발견 중 가장 큰 성과가 될 것입니다. 하지만 또 다른 이야기도 있습니다. 누가 진짜 공로를 가져가야 하느냐를 둘러싼 싸움입니다.

실제로 일어난 일은 이렇습니다. OpenAI는 경쟁 연구소의 모델이 수학에서 가장 유명한 미해결 문제 중 하나에 진전을 보였다는 소문을 들었습니다. 그 소문만으로도 전력 질주가 촉발되었습니다. 문제를 풀기 위해 OpenAI는 1만 개의 병렬 AI 에이전트, 88시간의 연산, 누적 약 2,250만 달러의 비용을 투입했습니다. 이제 그들은 진짜 증명을 얻었다고 주장합니다. 그 100만 달러 상금은요? OpenAI는 이를 청구할 의사가 없다고 말합니다. (아마 돈이 굳이 필요하지 않은 모양입니다.)

짧은 답변: 나비에–스토크스에 대한 100만 달러 클레이 밀레니엄 상은 아직 수여되지 않았습니다. OpenAI가 증명했다고 주장하는 것은 문제의 특정 변형, 즉 매끈한 외력 하에서의 발산(blow-up)에 관한 것으로, 독립적인 수학자들에 의해 아직 검증되지 않았습니다. 이것이 대부분의 전문가가 이해하는 본문제 전체를 충족하는지 여부는 진지하게 논쟁 중입니다.

나비에–스토크스 방정식은 무엇이며, 왜 100만 달러의 가치가 있나요?

OpenAI의 주장을 이해하려면, 먼저 나비에–스토크스가 왜 그렇게 어려운지 알아야 합니다.

나비에–스토크스 방정식은 유체가 어떻게 움직이는지, 즉 물, 공기, 혈액의 운동을 기술합니다. 기상 예보, 항공기 설계, 순환의학의 기초가 됩니다. 19세기에 정식화되어 실무에서는 매우 잘 작동합니다. 수학적 질문은 이것이 항상 성립하느냐입니다. 즉, 매끄럽고 잘 거동하는 해가 항상 존재하는가, 아니면 이 방정식이 지배하는 유체가 유한한 시간 내에 속도가 무한대로 치솟는 특이점(singularity)을 만들 수 있는가?

이 질문은 "존재성과 매끄러움" 문제로 알려져 있으며, 클레이 수학연구소의 7대 밀레니엄 문제 중 하나로 각 100만 달러의 상금이 걸려 있습니다. 현재까지 밀레니엄 문제 중 해결된 것은 2003년의 푸앵카레 추측 단 하나뿐입니다.

왜 이 문제가 중요한가: 어떤 수학 문제는 거의 학문적 관심사에 그치기도 합니다. 하지만 이 문제는 추상 퍼즐에 그치지 않습니다. 이 방정식에 의존하는 모든 기상 모델, 항공기 시뮬레이션, 공학 도구는 방정식이 잘 거동한다는 가정을 암묵적으로 전제하지만, 그 가정이 언제나 성립한다는 엄밀한 증명은 없습니다. 만약 유한 시간 내 발산이 가능하다는 것이 밝혀진다면, 우리가 의존하는 수학과 그것이 설명해야 하는 물리 시스템 사이에 실제로 틈이 있음을 드러내게 됩니다.

OpenAI가 실제로 증명했다고 주장하는 것은?

이 이야기는 수학적 통찰에서가 아니라 소문에서 시작합니다. 샘 올트먼은 Anthropic의 모델이 큰 수학 문제를 풀었다는 소문을 들은 뒤 프로젝트를 시작했다고 인정하며, X에 이렇게 썼습니다: "우리 것도 할 수 있는지 궁금했습니다."

일주일간의 스프린트는 여러 밀레니엄 문제를 대상으로 진행되었고 총 3천억 개의 출력 토큰을 소비했습니다. 전체 시도에 걸친 연산 비용은 대략 2,250만 달러였습니다. 나비에–스토크스 문제만 놓고 보면 약 1,300억 토큰과 270만 개의 메시지를 사용했습니다. 1만 개의 에이전트가 9월 1일부터 9월 6일까지 병렬로 작업했습니다. 그리고 — 이 대목은 주목할 만합니다 — OpenAI는 이번 결과에 대해 100만 달러 상금을 청구할 의사가 없다고 밝혔고, 자사 모델이 얼마나 빠르게 진보하고 있는지 보여주는 증거로 포지셔닝했습니다.

나비에–스토크스에 이르기 전에, OpenAI의 에이전트들은 먼저 무강제(unforced) 오일러의 규칙성 문제를 해결했으며, 약 100개 에이전트가 50시간가량 소요했습니다. 더 단순한 오일러 설정에서 먼저 발산 거동을 확립함으로써, 에이전트들은 나비에–스토크스 접근을 다룰 수 있게 해 주는 개념적 토대를 쌓았습니다.

세부 사항이 중요한 지점이 여기입니다. 클레이의 공식 나비에–스토크스 정식화에는 A, B, C, D 네 가지 옵션이 있습니다. A와 B는 외력이 없는 상태에서 전역 매끄러운 해를 묻고, 보통의 3차원 공간 또는 주기적 영역을 다룹니다. C와 D는 매끈한 외력 항을 허용하며 발산 사례를 허용합니다. OpenAI의 증명은 C와 D를 겨냥하고 있으며, 즉 강제가 있는 변형도 공식 클레이 문제의 일부라는 뜻입니다.

그렇다 해도 많은 수학자는 A와 B를 더 근본적인 질문으로 봅니다. 외력은 외부에서 가해지는 것으로, 방정식이 스스로 무너질 수 있는지를 묻기보다 발산을 유발하도록 힘을 선택하는 셈이기 때문입니다. 이 접근이 외력을 제거해 A와 B를 다루는 방향으로 확장될 수 있을지는 아직 불분명하며, 그 질문은 여전히 완전히 열려 있습니다. 현재 보여진 것과 많은 전문가가 문제의 핵심으로 여기는 것 사이의 간극이 이번 사안의 핵심 요지입니다.

공로를 둘러싼 싸움의 내막

무엇이 실제로 증명되었는지 지도를 그려보면, 말다툼을 잠시 떼어놓고 볼 때 인간사가 어떻게 이어지는지 선명해집니다.

8월 15일, 트리스탄 벅마스터와 Anthropic의 레벤트 알뻬제는 나비에–스토크스의 마찰 없는 친척인 오일러 방정식이 매끈한 외력 하에서 발산할 수 있음을 증명했으며, 디에고 코르도바와 루이스 마르티네스-소로아가 개발한 접근을 확장했습니다. 그들의 결과는 부시네스크 및 비압축성 다공질 매질 방정식도 포함했습니다. 이 작업에는 대략 1년이 걸렸습니다. 미공개였고 진행 중이었으며 조용히 쌓아 올린 결과였습니다. 그러다 입소문이 났습니다.

OpenAI의 스프린트는 9월 1일에 시작되었고, 나중에 알뻬제와 벅마스터와 연결되는 소문을 들은 뒤였습니다. 벅마스터는 자신의 작업이 OpenAI에 전해졌다는 이야기를 듣고 9월 3일 OpenAI에 비공개로 이메일을 보냈습니다. 9월 6일 프로젝트와 Lean 검증을 마친 뒤 OpenAI는 동시 공개를 제안하기 위해 연락했습니다. 이후 전개에 대한 벅마스터의 설명은 한층 더 날이 섰습니다. 그의 진술에 따르면, 그는 발표와 저작권 문제를 두고 압박을 받았다고 하며, Anthropic 재직을 이유로 알뻬제를 저자에서 제외하자는 제안도 있었다고 합니다.

벅마스터는 이러한 우려를 공개하겠다는 의사를 비쳤을 때 “왜 스스로 커리어를 망치려 하나요?”, “원하지 않으면 더 이상 좋게 대하지 않아도 됩니다”라는 말을 들었다고 주장합니다. 뷔벡은 이러한 주장들을 “거짓이고 선동적”이라고 했습니다. OpenAI는 어떤 비공개 프롬프트나 미발표 작업에도 접근하지 않았다고 부인합니다.

누가 옳은지 여기서 판단하지는 않겠습니다. 사적인 대화에서 나온 상반된 진술들이고, 구체적 사실관계는 정말로 불명확합니다. 하지만 패턴은 굳이 결론이 나지 않아도 지적할 가치가 있습니다. 독립 연구자의 1년치 미발표 작업이, 거대 자원을 가진 연구소가 수천만 달러 규모의 스프린트를 벌이는 토대가 되었고, 이제 그 독립 연구자가 자신의 커리어에 대한 질문을 감당하고 있다는 점입니다.

AI가 쓴 수학 증명을 믿을 수 있나요?

공로 논쟁을 제쳐두더라도 더 어려운 기술적 질문이 남습니다. 그 증명이 정말 버티느냐는 것입니다.

나비에–스토크스는 밀레니엄 문제이며, 요구되는 증거 기준은 공개되고 검증 가능한 증명입니다. OpenAI는 9월 8일 166페이지 분량의 원고와 Lean 정형화를 공개해 검증에 붙였습니다. 독립적 동료 검토는 아직 이루어지지 않았습니다.

Lean에 익숙하지 않다면, 이는 각 논리적 단계가 이전 단계로부터 따라나오는지를 점검하는 형식적 증명 검증 시스템이라는 점을 아시면 됩니다. Lean으로 검증된 증명은 말로 얼버무려 그럴듯하게 만들 수 없습니다. 통과했다면 논리 사슬은 건전합니다. 다만 Lean이 해주지 않는 것은 그 접근이 개념적으로 의미가 있는지, 전문가들이 이해하는 문제를 제대로 다루는지, 인간 수학자가 이를 진정한 해로 인정할지를 판단하는 일입니다.

현존 최고 수학자 중 한 명으로 꼽히는 테렌스 타오는 OpenAI 발표 전인 9월 5일, 당시 돌던 소문에 대한 Mathstodon 글에서 이 역학에 대해 경고를 남겼습니다. 가설적 우려라면서도 이렇게 적었습니다. "나비에–스토크스 규칙성과 같이 역사적으로 생산적이고 동기 부여가 되는 문제를 실제로 학문을 진전시키고 다음 세대의 질문과 연구자를 길러내는 대신, 단지 어떤 벤치마크 진전을 광고하는 바이럴 소셜 미디어 게시물로 전환하는 데에는 상당한 기회비용이 있다." 발표 후 타오는 벅마스터–알뻬제의 작업을 "주목할 만한 성취"라고 칭찬했고, 그들의 논증이 Lean으로 정형화되었음을 언급했습니다. OpenAI의 특정 증명 주장에 대해서는 공개적으로 지지하지 않았습니다.

왜 이 싸움은 한 가지 수학 문제를 넘어서는가

소문, 발표도 아니고, 동료 검토도 아니고 — 소문 하나가 세계에서 가장 자원이 풍부한 AI 연구소 중 하나를 수천만 달러 스프린트로 움직이게 했습니다. OpenAI는 이번 결과를 자사 최첨단 시스템이 얼마나 빠르게 개선되고 있는지 보여주는 증거, 즉 마케팅 자산으로 포지셔닝했습니다. 상장에 앞서 밀레니엄 문제를 벤치마크 시연에 활용한 셈입니다.

Axios는 불편한 질문을 직설적으로 던졌습니다. 과학자들에게 AI 연구 도구를 제공하는 회사가, 동시에 그들을 압도할 만큼 막대한 자원을 동원해 경쟁할 수 있다면 어떻게 되는가? 벅마스터와 알뻬제는 1년간의 작업 내내 OpenAI의 Codex를 사용했습니다. 연구자가 결과를 향해 쌓아올리는 데 쓰는 도구가, 같은 조직의 소유일 수 있고, 그 조직은 동일한 도구를 1만 배 스케일로 돌려 연구자를 앞지를 수 있습니다. 음모론이 아닙니다. 지금 순간의 구조적 특징이며, OpenAI가 여기서 무언가 잘못했는지와 무관하게 오래전부터 사람들이 우려해 온 시나리오입니다.

아이러니도 있습니다. OpenAI는 8월에 안전상의 우려로 일부 프런티어 RL 훈련을 중단했다가, 9월에는 같은 개발 프로그램의 미공개 모델을 88시간 동안 전력 가동해 수학 헤드라인을 좇았습니다. 이는 불성실의 증거는 아니지만, 그렇다고 무시할 일도 아닙니다.

그렇다면 나비에–스토크스는 해결된 건가요, 아닌가요?

현재 상황은 이렇습니다:

스프린트 모델은 결과를 만들어냈습니다. 다만 그것이 수학자들이 말하는 의미의 결과인지 여부는 별개의 문제이며, 답을 얻기까지 상당한 시간이 더 걸릴 것입니다.