100만 달러 문제 뒤에 숨겨진 유체 퍼즐
비행기 날개 위를 흐르는 공기 흐름부터 지구의 기상 시스템, 우리 몸을 순환하는 혈액에 이르기까지 유체의 움직임은 종종 부드럽고 예측 가능해 보입니다. 19세기에 정립된 Navier–Stokes equations은 이러한 거동을 설명하는 수학적 토대입니다. 이 편미분 방정식들은 움직이는 유체 내의 복잡한 힘의 상호작용을 포착합니다.
하지만 거의 한 세기 동안 수학자들을 당혹스럽게 만든 심오한 질문이 있습니다. 완벽하게 부드러운 3차원 유체 흐름이 유한한 시간 내에 갑자기 singularity(특이점)로 "폭발"할 수 있을까요? 이는 속도나 압력과 같은 속성이 특정 지점에서 무한대가 되어, 예상되는 해의 전역적 매끄러움을 부정하게 됨을 의미합니다.
2000년, Clay Mathematics Institute는 이 미해결 문제의 중요성을 인정하여 7대 Millennium Prize Problems 중 하나로 지정했습니다. 연구소는 매끄러운 해의 존재를 증명하든, 유한 시간 특이점을 확실하게 입증하든, 수락된 해결책에 대해 100만 달러의 상금을 내걸었습니다.
10,000개 에이전트 증명 스프린트의 내부
OpenAI는 Navier 문제를 해결하기 위해 10,000개의 AI 에이전트로 구성된 멀티 에이전트 시스템을 배치한 것으로 알려졌습니다. 이 군집은 경쟁적인 증명 및 반증 전략을 동시에 탐색했습니다. 에이전트들은 캐시된 연구를 검색하고, 코드를 실행하며, 중간 작업물을 비판하는 등 고도로 병렬화된 워크플로우 내에서 작동했습니다.
OpenAI의 설명에 따르면, 이 집중적인 스프린트는 약 270만 개의 메시지와 1,300억 개의 출력 토큰을 생성했습니다. 약 88시간 만에 시스템은 blowup construction(폭발 구성)에 도달했으며, 이는 부드러운 유체 흐름에서 유한 시간 특이점이 발생할 수 있음을 시사합니다. 이는 문제의 전역적 매끄러움 측면을 반증한 것입니다.
다음 핵심 단계에는 GPT-6 Astra가 참여했습니다. 이 모델은 165페이지가 넘는 논증을 형식적 증명 보조 도구인 Lean으로 번역하는 데 17시간을 소요한 것으로 보고되었습니다. Lean은 모든 논리적 단계를 체계적으로 검사하여 AI가 생성한 논증의 수학적 엄밀성과 타당성을 보장하며, 이는 복잡한 증명을 검증하는 데 필수적인 단계입니다.
중요한 단서가 달린 돌파구
OpenAI의 에이전트들은 finite-time singularity(유한 시간 특이점)를 구성함으로써 Navier–Stokes 해의 전역적 매끄러움을 반증한 것으로 알려졌습니다. 그들의 메커니즘은 마치 엿을 잡아당기는 것처럼 안쪽으로 소용돌이치며 늘어나고 집중되다가 특정 시점에 무한한 속도에 도달하는 현상을 설명합니다. 이는 시스템의 총 에너지가 유한하게 유지되는 동안 발생합니다.
중요한 점은, 이 구성이 Clay Mathematics Institute의 공식 문제 진술에서 허용하는 조건인 smooth external forcing(매끄러운 외부 강제력)에 의존한다는 것입니다. 그러나 이것이 외부 강제력이 없는 물리적으로 현실적인 유체 흐름도 자발적으로 특이점으로 "폭발"할 수 있는지 여부를 직접적으로 해결하는 것은 아닙니다. 이러한 구분은 실제 유체 역학에 대한 결과의 의미를 이해하는 데 매우 중요합니다.
초기 발견 이후, GPT-6 Astra는 17시간 동안 대화형 증명 보조 도구인 Lean을 사용하여 165페이지 분량의 증명을 공식화했습니다. Lean은 공식화된 유도의 모든 논리적 단계를 엄격하게 검증할 수 있지만, 이것이 곧바로 과학적 수용으로 이어지는 것은 아닙니다. 수학자들은 여전히 기본 가정, 결과에 대한 해석, 그리고 unforced Navier–Stokes blow-up이라는 더 넓은 문제와의 관련성을 면밀히 검토해야 합니다. 자세한 내용은 On Navier–Stokes Millennium Prize Problem - OpenAI를 참조하십시오.
OpenAI는 문제 해결의 복잡성을 인정하며 100만 달러의 상금을 청구하지 않겠다고 밝혔습니다. 이 연구는 인간 수학자인 Tristan Buckmaster와 Levent Alpöge가 개발한 기술을 기반으로 하며, 고급 수학 연구의 협력적이면서도 때로는 논쟁적인 성격을 잘 보여줍니다.
이 글이 마음에 드셨나요? 매일 아침 이런 글을 메일로 받아보세요.
하루 한 통 · 두 번의 클릭으로 구독 취소 · 제3자 추적 없음
공로를 인정받기 위한 경쟁은 계산 과정보다 더 오래 지속될 수 있습니다.
공로를 인정받기 위한 경쟁은 계산 과정보다 더 오래 지속될 수 있습니다.
OpenAI의 발표 직후 우선권 분쟁이 뒤따랐습니다. 보도에 따르면 OpenAI는 수학자 Tristan Buckmaster와 Levent Alpöge의 진전 소문을 들은 후 내부 프로젝트를 시작한 것으로 알려졌습니다. NYU의 Buckmaster는 OpenAI의 발표 직전 유한 시간 특이점(finite-time singularities)에 관한 관련 연구를 발표한 바 있습니다.
Buckmaster는 초기 LLM 생성 증명에 대해 회의적인 입장을 표하며, 하나를 가리켜 "지금까지 읽은 증명 중 가장 끔찍한 증명"이라고 묘사했습니다. OpenAI 측은 자사의 연구를 위해 개인 사용자의 쿼리를 사용하거나 연구자들의 작업을 모니터링했다는 의혹을 부인했습니다. LLM 지원 발견의 데이터 무결성은 과학계의 중요한 우려 사항으로 남아 있습니다.
이번 사건은 과학적 과정에 있어 더 넓은 차원의 쟁점을 부각시킵니다. 독립적인 검토, 적절한 귀속, 그리고 엄격한 재현 가능성이 이번 결과가 지속 가능한 수학적 성과인지, 아니면 agentic search capabilities의 놀라운 시연인지를 결정할 것입니다. OpenAI는 Clay Mathematics Institute의 100만 달러 상금을 청구하지 않겠다고 밝히며, 초점을 금전적 보상에서 AI 주도 발견의 방법론과 윤리로 옮겼습니다. 과학계는 이 전례 없는 계산적 질주의 타당성과 함의를 평가하기 위해 전체 세부 사항을 기다리고 있습니다.
자주 묻는 질문
Navier–Stokes 문제란 무엇인가요?
3차원 Navier–Stokes 방정식의 매끄러운 해(smooth solutions)가 항상 매끄러운 상태를 유지하는지, 아니면 유한한 시간 내에 특이점(singularity)이 발생할 수 있는지를 묻는 문제입니다.
OpenAI가 Navier–Stokes 밀레니엄 난제를 해결했나요?
OpenAI는 매끄러운 외부 강제력(smooth external forcing)이 포함된 버전에 대한 결과를 주장했습니다. 이 증명은 여전히 독립적인 수학적 검토가 필요하며, 해당 결과가 문제의 모든 버전을 해결하는 것은 아닙니다.
Lean은 무엇을 검증하나요?
Lean은 증명이 명시된 정의와 가정으로부터 도출되는지 확인합니다. 공식화된 작업의 논리적 허점을 찾아낼 수는 있지만, 모델이 의도한 수학적 문제를 다루었는지 자체를 확립하지는 않습니다.
OpenAI가 100만 달러의 상금을 청구하나요?
관련 설명에 따르면, OpenAI는 Clay Mathematics Institute의 상금을 청구하지 않겠다고 밝혔습니다.